【Linux】进程间的通信之共享内存

简介: 【Linux】进程间的通信之共享内存

一、system V 内存共享原理

利用内存共享进行进程间的通信的原理其实分为以下几个步骤:

  1. 在物理内存中创建一块共享内存。
  2. 将共享内存链接到要通信的进程的页表中,并通过页表进行进程地址空间的映射。
  3. 进程地址空间映射完毕以后返回首个虚拟地址,以便于进程之间进行通信。

根据共享内存的原理,一旦这样的内存映射到共享它的进程的地址空间,这些进程间数据传递不再涉及到内核,换句话说是进程不再通过执行进入内核的系统调用来传递彼此的数据,这也就大大的提高了进程间通信的速度。


系统中可以用共享内存进行通信,但是系统中可能不是只有一对进程使用共享内存,在任何一个时刻,可能有多个共享内存在被用来进行通信,所以系统中一定会存在很多共享内存块,操作系统也要整体管理所有的共享内存。

所以共享内存,不是我们想的那样,只要在内存中开辟空间即可,系统也要为了管理共享内存,构建对应的描述共享内存的结构体对象! 在Linux中这个结构体是struct shmid_ds,这个结构体里面存放了共享内存的各种属性。

所以:共享内存 = 共享内存的内核数据结构(struct shmid_ds) + 真正开辟的内存空间

二、共享内存的使用

共享内存的使用涉及很多的系统调用,在这里我们边实现代码边进行讲解。

1、ftok函数

key_t是一个inttypedef

这个函数的作用就是根据你传递的两个参数,结合函数内部的算法生成一个key_t类型的值,这里我们暂时把这个值记为 key,这个key几乎不可能出现:参数的不同,结果生成相同的key值。

这个key值单独看起来是没有任何作用的,它要与其他的系统调用结合起来才会发挥作用,未来要通信的两个进程就可以在函数ftok输入相同的相同的参数,生成相同的key值,然后通过这个key值就能确定它们想要通信的共享内存是哪一个了。

  • 参数:第一个是路径名,第二个是项目ID(只有最低8位可以使用),我们可以给这两个参数随意赋值,但是这个文件路径必须是现有的,可以访问的的文件,项目ID最低8位必须有效,而且必须非零。
  • 返回值:返回一个key_t类型的值,如果调用失败,返回-1,错误码被设置。

2、shmget函数

这个函数的作用是:在物理内存中申请一块共享内存,并返回一个和参数key相关联的这块共享内存的标识符。

  • 参数
  1. 第一个参数是用ftok函数生成的key值。
  2. 第二个参数是设置共享内存的大小(你实际得到的大小),但是这个共享内存的大小实际上操作系统是按照PAGE_SIZE(4KB)对齐,来分配的。
  3. 第三个参数是标志位,这里主要介绍三个标志:IPC_CREATIPC_EXCLmode_flags
    IPC_CREAT:如果与key有关共享内存不存在,就创建,如果已经存在就直接返回共享内存的标识符。

    IPC_EXCL: 这个标志要与IPC_CREAT一起使用,表示共享内存如果不存在就创建,如果存在就直接报错,通过这两个标志位的组合,我们能够保证我们拿到的共享内存一定是最新的,而不是以前其他进程可能使用过的。

    mode_flags : 最低9位有效,表示申请的共享内存的权限。
  • 返回值:调用成功,返回一个和参数key相关联的这块共享内存的标识符,调用失败就返回 -1,错误码被设置。

3、shmat函数

这个函数的作用就是将我们申请得到的共享内存与进程地址空间进行映射,映射完毕以后返回给我们一个映射好以后的首个虚拟地址,通过这个虚拟地址我们就可以进行进程间通信了。

  • 参数
  1. 来自于shmget函数得到的共享内存标识符。
  2. 一个虚拟地址,我们想要将共享内存的地址在进程地址空间的哪里开始映射,如果这里设置为NULL操作系统会自动选择一个合适的地址进行映射。
  3. 标志位,当这里传入SHM_RDONLY时,表示映射以后的进程对于此段空间只有读权限,没有写权限,当我们在这里传入0时,表示读写权限都有。
  • 返回值
    如果函数调用成功就返回映射好以后的首个虚拟地址,以便于进行读取和写入,如果调用失败就会返回一个(void *) -1的值

