【总结】Linux内核剖析-------进程及其通信

最新推荐文章于 2024-09-26 20:24:25 发布

Emiiya

最新推荐文章于 2024-09-26 20:24:25 发布

阅读量251

点赞数

分类专栏：操作系统

原文链接：https://blog.csdn.net/weixin_42205987/article/details/82972767

版权

操作系统专栏收录该内容

14 篇文章 0 订阅

订阅专栏

进程

https://blog.csdn.net/lixungogogo/article/details/52202714（进程：非常详细的解释）

https://blog.csdn.net/sinat_34166518/article/details/82744410（通信）

https://www.cnblogs.com/LUO77/p/5816326.html（进程间通信《linux程序设计》，例子非常好）

https://blog.csdn.net/weixin_42205987/article/details/82972767(进程通信，例子包含代码注释)

https://blog.csdn.net/violet_echo_0908/article/details/49539593(socket例子)

https://blog.csdn.net/m0_37621078/article/details/99053518（tcpip协议栈--iwip socket）

1.进程的概念

　处理器看上去就像在不间断的一条接一条的执行程序中的指令，即改程序的代码和数据是系统存储器中唯一的对象。这些假象是通过进程的概念来实现的。
　　进程是操作系统对一个正在运行的程序的一种抽象。在一个系统上可以同时运行多个进程，而每个进程都好像在独占的使用硬件。而并发运行，则是说一个进程的指令和另一个进程的指令是交错执行的。
　　在大多数系统中，需要运行的进程数是多于可以运行他们的CPU个数的。
　　传统系统在一个时刻只能执行一个程序，而现在的多核处理器同时能够执行多个程序。
　　无论是在多核还是单核系统中，一个CPU看上去都像是在并发的执行多个进程，这是通过处理器在进程间切换来实现的。
　　操作系统实现这种交错执行的机制称为上下文切换。

子进程

由fork创建的新进程被称为子进程（child process）。该函数被调用一次，但返回两次。两次返回的区别是子进程的返回值是0，而父进程的返回值则是新进程（子进程）的进程 id。将子进程id返回给父进程的理由是：因为一个进程的子进程可以多于一个，没有一个函数使一个进程可以获得其所有子进程的进程id。对子进程来说，之所以fork返回0给它，是因为它随时可以调用getpid()来获取自己的pid；也可以调用getppid()来获取父进程的id。(进程id 0总是由交换进程使用，所以一个子进程的进程id不可能为0 )。

fork之后，操作系统会复制一个与父进程完全相同的子进程，虽说是父子关系，但是在操作系统看来，他们更像兄弟关系，这2个进程共享代码空间，但是数据空间是互相独立的，子进程数据空间中的内容是父进程的完整拷贝，指令指针也完全相同，子进程拥有父进程当前运行到的位置（两进程的程序计数器pc值相同，也就是说，子进程是从fork返回处开始执行的），但有一点不同，如果fork成功，子进程中fork的返回值是0，父进程中fork的返回值是子进程的进程号，如果fork不成功，父进程会返回错误。
可以这样想象，2个进程一直同时运行，而且步调一致，在fork之后，他们分别作不同的工作，也就是分岔了。这也是fork为什么叫fork的原因

至于那一个最先运行，可能与操作系统（调度算法）有关，而且这个问题在实际应用中并不重要，如果需要父子进程协同，可以通过原语的办法解决。

2.进程的四要素：

一、进程有需要执行的代码，也就是CPU指令和被操作的数据。代码相当于进程的剧本，可以和其他进程共用，不一定是该进程所私有。

二、有进程专用的系统堆栈空间。

三、在内核中有描述进程信息和进程占用各项资源的信息的结构体task_struct，用于对该进程进行管理。也就是PCB进程控制块，有这个数据结构，进程才能成为一个接受内核调度的基本单位。

四、有独立的存储空间，意味着除第二点的系统堆栈空间还需要有专有的用户空间的堆栈。在PCB上就是虚拟地址空间。

