每个内核中的IPC结构(消息队列、信号量、共享存储段)都用一个非负整数的标示符加以引用。
标示符是IPC对象的内部名,为使多个进程在同一IPC对象上同一会合,需要提供一个外部名方案。因此使用了键(key),每个IPC对象都与一个键相关联,于是键是IPC对象的外部名字。
消息队列:只能在系统范围内使用,没有访问计数,如果进程创建一个消息队列,在队列中放入几则消息,然后终止,但是该消息队列及其内容是不会删除的。直到某个进程调用msgrcv或msgctl读消息或删除消息队列。
信号量:进程同步机制,信号量是一个计数器,用于多进程之间的数据对象访问。若信号量的值为正值,则说明该资源可用。进程将信号量的值减一,表示它使用了一个资源单位。创建信号量semget与赋初值semctl分开这是一个致命的弱点。即使没有进程正在使用这种机制,它们依然存在。新的应用程序中应尽量避免使用信号量。
共享存储:允许多个进程共享给定的存储区,因为数据不需要在客户进程和服务进程之间复制,所以这是最快的一种IPC。为了防止多进程之间对同一给定存储区的同步访问,通常,信号量被用来实现对共享存储的同步。
共享存储区布局
管道:分有名和无名之分,有名管道可用在多个不相关联进程之间的通信上,无名管道只能使用在父子进程之间的通信上。有实验说明管道比消息队列快些,而且当最后一个访问管道的进程结束时,管道也就被完全删除了,建议尽量学会使用管道FIFO《unix环境高级编程》。
信号:进程之间消息的传递,用于通知接收进程某个事件已经发生。
套接字:可用于相同和不同的 计算机上,实现进程之间的通信。
附:进程之间的通信方式以及优缺点
- 管道(PIPE)
- 有名管道:一种半双工的通信方式,它允许无亲缘关系进程间的通信
- 优点:可以实现任意关系的进程间的通信
- 缺点:
- 长期存于系统中,使用不当容易出错
- 缓冲区有限
- 无名管道:一种半双工的通信方式,只能在具有亲缘关系的进程间使用(父子进程)
- 优点:简单方便
- 缺点:
- 局限于单向通信
- 只能创建在它的进程以及其有亲缘关系的进程之间
- 缓冲区有限
- 有名管道:一种半双工的通信方式,它允许无亲缘关系进程间的通信
- 信号量(Semaphore):一个计数器,可以用来控制多个线程对共享资源的访问
- 优点:可以同步进程
- 缺点:信号量有限
- 信号(Signal):一种比较复杂的通信方式,用于通知接收进程某个事件已经发生
- 消息队列(Message Queue):是消息的链表,存放在内核中并由消息队列标识符标识
- 优点:可以实现任意进程间的通信,并通过系统调用函数来实现消息发送和接收之间的同步,无需考虑同步问题,方便
- 缺点:信息的复制需要额外消耗 CPU 的时间,不适宜于信息量大或操作频繁的场合
- 共享内存(Shared Memory):映射一段能被其他进程所访问的内存,这段共享内存由一个进程创建,但多个进程都可以访问
- 优点:无须复制,快捷,信息量大
- 缺点:
- 通信是通过将共享空间缓冲区直接附加到进程的虚拟地址空间中来实现的,因此进程间的读写操作的同步问题
- 利用内存缓冲区直接交换信息,内存的实体存在于计算机中,只能同一个计算机系统中的诸多进程共享,不方便网络通信
- 套接字(Socket):可用于不同及其间的进程通信
- 优点:
- 传输数据为字节级,传输数据可自定义,数据量小效率高
- 传输数据时间短,性能高
- 适合于客户端和服务器端之间信息实时交互
- 可以加密,数据安全性强
- 缺点:需对传输的数据进行解析,转化成应用级的数据。
- 优点:
线程之间的通信方式
- 锁机制:包括互斥锁/量(mutex)、读写锁(reader-writer lock)、自旋锁(spin lock)、条件变量(condition)
- 互斥锁/量(mutex):提供了以排他方式防止数据结构被并发修改的方法。
- 读写锁(reader-writer lock):允许多个线程同时读共享数据,而对写操作是互斥的。
- 自旋锁(spin lock)与互斥锁类似,都是为了保护共享资源。互斥锁是当资源被占用,申请者进入睡眠状态;而自旋锁则循环检测保持着是否已经释放锁。
- 条件变量(condition):可以以原子的方式阻塞进程,直到某个特定条件为真为止。对条件的测试是在互斥锁的保护下进行的。条件变量始终与互斥锁一起使用。
- 信号量机制(Semaphore)
- 无名线程信号量
- 命名线程信号量
- 信号机制(Signal):类似进程间的信号处理
- 屏障(barrier):屏障允许每个线程等待,直到所有的合作线程都达到某一点,然后从该点继续执行。