4、shmdt函数

当我们在进程地址空间中挂起了一个块共享内存之后当我们不需要使用时,也要将进程地址空间中的链接关系进行取消,shmdt函数的作用就是如此。

  • 参数shmat函数返回的地址。
  • 返回值: 如果调用成功就返回0,调用失败就返回-1

5、shmctl函数

此函数的功能很强大,里面有许多的标志位,可以完成许多不同的工作,这个函数主要用来控制共享内存。

  • 参数
  1. 来自于shmget函数得到的共享内存标识符。
  2. 是标志位,里面有许多标志,这里我们就介绍两个: IPC_RMIDIPC_STAT

    IPC_RMID: 设置这个标记表示要销毁共享内存,调用者必须是共享内存的创建者,或者是特权用户。

    IPC_STAT: 将shmid相关的内核数据结构中的信息复制到第三个参数buf所指向的shmid_ds结构中,调用者必须要有读权限。
  3. 一个struct shmid_ds类型的指针,在标志位中设置了IPC_STAT,指针所指向的变量里面就能拿到相关的内核信息,如果不关心内核信息可以设置为nullptr
  • 返回值:一般来说,成功返回是0,错误返回结果是-1

6、代码使用

command .hpp

#ifndef __COMMAND_HPP__
#define __COMMAND_HPP__
#include <iostream>
#include <string>
#include <cstring>
#include <cstdlib>
#include <cerrno>
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/ipc.h>
#include <sys/shm.h>
#include <unistd.h>
#define NUM 4096
const std::string pathname = "./";
const int proj_id = 66;
#endif

sysserve.cpp

#include "command.hpp"
int main()
{
    // 1.生成相同的key值
    key_t key = ftok(pathname.c_str(), proj_id);
    if (key == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
        exit(-1);
    }
    // 2.申请共享内存
    umask(0);
    int shmid = shmget(key, NUM, IPC_CREAT | IPC_EXCL | 0666);
    if (shmid == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
        exit(-1);
    }
    // 停顿3s观察连接数变为 1
    sleep(2);
    // 3.将共享内存挂接到进程地址空间
    char *s = (char *)shmat(shmid, nullptr, 0);
    // 4.进行进程间的通信
    sleep(6); // 启动另外一个要通信进程,看到连接数变为2
    // 5.取消挂接
    int err = shmdt(s);
    if (err == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
    }
    sleep(3);
    // 6.删除共享内存
    shmctl(shmid, IPC_RMID, nullptr);
    return 0;
}

sysclient.cpp

#include "command.hpp"
int main()
{
    // 1.生成相同的key值
    key_t key = ftok(pathname.c_str(), proj_id);
    if (key == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
        exit(-1);
    }
    // 2.得到共享内存标识符
    int shmid = shmget(key, NUM, IPC_CREAT);
    if (shmid == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
        exit(-1);
    }
    // 3.将共享内存挂接到进程地址空间
    char *s = (char *)shmat(shmid, nullptr, 0);
    // 4.进行进程间的通信
    sleep(3);
    // 5.取消挂接
    int err = shmdt(s);
    if (err == -1)
    {
        std::cerr << "错误码" << errno << " " << strerror(errno) << std::endl;
    }
    return 0;
}

Linux的命令行中我们可以使用ipcs -m命令查看共享内存的详细信息。

可以看到第一个是共享内存的key值,第二个是共享内存的标识符,第三个是拥有者,第四个是权限,第五个是共享内存的字节数,第六个是共享内存的连接数,第七个是共享内存的状态。

运行上面的代码,先启动sysserve再启动sysclient,我们可以看到连接数由0->1 ->2 ->1 ->0 ->被删除

三、一些细节的补充

  1. 共享内存的生命周期是随内核的,即进程退出以后如果没有删除共享内存,则共享内存不会消失!
  2. 共享内存没有任何保护机制(同步和互斥)