四个条件都是必要条件，不可缺少。

如果只具备了前两条而缺第四条则称之为线程。

完全没有用户空间则称之为内核线程，共享用户空间则称之为用户线程。

32位地址意味着4G的虚拟地址空间，linux内核将4G的空间分为两部分：从虚地址0xC0000000到0xFFFFFFFF用于内核本身叫做系统空间，从虚地址0x00000000到0xBFFFFFFF用作每个进程的用户空间，理论上每个进程都可以使用3G的用户空间，但是实际空间受到物理存储器（内存以及磁盘交换区和交换文件的）大小的限制。各进程拥有独立的3G用户空间，系统空间却由所有进程共享。linux内核对虚拟地址空间进行抽象的数据结构是在用于虚存管理的mm_struct数据结构以及下属的VM_area_数据结构这些数据结构也保存在进程中的PCB中。

每当一个进程通过系统调用方式进入了内核，一个进程必定同时又是一个内核线程，在内核中拥有自己的堆栈空间。该进程就在共享的系统空间中运行，每个进程都拥有自己的task_struct数据结构（PCB）和一片用作系统空间的堆栈的存储空间。操作系统在内核空间中为每个进程分配两个连续的物理页面作为进程在内核中的登记。在内核2.6版本以后这个PCB被放到了高速缓冲区中，但是和系统空间堆栈通过链表的形式相互指向。

进程间通信

进程间通信又称IPC(Inter-Process Communication),指多个进程之间相互通信，交换信息的方法。根据进程通信时信息量大小的不同,可以将进程通信划分为两大类型:
1、低级通信,控制信息的通信(主要用于进程之间的同步,互斥,终止和挂起等等控制信息的传递)
2、高级通信,大批数据信息的通信(主要用于进程间数据块数据的交换和共享,常见的高级通信有管道,消息队列,共享内存等).

linux下进程间通信的几种主要手段简介：

管道( pipe )：管道是一种半双工的通信方式，数据只能单向流动，而且只能在具有亲缘关系的进程间使用。进程的亲缘关系通常是指父子进程关系。
有名管道 (named pipe) ：有名管道也是半双工的通信方式，但是它允许无亲缘关系进程间的通信。
信号量( semophore ) ：信号量是一个计数器，可以用来控制多个进程对共享资源的访问。不是用于交换大批数据,而用于多线程之间的同步.常作为一种锁机制,防止某进程在访问资源时其它进程也访问该资源。因此，主要作为进程间以及同一进程内不同线程之间的同步手段。
消息队列( message queue ) ：消息队列是由消息的链表，存放在内核中并由消息队列标识符标识。消息队列克服了信号传递信息少、管道只能承载无格式字节流以及缓冲区大小受限等缺点。
信号 ( signal ) ：主要作为进程间以及同一进程不同线程之间的同步手段。信号是一种比较复杂的通信方式，用于通知接收进程某个事件已经发生。
[共享内存( shared memory )] ：共享内存就是映射一段能被其他进程所访问的内存，这段共享内存由一个进程创建，但多个进程都可以访问。共享内存是最快的 IPC 方式，它是针对其他进程间通信方式运行效率低而专门设计的。它往往与其他通信机制，如信号两，配合使用，来实现进程间的同步和通信。
套接字( socket ) ：套解口也是一种进程间通信机制，与其他通信机制不同的是，它可用于不同机器间的进程通信。

联系：

1、管道

我们来看一条 Linux 的语句

netstat -tulnp | grep 8080

学过 Linux 命名的估计都懂这条语句的含义，其中”|“是管道的意思，它的作用就是把前一条命令的输出作为后一条命令的输入。在这里就是把 netstat -tulnp 的输出结果作为 grep 8080 这条命令的输入。如果两个进程要进行通信的话，就可以用这种管道来进行通信了，并且我们可以知道这条竖线是没有名字的，所以我们把这种通信方式称之为匿名管道。

并且这种通信方式是单向的，只能把第一个命令的输出作为第二个命令的输入，如果进程之间想要互相通信的话，那么需要创建两个管道。

