跟涛哥一起学嵌入式 15：Linux进程间通信10分钟快速入门

拼搏现实的明天。 2021-11-11 02:40 252阅读 0赞

在Linux环境下运行程序，无论是点击桌面上的一个图标，还是在命令行下敲击一个shell命令，Linux系统都会把我们的程序“包装”成一个进程的形式，然后调度运行：每个进程轮流占用CPU一段时间去执行，时间到了就让给其它进程，时间片轮转，只要轮转得速度足够快，就会给用户一种错觉：我们在电脑上一边听歌，一边打字，感觉多个程序在同时运行。不同进程在运行过程中，根据业务需要，进程相互之间也会通信：比如传输数据、发送信号等。  
  
Linux环境下的进程间通信(Inter-Process Communication，简称IPC)有多种工具可以使用，如：无名管道pipe、命名管道FIFO、消息队列、共享内存、信号量、信号、文件锁、socket等。这些IPC工具以系统调用或库函数API的形式提供给用户使用：用户使用这些API可以在不同的进程之间传输数据、同步进程、或者发送信号。比如，我们可以使用ctrl+C组合键去终止一个进程，或者使用shell命令kill 3567去杀死一个进程pid为3567的进程，这些其实都是给进程发送信号，进程接收信号并进行处理的过程。  
  
不同的IPC工具，使用场合不同，各有优劣。为了更好地使用它们，我们不仅要熟练掌握API接口的使用，还要对它们的通信机制、内核实现原理有一个大致的了解。只有掌握了底层的实现原理、我们才能明白每个IPC通信工具的优点和缺点、以及他们的使用场合。想要真正理解Linux进程之间到底是如何通信的，首先要搞明白Linux下的不同进程在运行过程中，在内存中是以什么样的形态存在的，以及与Linux内核之间是如何交互的。想要理解这点，我们还需要对Linux环境下程序的编译、执行过程有一个大概的了解。  
  
  
  
**1   程序的编译和执行**  
  
当我们在桌面上点击一个图标，或者在命令行下敲击一个shell命令运行时，Linux系统会把这些可执行文件加载到内存，并封装成一个进程，然后才能参与操作系统的调度、运行。那操作系统是如何加载的呢？

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70][]

首先，我们编写的C语言源代码会编译成一个可执行文件(ELF)。可执行文件分由各种不同的段(section)组成：代码段、数据段、BSS段等。我们C程序中的不同代码会被编译到不同的段中：函数实现会放到代码段；全局变量、静态局部变量会放到数据段；未初始化的全局变量会放到BSS段中......  
  
加载器加载程序到内存执行，一般分2步走：第一步，会首先使用fork去创建一个子进程，每个子进程有4G的虚拟地址空间。第二步，从磁盘上软件安装的位置，去读取可执行文件的头部：ELF header，获取各个段的信息，然后分别将不同的段加载到进程空间的不同位置，如上图所示。  
  
在一个计算机系统中，通常会有多个进程同时运行，每一个进程差不多都是通过上面这种 fork-exec 的方式运行的。当运行的进程多了，每个进程都想霸占CPU、独享CPU，CPU的资源就不够用了，这个时候操作系统就开始登场了。操作系统扮演一个调度者的角色，协调各个进程轮流占用CPU运行。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 1][]

如上图所示，对于用户运行的不同进程，在内核空间，会有一个专门的数据结构来表示：task\_struct。这个结构体描述了进程的各种信息，不同的task\_sruct结构体通过链表串起来，内核通过链表就可以对这些进程进行管理。操作系统会有一个叫调度器的核心组件，每隔一段时间(一般是毫秒级)会有一个定时器中断，Linux调度器就会把正在运行的进程从CPU上赶下来，接着让另一个进程去执行，如此反复，周而复始。只要CPU的速度足够快、轮流执行的频率足够高，对于用户来说，就感觉多个程序同时运行。  
  
  
  
  
**2   进程的地址空间**  
  
每一个进程，都有一个4G大小、独立的虚拟地址空间，然后通过页表映射，映射到物理内存的不同位置上。CPU执行不同的进程时，根据每个进程的映射页表，就会到其对应的物理内存上一条一条地取指令、翻译指令、运行指令。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 2][]

