linux环境编程(3): 使用POSIX IPC完成进程间通信

1. 写在前面

之前的文章总结了使用管道进行进程间通信的方法，除了pipe和fifo，Linux内核还为我们提供了其他更的IPC方式，包括共享内存，消息队列，信号量等，本篇文章会通过一个具有完整逻辑功能的示例说明如何使用这些IPC方法。毕竟单纯地查手册，写代码...周而复始，这个过程还是比较枯燥的，而且并没有哪个IPC方法能解决所有的进程间通信问题，每种方法都不是孤立存在的，通过一个小例子把它们串联起来，是一种更好的学习方式。下文中的代码实现可以参考我的代码仓库。

2. POSIX IPC概述

进程间通信，主要解决两个问题，即数据传递和同步。POSIX IPC提供了下面三种方法：

• 消息队列
• 共享内存
• 信号量

操作系统中运行的进程，彼此之间是隔离的，要想实现通信，就必须有一个媒介，是通信双方都可以访问到的。从这个角度看，操作系统内核正是每个进程都可以访问到的那个媒介，就像一个"全局变量"。消息队列不过是内核维护的一个队列，保存了用户进程发送来的消息，其他进程可以从队列中取走消息，每个消息可以设置优先级，进程发送和接收消息的行为可以是阻塞或者非阻塞的，这一点类似管道；共享内存就是利用了虚拟地址空间以及物理地址空间，让不同进程的虚拟地址映射到同一个物理页面上，这样就实现了共享，对于映射的地址空间可以设定可读，可写以及可执行的标志；信号量就像一个内核中的整型变量，这个变量的数值记录了某种资源的数量，进程可以对它进行加减操作，合理使用的话就能完成想要的进程之间的同步逻辑。可以看到，这三种IPC方法在内核中都对应了一种数据结构，为了能够让用户进程访问到这些数据结构，POSIX IPC延续了“一切皆文件”的设计思路，我们可以用类似“/somename”这种形式的文件名去创建或者打开这些IPC对象，然后对它们进行各种操作，和文件的访问权限类似，进程操作IPC对象时也会进行权限检查。可能上面对三种POSIX IPC的描述存在不严谨的地方，但对于使用者来说，我们只要在脑子里建立一个合适的，能够描述它们工作方式的模型就可以了，而不是不断重复手册中对每个api的叙述。下面的表格列出了常用的POSIX IPC api：