居然有匿名管道，那也意味着有命名管道，下面我们来创建一个命名管道。

mkfifo  test

这条命令创建了一个名字为 test 的命名管道。

接下来我们用一个进程向这个管道里面写数据，然后有另外一个进程把里面的数据读出来。

echo "this is a pipe" > test   // 写数据

这个时候管道的内容没有被读出的话，那么这个命令就会一直停在这里，只有当另外一个进程把 test 里面的内容读出来的时候这条命令才会结束。接下来我们用另外一个进程来读取

cat < test  // 读数据

我们可以看到，test 里面的数据被读取出来了。上一条命令也执行结束了。

从上面的例子可以看出，管道的通知机制类似于缓存，就像一个进程把数据放在某个缓存区域，然后等着另外一个进程去拿，并且是管道是单向传输的。

这种通信方式有什么缺点呢？显然，这种通信方式效率低下，你看，a 进程给 b 进程传输数据，只能等待 b 进程取了数据之后 a 进程才能返回。

所以管道不适合频繁通信的进程。当然，他也有它的优点，例如比较简单，能够保证我们的数据已经真的被其他进程拿走了。我们平时用 Linux 的时候，也算是经常用。

2、消息队列

那我们能不能把进程的数据放在某个内存之后就马上让进程返回呢？无需等待其他进程来取就返回呢？

答是可以的，我们可以用消息队列的通信模式来解决这个问题，例如 a 进程要给 b 进程发送消息，只需要把消息放在对应的消息队列里就行了，b 进程需要的时候再去对应的
消息队列里取出来。同理，b 进程要个 a 进程发送消息也是一样。这种通信方式也类似于缓存吧。

这种通信方式有缺点吗？答是有的，如果 a 进程发送的数据占的内存比较大，并且两个进程之间的通信特别频繁的话，消息队列模型就不大适合了。因为 a 发送的数据很大的话，意味发送消息（拷贝）这个过程需要花很多时间来读内存。

哪有没有什么解决方案呢？答是有的，请继续往下看。

3、共享内存

https://blog.csdn.net/ypt523/article/details/79958188（说的比较好！）

共享内存这个通信方式就可以很好着解决拷贝所消耗的时间了。

这个可能有人会问了，每个进程不是有自己的独立内存吗？两个进程怎么就可以共享一块内存了？

我们都知道，系统加载一个进程的时候，分配给进程的内存并不是实际物理内存，而是虚拟内存空间。那么我们可以让两个进程各自拿出一块虚拟地址空间来，然后映射到相同的物理内存中，这样，两个进程虽然有着独立的虚拟内存空间，但有一部分却是映射到相同的物理内存，这就完成了内存共享机制了。

不同进程之间共享的内存通常为同一段物理内存。进程可以将同一段物理内存连接到他们自己的地址空间中，所有的进程都可以访问共享内存中的地址。如果某个进程向共享内存写入数据，所做的改动将立即影响到可以访问同一段共享内存的任何其他进程。

特别提醒：共享内存并未提供同步机制，也就是说，在第一个进程结束对共享内存的写操作之前，并无自动机制可以阻止第二个进程开始对它进行读取，所以我们通常需要用其他的机制来同步对共享内存的访问，例如信号量。
结合项目：DP和主控CPU通信，用于TDD控制等信息，使用mailbox读写共享内存，同步使用信号量。

共享内存的通信原理

在Linux中，每个进程都有属于自己的进程控制块（PCB）和地址空间（Addr Space），并且都有一个与之对应的页表，负责将进程的虚拟地址与物理地址进行映射，通过内存管理单元（MMU）进行管理。两个不同的虚拟地址通过页表映射到物理空间的同一区域，它们所指向的这块区域即共享内存。

共享内存的通信原理示意图：

对于上图我的理解是：当两个进程通过页表将虚拟地址映射到物理地址时，在物理地址中有一块共同的内存区，即共享内存，这块内存可以被两个进程同时看到。这样当一个进程进行写操作，另一个进程读操作就可以实现进程间通信。但是，我们要确保一个进程在写的时候不能被读，因此我们使用信号量来实现同步与互斥。

