前面学习了进程相关的内容,介绍了如何通过 fork()
或
vfork()
创建子进程,以及在子进程中通过
exec() 函数执行一个新的程序。本章向大家介绍一个新的内容---
进程间通信。
所谓进程间通信指的是系统中两个进程之间的通信,不同的进程都在各自的地址空间中、相互独立、隔离,所以它们是处在于不同的地址空间中,因此相互通信比较难,Linux 内核提供了多种进程间通信的机制。本章就来聊一聊这些进程间通信的手段,让大家对此有一个基本的认识!
10.1 进程间通信简介
进程间通信(interprocess communication
,简称
IPC
)指两个进程之间的通信。系统中的每一个进程都有各自的地址空间,并且相互独立、隔离,每个进程都处于自己的地址空间中。所以同一个进程的不同模块(譬如不同的函数)之间进行通信都是很简单的,譬如使用全局变量等。
但是,两个不同的进程之间要进行通信通常是比较难的,因为这两个进程处于不同的地址空间中;通常情况下,大部分的程序是不要考虑进程间通信的,因为大家所接触绝大部分程序都是单进程程序(可以有多个线程),对于一些复杂、大型的应用程序,则会根据实际需要将其设计成多进程程序,譬如 GUI、服务区应用程序等。
在一些中小型应用程序中通常不会将应用程序设计成多进程程序,自然而然便不需要考虑进程间通信的问题,所以,本章内容以了解为主、了解进程间通信以及内核提供的进程间通信机制,并不详解介绍进程间通信,如果大家在今后的工作当中参与开发的应用程序是一个多进程程序、需要考虑进程间通信的问题,此时再去深入学习这方面的知识!
10.2 进程间通信的机制有哪些?
Linux 内核提供了多种
IPC
机制,基本是从
UNIX
系统继承而来,而对
UNIX
发展做出重大贡献的两大主力 AT&T
的贝尔实验室及
BSD
(加州大学伯克利分校的伯克利软件发布中心)在进程间通信方面的侧重点有所不同。前者对 UNIX
早期的进程间通信手段进行了系统的改进和扩充,形成了“
System V IPC
”,通信进程局限在单个计算机内;后者则跳过了该限制,形成了基于套接字(
Socket
,也就是网络)的进程间通信机制。Linux
则把两者继承了下来,如下如所示:

其中,早期的 UNIX IPC
包括:管道、
FIFO
、信号;
System V IPC
包括:
System V
信号量、
System V 消息队列、System V
共享内存;上图中还出现了
POSIX IPC
,事实上,较早的
System V IPC
存在着一些不足之处,而 POSIX IPC
则是在
System V IPC
的基础上进行改进所形成的,弥补了
System V IPC
的一些不足之处。POSIX IPC
包括:
POSIX
信号量、
POSIX
消息队列、
POSIX
共享内存。
总结如下:
- UNIX IPC:管道、FIFO、信号;
- System V IPC:信号量、消息队列、共享内存;
- POSIX IPC:信号量、消息队列、共享内存;
- Socket IPC:基于 Socket 进程间通信。
10.3 管道和 FIFO
管道是 UNIX
系统上最古老的
IPC
方法,它在
20
世纪
70
年代早期
UNIX
的第三个版本上就出现了。把一个进程连接到另一个进程的数据流称为管道,管道被抽象成一个文件,5.1
小节曾提及过管道文件(
pipe
)这样一种文件类型。
管道包括三种:
- 普通管道 pipe:通常有两种限制,一是单工,数据只能单向传输;二是只能在父子或者兄弟进程间使用;
- 流管道 s_pipe:去除了普通管道的第一种限制,为半双工,可以双向传输;只能在父子或兄弟进程间使用;
- 有名管道 name_pipe(FIFO):去除了普通管道的第二种限制,并且允许在不相关(不是父子或兄弟关系)的进程间进行通讯。
普通管道可用于具有亲缘关系的进程间通信,并且数据只能单向传输,如果要实现双向传输,则必须要使用两个管道;而流管道去除了普通管道的第一种限制,可以半双工的方式实现双向传输,但也只能在具有亲缘关系的进程间通信;而有名管道(FIFO)则同时突破了普通管道的两种限制,即可实现双向传输、又能在非亲缘关系的进程间通信。
10.4 信号
关于信号相关的内容在本书第八章中给大家介绍过,用于通知接收信号的进程有某种事件发生,所以可用于进程间通信;除了用于进程间通信之外,进程还可以发送信号给进程本身。
10.5 消息队列
消息队列是消息的链表,存放在内核中并由消息队列标识符标识,消息队列克服了信号传递信息少、管道只能承载无格式字节流以及缓冲区大小受限等缺陷。消息队列包括 POSIX 消息队列和
System V
消息队列。
消息队列是 UNIX
下不同进程之间实现共享资源的一种机制,
UNIX
允许不同进程将格式化的数据流以消息队列形式发送给任意进程,有足够权限的进程可以向队列中添加消息,被赋予读权限的进程则可以读走队列中的消息。
10.6 信号量
信号量是一个计数器,与其它进程间通信方式不大相同,它主要用于控制多个进程间或一个进程内的多个线程间对共享资源的访问,相当于内存中的标志,进程可以根据它判定是否能够访问某些共享资源,同时,进程也可以修改该标志,除了用于共享资源的访问控制外,还可用于进程同步。
它常作为一种锁机制,防止某进程在访问资源时其它进程也访问该资源,因此,主要作为进程间以及同一个进程内不同线程之间的同步手段。Linux 提供了一组精心设计的信号量接口来对信号量进行操作,它们声明在头文件 sys/sem.h
中。
10.7 共享内存
共享内存就是映射一段能被其它进程所访问的内存,这段共享内存由一个进程创建,但其它的多个进程都可以访问,使得多个进程可以访问同一块内存空间。共享内存是最快的 IPC 方式,它是针对其它进程间通信方式运行效率低而专门设计的,它往往与其它通信机制,譬如结合信号量来使用,以实现进程间的同步和通信。
10.8 套接字(Socket)
Socket 是一种
IPC
方法,是基于网络的
IPC
方法,允许位于同一主机(计算机)或使用网络连接起来的不同主机上的应用程序之间交换数据,说白了就是网络通信,在提高篇章节内容中将会向大家介绍 Linux系统下的网络编程。
在一个典型的客户端
/
服务器场景中,应用程序使用
socket
进行通信的方式如下:
- 各个应用程序创建一个 socket。socket 是一个允许通信的“设备”,两个应用程序都需要用到它。
- 服务器将自己的 socket 绑定到一个众所周知的地址(名称)上使得客户端能够定位到它的位置。