相关文章
|
2天前
|
缓存 监控 Linux
linux进程管理万字详解!!!
本文档介绍了Linux系统中进程管理、系统负载监控、内存监控和磁盘监控的基本概念和常用命令。主要内容包括: 1. **进程管理**: - **进程介绍**:程序与进程的关系、进程的生命周期、查看进程号和父进程号的方法。 - **进程监控命令**:`ps`、`pstree`、`pidof`、`top`、`htop`、`lsof`等命令的使用方法和案例。 - **进程管理命令**:控制信号、`kill`、`pkill`、`killall`、前台和后台运行、`screen`、`nohup`等命令的使用方法和案例。
19 4
linux进程管理万字详解!!!
|
1天前
|
存储 Unix Linux
进程间通信方式-----管道通信
【10月更文挑战第29天】管道通信是一种重要的进程间通信机制,它为进程间的数据传输和同步提供了一种简单有效的方法。通过合理地使用管道通信,可以实现不同进程之间的协作,提高系统的整体性能和效率。
|
1天前
|
算法 Linux 定位技术
Linux内核中的进程调度算法解析####
【10月更文挑战第29天】 本文深入剖析了Linux操作系统的心脏——内核中至关重要的组成部分之一,即进程调度机制。不同于传统的摘要概述,我们将通过一段引人入胜的故事线来揭开进程调度算法的神秘面纱,展现其背后的精妙设计与复杂逻辑,让读者仿佛跟随一位虚拟的“进程侦探”,一步步探索Linux如何高效、公平地管理众多进程,确保系统资源的最优分配与利用。 ####
15 4
|
1天前
|
消息中间件 存储 供应链
进程间通信方式-----消息队列通信
【10月更文挑战第29天】消息队列通信是一种强大而灵活的进程间通信机制,它通过异步通信、解耦和缓冲等特性,为分布式系统和多进程应用提供了高效的通信方式。在实际应用中,需要根据具体的需求和场景,合理地选择和使用消息队列,以充分发挥其优势,同时注意其可能带来的复杂性和性能开销等问题。
|
2天前
|
缓存 负载均衡 算法
Linux内核中的进程调度算法解析####
本文深入探讨了Linux操作系统核心组件之一——进程调度器,着重分析了其采用的CFS(完全公平调度器)算法。不同于传统摘要对研究背景、方法、结果和结论的概述,本文摘要将直接揭示CFS算法的核心优势及其在现代多核处理器环境下如何实现高效、公平的资源分配,同时简要提及该算法如何优化系统响应时间和吞吐量,为读者快速构建对Linux进程调度机制的认知框架。 ####
|
4天前
|
消息中间件 存储 Linux
|
3月前
|
存储 编译器 C语言
【C语言篇】数据在内存中的存储(超详细)
浮点数就采⽤下⾯的规则表⽰,即指数E的真实值加上127(或1023),再将有效数字M去掉整数部分的1。
325 0
|
10天前
|
存储 C语言
数据在内存中的存储方式
本文介绍了计算机中整数和浮点数的存储方式,包括整数的原码、反码、补码,以及浮点数的IEEE754标准存储格式。同时,探讨了大小端字节序的概念及其判断方法,通过实例代码展示了这些概念的实际应用。
19 1
|
14天前
|
存储
共用体在内存中如何存储数据
共用体(Union)在内存中为所有成员分配同一段内存空间,大小等于最大成员所需的空间。这意味着所有成员共享同一块内存,但同一时间只能存储其中一个成员的数据,无法同时保存多个成员的值。
|
19天前
|
存储 弹性计算 算法
前端大模型应用笔记(四):如何在资源受限例如1核和1G内存的端侧或ECS上运行一个合适的向量存储库及如何优化
本文探讨了在资源受限的嵌入式设备(如1核处理器和1GB内存)上实现高效向量存储和检索的方法,旨在支持端侧大模型应用。文章分析了Annoy、HNSWLib、NMSLib、FLANN、VP-Trees和Lshbox等向量存储库的特点与适用场景,推荐Annoy作为多数情况下的首选方案,并提出了数据预处理、索引优化、查询优化等策略以提升性能。通过这些方法,即使在资源受限的环境中也能实现高效的向量检索。