对于一个共享内存，实现采用的是引用计数的原理，当进程脱离共享存储区后，计数器减一，挂架成功时，计数器加一，只有当计数器变为零时，才能被删除。当进程终止时，它所附加的共享存储区都会自动脱离。

为什么共享内存速度最快？

借助上图说明：Proc A 进程给内存中写数据， Proc B 进程从内存中读取数据，在此期间一共发生了两次复制

（1）Proc A 到共享内存（2）共享内存到 Proc B

因为直接在内存上操作，所以共享内存的速度也就提高了。

4、信号量

共享内存最大的问题是什么？没错，就是多进程竞争内存的问题，就像类似于我们平时说的线程安全问题。如何解决这个问题？这个时候我们的信号量就上场了。

信号量的本质就是一个计数器，用来实现进程之间的互斥与同步。例如信号量的初始值是 1，然后 a 进程来访问内存1的时候，我们就把信号量的值设为 0，然后进程b 也要来访问内存1的时候，看到信号量的值为 0 就知道已经有进程在访问内存1了，这个时候进程 b 就会访问不了内存1。所以说，信号量也是进程之间的一种通信方式。

5、Socket

上面我们说的共享内存、管道、信号量、消息队列，他们都是多个进程在一台主机之间的通信，那两个相隔几千里的进程能够进行通信吗？

答是必须的，这个时候 Socket 这家伙就派上用场了，例如我们平时通过浏览器发起一个 http 请求，然后服务器给你返回对应的数据，这种就是采用 Socket 的通信方式了。

例子：

管道：我们平时用的“|”管道符消息队列：这个你可以在Linux中模拟不同用户相关发消息，类似于邮箱。共享内存：这个就比较多了，例如创建子进程时，父进程和子进程会共享同一个内存。

一般来说，linux下的进程包含以下几个关键要素：

有一段可执行程序；
有专用的系统堆栈空间；
内核中有它的控制块（进程控制块），描述进程所占用的资源，这样，进程才能接受内核的调度；
具有独立的存储空间

管道：

(1):创建管道

(2):打开管道文件

(3):管道的写

详细解释：

2，信号量：

信号量（semaphore）与已经介绍过的 IPC 结构不同，它是一个计数器。信号量用于实现进程间的互斥与同步，而不是用于存储进程间通信数据。

为了防止出现因多个程序同时访问一个共享资源而引发的一系列问题，我们需要一种方法，它可以通过生成并使用令牌来授权，在任一时刻只能有一个执行线程访问代码的临界区域。临界区域是指执行数据更新的代码需要独占式地执行。而信号量就可以提供这样的一种访问机制，让一个临界区同一时间只有一个线程在访问它，也就是说信号量是用来调协进程对共享资源的访问的。

信号量是一个特殊的变量，程序对其访问都是原子操作，且只允许对它进行等待（即P(信号变量))和发送（即V(信号变量))信息操作。

特点

a、信号量用于进程间同步，若要在进程间传递数据需要结合共享内存。
b、信号量基于操作系统的 PV 操作，程序对信号量的操作都是原子操作。
c、每次对信号量的 PV 操作不仅限于对信号量值加 1 或减 1，而且可以加减任意正整数。
d、支持信号量组。

PV操作

P操作负责把当前进程由运行状态转换为阻塞状态，直到另外一个进程唤醒它。操作为：申请一个空闲资源（把信号量减1），若成功，则退出；若失败，则该进程被阻塞；
V操作负责把一个被阻塞的进程唤醒，它有一个参数表，存放着等待被唤醒的进程信息。操作为：释放一个被占用的资源（把信号量加1），如果发现有被阻塞的进程，则选择一个唤醒之。

对于信号量，可以认为是一个仓库，有两个概念，容量和当前的货物个数。

