Linux -- 进程间通信（IPC）机制

Linux系统的IPC方式有如下几种：

pipe管道

它是unix系统中最古老的IPC形式，所有的UNIX系统都提供此种通信机制，它有以下两种局限性：

• 半双工。现在，虽然某些系统提供了全双工的管道，但是为了可移植性，我们绝不能假定系统支持全双工管道。
• 管道只能在具有公共祖先的两个进程之间使用。通常，一个管道由一个进程创建，在进程调用fork后，这个管道就能在父子进程之间使用了。

FIFO

FIFO有时也被称为命名管道，它没有了上述pipe的第二个限制，未命名的管道只能在两个相关的进程之间使用，而且这两个相关进程还要有一个共同的创建了他们的祖先进程。但是通过FIFO，不相关的进程也可以进行数据交换。注意，FIFO一般也是半双工的管道。创建FIFO类似于创建文件，FIFO的路径名存在于文件系统中。可以用S_ISFIFO宏对此进行测试。

System V IPC

XSI IPC函数是紧密的基于System V的IPC函数。不使用文件系统命名空间，而是构造了它们自己的命名空间，为此常常受到批评。System V IPC是基于系统内核的，可以使用命令ipcs来查看系统当前的IPC对象的状态。包括消息队列、信号量、共享内存3中方式。

• 标识符和键值
  每个XSI IPC结构（消息队列、信号量、共享内存）都用一个非负整数的标识符加以引用，例如，向一个消息队列发消息或者从消息队列里去消息，都需要知道该消息队列的标识符。这个标识符是IPC对象的内部名，只能由内核创建并返给上层，由上层传给相关的操作函数。所以我们需要一个外部命名方案。为此，每个XSI IPC对象都与一个键（key_t）相关联。而外部名key与内部名标识符之间的转换是由内核完成的。比如消息队列，我们通过 int msgget(key_t key, int flag); 此函数用于key和标识符之间的转换，通过传入一个key和flag，直接返回一个标识符。如果两个进程想要操作同一个消息队列，就需要通过msgget传入相同的key，以此来获取到相同的IPC对象标识符。这样就达到了两个进程通信的效果。

• 建立IPC的方法
  建一个IPC对象时需要指定一个键值，类型为key_t，在<sys/types.h> 中定义为一个长整型。键值到标识符的转换是由系统内核来维护的。当有了一个IPC 对象的键值，如何让多个进程知道这个键，可以有多种实现的办法。

1. 可以使用文件来做中间的通信，创建IPC对象进程，使用键IPC_PRIVATE成功建立IPC对象之后，将返回的标识符存储在一个文件中。其他进程通过读取这个标识符来引用IPC对象通信。
2. 定义一个多个进程都认可的键，每个进程使用这个键来引用IPC对象，值得注意的是，创建IPC对象的进程中，创建IPC对象时如果该键值已经与一个IPC对象结合，则应该删除该IPC对象，再创建一个IPC对象。
3. 多进程通信中，对于指定键引用一个IPC对象而言，可能不具有拓展性，并且在该键值已经被一个IPC对象结合的情况下。所以必须删除这个存在对象之后再建立一个新的。这有可能影响到其他正在使用这个对象的进程。
   函数 ftok 可以在一定程度上解决了这个问题。函数 ftok 可以使用两个参数生成一个不冲突的键值。

• 缺点
  a. 过于繁杂的编程接口，比起使用其他通信方式，IPC所要求的代码量要明显增多。
  b. IPC 不使用通用的文件系统，这也是饱受指责的原因。所以不能使用标准的 I/O 操作函数来读写IPC对象。为此不得不新增加一些函数来支持必要的一些操作 （例如 msgget msgrev msgctl等）并且对于不同类型的IPC对象都有一系列特定的操作函数。由于IPC 不适用文件描述符，所以不能使用多路 I/O 监控函数select 及 poll 函数来操作 IPC 对象。
  c. 缺少的资源回收机制。由于IPC 对象在使用过程中并不保存应用计数，所以当出现一个进程创建了 IPC 对象然后退出时，则这个对象只有在出现后面几种情况才会被释放或者删除，即由某一个进程读出消息，或者IPC 的所有者或超级用户删除了这个对象。这也是IPC 相对于管道或 FIFO 所缺陷的资源回收机制。

POSIX IPC

POSIX IPC和Sytem V IPC一样，也有三种工具，分别是消息队列，信号量，共享内存。他们虽然实现不同，但是基本概念是相同的。POSIX IPC是在System V IPC之后实现的，所以它对IPC进行了更充分的优化，利用了System V的优势，也去除它的缺点。现在的POSIX IPC接口更加简洁易用，越来越多的开发者倾向于使用POSIX IPC，但是由于之前很多软件基于System V IPC来开发，所以System V并不会立即消失，只是在新的代码中，更加建议使用POSIX IPC方式。

UNIX域套接字

UDS是unix domain socket的简称，也就是unix域socket。它是一种全双工通信方式，包括两种，一种是匿名socket，一种是命名socket。它能够为每个客户进程创建一个到服务器进程的唯一连接。
虽然unix中已经实现了因特网套接字，但是UNIX域套接字在同一个机器上的效率更高，因为它仅仅复制数据，并不执行协议处理，不需要添加和删除网络报头，无需计算校验和，不要产生顺序号，无需发送确认报文。

• 无命名的、相互连接的UNIX域套接字

int socketpair(int domain, int type, int protocol, int sockfd[2]);
成功返回0，出错返回-1

• 命名UNIX域套接字

struct sockaddr_un un;
un.sun_family = AF_UNIX;
strcpy(un.sun_path, “foo.socket”);
fd = socket(AF_UNIX, SOCK_STREAM, 0);

个人总结：

在实际项目中，如何选择IPC通信机制：

1. 对于二进制信号量，应该使用POSIX IPC semaphore。可用于加锁和解锁，对于线程之间使用匿名信号量，对于进程之间使用命名信号量。
2. 对于进程间需要传递数据的形式，选择POSIX IPC消息队列，数据只能流向一个进程，不能进行消息的相互传递。比如一个进程作为服务器，管理一个消息队列，其余的进程只需要向此消息队列写入消息，而服务进程不能反向传给其他进程，因为其他进程并不管理此队列，这就是一对多的模型。
3. 对于服务器端和客户端进程需要交互信息的形式，建议使用unix domain socket，这样会创建一个客户端到服务器的一对一通道。
4. 对于消息队列，linux系统都会有一个限制，比如可发送的最大消息字节数，一个特定队列的最大字节数，系统中的最大消息队列的长度，系统中最大的消息数等，这些限制在使用时要注意。