如上图中的进程A和进程B，它们在内存中有相同的4G虚拟地址空间，但是每个进程通过各自的页表映射，就映射到了物理内存中的不同位置。也就是说，每个进程的虚拟地址空间虽然是相同的，但是它们在物理内存空间上却是相同隔离的、相互独立的。在每个进程的4G虚拟地址空间中，\[0，3G\]这段地址空间是每个进程独有的，而\[3G,4G\]这段空间是被内核占用的，不同进程的\[3G,4G\]这段空间都被内核占用。内核本身在运行时，在物理内存上也会有自己单独的存储空间。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 3][]

**3   Linux进程间通信的三种方法**  
  
  
通过上面的学习我们可以看到，用户空间的不同进程，它们在时空上是相互隔离、相互独立的，如同黑夜和白天，太阳和月亮，永远不会见面，老死不相往来。但万事没有绝对，各个进程之间如果真想通信，还是有方法的，如下图所示。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 4][]

用户空间的每个进程虽说在物理内存空间上是相互隔离、相互独立的，但通过内核空间这一共享区域，它们还是可以相互通信的。只要内核愿意、提供一些空间，不同的进程之间就可以对这块内存空间读写数据，达到进程间通信的目的。磁盘也是公共存储空间，不同进程也可以通过往磁盘上某个指定的文件读写数据完成进程间的通信。除此之外，不同的进程之间，如果事先商量好，也可以绕过内核，通过内存映射，在物理内存上建立一片共享内存，直接进行通信。  
  
  
  
**4   无名管道pipe通信机制**  
  
  
以Linux的无名管道pipe通信机制为例：无名管道常用于有血缘关系的进程之间的通信，我们可以通过pipe系统调用去创建一个管道：  
int pipe (int pipefd\[2\]);

该函数会创建一个管道，这个管道有两个文件描述符，一个用来读，一个用来写，不同进程可以通过读写描述符对这个管道进行读写，达到进程间通信的目的。

![watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 5][]

无名管道在内核中的实现其实很简单，就是Linux内核空间的一片缓冲区，通过pipefs机制把它封装成一个文件的形式，留出文件的读写接口：文件描述符给用户空间进程。用户空间的不同进程通过这一对读写描述符就可以对管道进行读写。

![20190804062757897.png][]

**5   更多的进程间通信工具**  
  
  
除了无名管道外，Linux提供了很多进程间通信的工具可以使用，比如：命名管道FIFO、信号量、消息队列、共享内存、信号signal、socket、Dbus等。不同的IPC工具有各自的优缺点、使用场合。比如无名管道只能用于亲缘关系的进程间通信，命名管道PIPE解决了这一局限，支持任意两进程之间的通信；消息队列可以支持有数据格式的通信，共享内存效率最高，但是需要跟信号量、锁等同步机制结合使用；信号主要用于进程间的异步通信，也是唯一的一种异步通信机制。  
  
每一种IPC通信工具，都有自己的优缺点、使用场合和局限，我们只有全面了解和掌握各个IPC工具的使用，知晓其优缺点，才能在实际的工作中根据需要，选择合适的通信机制。除了这些POSIX/system V标准接口定义的IPC工具外，Linux系统还扩展了一些自己独特的API，如signalfd、timerfd等，解决了信号通信机制的一些缺陷。想要进一步了解这些IPC工具接口的使用和实现机制，可以关注教程：《Linux系统编程》第05期：进程间通信，目前已经录制完毕，已在CSDN学院发布，详情请点击：[Linux系统编程第05期：进程间通信][Linux_05]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70]: /images/20211109/4c4f620968bf433c8049e4b2acb8555b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 1]: /images/20211109/586a7dc9661b4db2a86d8b96ef6ff370.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 2]: /images/20211109/e57933eff11846c79f77bcae9726ba4b.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 3]: /images/20211109/ee56f937c044434b9ca3760019a63344.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 4]: /images/20211109/aed2f8af626542ec8d684077a36eafcf.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3poYWl4dWVidWx1bw_size_16_color_FFFFFF_t_70 5]: /images/20211109/cb6b5d9eb4804602854f6e45755df0a8.png
[20190804062757897.png]: /images/20211109/6774c094f1274f3ebdb06f8de6b89fe2.png
[Linux_05]: https://edu.csdn.net/course/detail/25527