P操作从仓库拿货，如果仓库中没有货，线程一直等待，直到V操作，往仓库里添加了货物，为了避免P操作一直等待下去，会有一个超时时间。
V操作往仓库送货，如果仓库满了，线程等待，直到有P操作，从仓库中拿走货物，有空的位置。

创建信号量，设置容量，先有V操作，才能P操作。

P操作：货物个数减1，减过之后，货物个数大于等于0，说明已经拿到货物，线程继续。否者线程阻塞。
V操作：货物个数加1，加过之后，货物个数小于等于容量，说明添加成功，线程继续。否者线程阻塞。

信号量：

0≤ 信号量≤容量，取值表示当前可以使用的货物；
信号量<0 ，取值表示当前等待使用货物的线程；
信号量>容量，信号量-容量表示当前等待添加货物的线程。

通常，信号量的容量设置很大，可以一直V操作，不会阻塞，但是P操作的时候，很可能阻塞。

当容量为1，也就是互斥，执行流程必定是V操作，P操作，V操作，P操作…

信号量如何做到线程同步？

可以认为信号量关联一组线程，保存一个指针，指向线程数组的首地址。比如当前信号量为-1，进行P操作，信号量为-2，说明没有拿到货物，线程等待，取值为-2，说明有两个线程等待那货物。这个时候，其他线程进行V操作，信号量加1，为-1，信号量通知等待的线程中，第一个线程继续执行，第二个线程继续等待。

也就是说，P操作等待的情况是减1后，信号量小于0。 P操作继续执行的情况有两种：a、减1后，信号量大于等于0，不需等待，直接执行；b、信号量小于0，等待中，其他人进行了V操作，通知这个线程，继续执行。

项目中的使用场景：

客户端使用提供的SDk与服务交互，为了提高效率，客户端发送一个请求后，SDK异步回调给客户端。但是，有些请求，客户端希望同步，等待回复。这个时候，建立一个map，以req的sequence为key，value为信号量的指针，信号量的容量设置为1，可用的货物为0，对信号量进行TimeoutP操作，货物个数为-1，阻塞在这里。异步回调，收到回复的sequence，根据map找到信号量指针，进行V操作，货物个数为0，通知前面TimeoutP的线程继续执行下去，这个时候，TimeoutP的线程，把回复消息取出来，返回给客户端。

原型

最简单的信号量是只能取 0 和 1 的变量，这也是信号量最常见的一种形式，叫做二值信号量（Binary Semaphore）。而可以取多个正整数的信号量被称为通用信号量。

Linux 下的信号量函数都是在通用的信号量数组上进行操作，而不是在一个单一的二值信号量上进行操作。

#include <sys/sem.h>
// 创建或获取一个信号量组：若成功返回信号量集ID，失败返回-1
int semget(key_t key, int num_sems, int sem_flags);
// 对信号量组进行操作，改变信号量的值：成功返回0，失败返回-1
int semop(int semid, struct sembuf semoparray[], size_t numops);  
// 控制信号量的相关信息
int semctl(int semid, int sem_num, int cmd, ...);

当semget创建新的信号量集合时，必须指定集合中信号量的个数（即num_sems），通常为1；如果是引用一个现有的集合，则将num_sems指定为 0 。

在semop函数中，sembuf结构的定义如下：

struct sembuf 
{
    short sem_num; // 信号量组中对应的序号，0～sem_nums-1
    short sem_op;  // 信号量值在一次操作中的改变量
    short sem_flg; // IPC_NOWAIT, SEM_UNDO
    /*sembuf结构的sem_flg成员为SEM_UNDO时，它将使操作系统跟踪当前进程对这个信号量的修改情况，如果这个进程
    在没有释放该信号量的情况下终止，操作系统将自动释放该进程持有的信号量，从而使另外一个进程可以继续工作，防
    止其他进程因为得不到信号量而发生【死锁现象】。为此一般建议使用SEM_UNDO。*/

}

其中 sem_op 是一次操作中的信号量的改变量：

1、若sem_op > 0，表示进程释放相应的资源数，将 sem_op 的值加到信号量的值上。如果有进程正在休眠等待此信号量，则换行它们。
2、若sem_op < 0，请求 sem_op 的绝对值的资源。

如果相应的资源数可以满足请求，则将该信号量的值减去sem_op的绝对值，函数成功返回。
当相应的资源数不能满足请求时，这个操作与sem_flg有关。

sem_flg 指定IPC_NOWAIT，则semop函数出错返回EAGAIN。
sem_flg 没有指定IPC_NOWAIT，则将该信号量的semncnt值加1，然后进程挂起直到下述情况发生：
a、当相应的资源数可以满足请求，此信号量的semncnt值减1，该信号量的值减去sem_op的绝对值。成功返回；
b、此信号量被删除，函数smeop出错返回EIDRM；
c、进程捕捉到信号，并从信号处理函数返回，此情况下将此信号量的semncnt值减1，函数semop出错返回EINTR

3、若sem_op == 0，进程阻塞直到信号量的相应值为0：

当信号量已经为0，函数立即返回。
如果信号量的值不为0，则依据sem_flg决定函数动作：

sem_flg指定IPC_NOWAIT，则出错返回EAGAIN。
sem_flg没有指定IPC_NOWAIT，则将该信号量的semncnt值加1，然后进程挂起直到下述情况发生：
a、信号量值为0，将信号量的semzcnt的值减1，函数semop成功返回；
b、此信号量被删除，函数smeop出错返回EIDRM；
c、进程捕捉到信号，并从信号处理函数返回，在此情况将此信号量的semncnt值减1，函数semop出错返回EINTR

在semctl函数中的命令有多种，这里就说两个常用的：
SETVAL：用于初始化信号量为一个已知的值。所需要的值作为联合semun的val成员来传递。在信号量第一次使用之前需要设置信号量。
IPC_RMID：删除一个信号量集合。如果不删除信号量，它将继续在系统中存在，即使程序已经退出，它可能在你下次运行此程序时引发问题，而且信号量是一种有限的资源。

实例

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/sem.h>
#include <sys/types.h>

// 联合体，用于semctl初始化
union semun
{
    int              val; /*for SETVAL*/
    struct semid_ds *buf;
    unsigned short  *array;
};

// 初始化信号量
int init_sem(int sem_id, int value)
{
    union semun tmp;
    tmp.val = value;
    if(semctl(sem_id, 0, SETVAL, tmp) == -1)//0 :信号量集数组上的下标，表示某一个信号量
    {
        perror("Init Semaphore Error");
        return -1;
    }
    return 0;
}

// P(sv)操作:
//    如果sv的值大于零，就给它减1；
//    如果它的值为零，就挂起该进程的执行

int sem_p(int sem_id)
{
    struct sembuf sbuf;
    sbuf.sem_num = 0; /*序号*/
    sbuf.sem_op = -1; /*P操作*/
    sbuf.sem_flg = SEM_UNDO; 
    /*通常为SEM_UNDO,使操作系统跟踪信号，
    并在进程没有释放该信号量而终止时，操作系统释放信号量*/

    if(semop(sem_id, &sbuf, 1) == -1)
    {
        perror("P operation Error");
        return -1;
    }
    return 0;
}

// V(sv)操作：
//    如果有其他进程因等待sv而被挂起，就让它恢复运行，唤醒它们
//    如果没有进程因等待sv而挂起，就给它加1.
int sem_v(int sem_id)
{
    struct sembuf sbuf;
    sbuf.sem_num = 0; /*序号*/
    sbuf.sem_op = 1;  /*V操作*/
    sbuf.sem_flg = SEM_UNDO;

    if(semop(sem_id, &sbuf, 1) == -1)
    {
        perror("V operation Error");
        return -1;
    }
    return 0;
}

// 删除信号量集
int del_sem(int sem_id)
{
    union semun tmp;
    if(semctl(sem_id, 0, IPC_RMID, tmp) == -1)//IPC_RMID删除信号量 
    {
        perror("Delete Semaphore Error");
        return -1;
    }
    return 0;
}


int main()
{
    int sem_id;  // 信号量集ID
    key_t key;  
    pid_t pid;

    // 获取key值
    if((key = ftok(".", 'z')) < 0)
    {
        perror("ftok error");
        exit(1);
    }

    // 创建信号量集，其中只有一个信号量
    if((sem_id = semget(key, 1, IPC_CREAT|0666)) == -1)
    {
        perror("semget error");
        exit(1);
    }

    // 初始化：初值设为0资源被占用
    init_sem(sem_id, 0);

    if((pid = fork()) == -1)
    {
        perror("Fork Error");
    }
    else if(pid == 0) /*子进程*/ 
    {
        sleep(2);
        printf("Process child: pid=%d\n", getpid());
        printf("children give sem:\n");
        sem_v(sem_id);  /*释放资源*/
    }
    else  /*父进程*/
    {
        printf("father wait sem:\n");
        sem_p(sem_id);   /*等待资源*/
        printf("Process father: pid=%d\n", getpid());
        printf("father lend sem:\n");
        sem_v(sem_id);   /*释放资源*/
        del_sem(sem_id); /*删除信号量集*/
    }
    return 0;
}

(1): 创建信号量 semget

(2): 初始化信号量

(3): PV操作

3.消息队列

消息队列，是消息的链接表，存放在 内核中。一个消息队列由一个标识符（即队列ID）来标识。

特点

消息队列是面向记录的，其中的消息具有特定的格式以及特定的优先级。
消息队列独立于发送与接收进程。进程终止时，消息队列及其内容并不会被删除。
消息队列可以实现消息的随机查询,消息不一定要以先进先出的次序读取,也可以按消息的类型读取。
消息队列与管道通信相比，其优势是对每个消息指定特定的消息类型，接收的时候不需要按照队列次序，而是可以根据自定义条件接收特定类型的消息。
可以把消息看做一个记录，具有特定的格式以及特定的优先级。对消息队列有写权限的进程可以向消息队列中按照一定的规则添加新消息，对消息队列有读权限的进程可以从消息队列中读取消息。

原型

#include <sys/msg.h>
// 创建或打开消息队列：成功返回队列ID，失败返回-1
int msgget(key_t key, int flag);
// 添加消息：成功返回0，失败返回-1
int msgsnd(int msqid, const void *ptr, size_t size, int flag);
ptr：消息（消息类型＋消息内容）的首地址 
size：消息内存的长度（不包括消息类型） 
// 读取消息：成功返回消息数据的长度，失败返回-1
int msgrcv(int msqid, void *ptr, size_t size, long type,int flag);
// 控制消息队列：成功返回0，失败返回-1
int msgctl(int msqid, int cmd, struct msqid_ds *buf);

在以下两种情况下，msgget将创建一个新的消息队列：

如果没有与键值key相对应的消息队列，并且flag中包含了IPC_CREAT标志位。
key参数为IPC_PRIVATE。

函数msgrcv在读取消息队列时，type参数有下面几种情况：

type == 0，返回队列中的第一个消息；
type > 0，返回队列中消息类型为 type 的第一个消息；
type < 0，返回队列中消息类型值小于或等于 type 绝对值的消息，如果有多个，则取类型值最小的消息。
可以看出，type值非 0 时用于以非先进先出次序读消息。也可以把 type 看做优先级的权值。

例子
进程间通过消息队列通信，主要是：创建或打开消息队列，添加消息，读取消息和控制消息队列。，

例子：用函数msget创建消息队列，调用msgsnd函数，把输入的字符串添加到消息队列中然后调用msgrcv函数，读取消息队列中的消息并打印输出，最后再调用msgctl函数，删除系统内核中的消息队列。（黄色部分是消息队列相关的关键代码，粉色部分是读取stdin的关键代码）

4.共享内存

共享内存允许两个或多个进程共享一个给定的存储区，这一段存储区可以被两个或两个以上的进程映射至自身的地址空间中，一个进程写入共享内存的信息，可以被其他使用这个共享内存的进程，通过一个简单的内存读取错做读出，从而实现了进程间的通信。

采用共享内存进行通信的一个主要好处是效率高，因为进程可以直接读写内存，而不需要任何数据的拷贝，对于像管道和消息队里等通信方式，则需要再内核和用户空间进行四次的数据拷贝，而共享内存则只拷贝两次：一次从输入文件到共享内存区，另一次从共享内存到输出文件。

共享内存有两种实现方式：1、内存映射 2、共享内存机制

特点

a、由内核维护一个共享的内存区域，其它进程把自己虚拟地址映射到这块内存，多个进程之间就可以共享这块内存了。
b、这种进程间通信的好处是不需要信息复制，是进程间通信最快的一种方式。
c、但这种通信方式会面临同步的问题，需要与其它通信方式配合，最合适的就是信号。

原型

#include <sys/shm.h>

 // 创建或获取一个共享内存
 int shmget(key_t key, size_t size, int flag);
 size：共享的大小，尽量是4096的位数 
 shmflg：IPC_CREAT｜IPC_EXCL 
 返回值：IPC对象标识符(类似文件描述符)，失败返回-1

 // 连接共享内存到当前进程的地址空间(进程的虚拟地址与共享的内存映射） 
 void *shmat(int shm_id, const void *addr, int flag); 
 shmid：shmget的返回值 
 shmaddr：进程提供的虚拟地址，如果为NULL，操作系统会自动选择一块地址映射。 
 shmflg： 
 	SHM_RDONLY：限制内存的权限为只读 
 	SHM_REMAP：映射已经存的共享内存。 
	SHM_RND：当shmaddr为空时自动分配 
 	SHMLBA：shmaddr的值不能为空，否则出错
 返回值：映射后的虚拟内存地址,成功返回指向共享内存的指针，失败返回-1
 // 断开与共享内存的连接：成功返回0，失败返回-1
 int shmdt(void *addr); 
 // 控制共享内存的相关信息：成功返回0，失败返回-1
 int shmctl(int shm_id, int cmd, struct shmid_ds *buf);
 cmd: 
 	IPC_STAT：获取共享内存的属性 
 	IPC_SET：设置共享内存的属性 
 	IPC_RMID：删除共享内存 
 buf： 
 记录共享内存属性的对象

用shmget函数创建一段共享内存时，必须指定其 size；而如果引用一个已存在的共享内存，则将 size 指定为0 。
当一段共享内存被创建以后，它并不能被任何进程访问。必须使用shmat函数连接该共享内存到当前进程的地址空间，连接成功后把共享内存区对象映射到调用进程的地址空间，随后可像本地空间一样访问。
shmdt函数是用来断开shmat建立的连接的。注意，这并不是从系统中删除该共享内存，只是当前进程不能再访问该共享内存而已。
shmctl函数可以对共享内存执行多种操作，根据参数 cmd 执行相应的操作。常用的是IPC_RMID（从系统中删除该共享内存）。

UNIX System V共享内存机制例子：

IPC的共享内存指的是把所有的共享数据放在共享内存区域（IPC shared memory region），任何想要访问该数据的进程都必须在本进程的地址空间新增一块内存区域，用来映射存放共享数据的物理内存页面。

和前面的mmap系统调用通过映射一个普通文件实现共享内存不同，UNIX system V共享内存是通过映射特殊文件系统shm中的文件实现进程间的共享内存通信。

例子：设计两个程序，通过unix system v共享内存机制，一个程序写入共享区域，另一个程序读取共享区域。

分析：一个程序调用fotk函数产生标准的key，接着调用shmget函数，获取共享内存区域的id，调用shmat函数，映射内存，循环计算年龄，另一个程序读取共享内存。

（fotk函数在消息队列部分已经用过了，根据pathname指定的文件（或目录）名称，以及proj参数指定的数字，ftok函数为IPC对象生成一个唯一性的键值。）