进程之间如何通信：共享存储、消息传递与管道

每个进程通常拥有自己的地址空间和资源边界。这样的隔离让一个程序出错时，不会轻易覆盖另一个程序的内存，也让操作系统能够分别记录它们打开的文件、使用的处理器时间和权限。隔离提高了安全性，却也带来一个直接问题：进程 A 写入自己的内存，进程 B 默认看不到这段内容。

但真实系统中的任务很少完全独立。一个进程可能负责采集数据，另一个负责处理，第三个负责保存结果；父进程还需要把任务分配给子进程，并获知子进程是否完成。进程间通信，也就是 IPC，正是操作系统提供的一组受控通道，让隔离的进程能够交换数据和协作。

共享存储的思路是：由操作系统为通信进程建立一块可以共同访问的内存区域。进程 A 把数据写入这块区域，进程 B 再从同一块区域读取。数据不必在两个独立地址空间之间反复复制，因此共享存储通常具有很高的通信效率，适合交换较多数据。

共享存储并不等于不需要管理。两个进程同时读写同一位置时，仍然需要约定数据什么时候写完、什么时候可以读取，以及谁负责清理区域。共享区域越大，能传递的信息越多；共享边界越模糊，越容易出现旧数据、覆盖和读写顺序混乱。

消息传递不要求通信双方直接访问同一块用户空间。发送进程把一条消息交给操作系统，接收进程再通过接收操作取走消息。内核可以把消息暂存在消息缓冲区或消息队列中，因此发送方和接收方不必在同一时刻运行，也不必共享完整的地址空间。

这种方式的边界更清楚：发送者负责发送一条结构明确的消息，接收者负责按约定读取它。代价是数据需要经过内核，并受到消息大小、队列容量和系统调用的限制。消息队列适合传递控制命令、状态变化和较小的任务描述，不适合无节制地搬运大块数据。

直接通信中，发送进程明确指定接收进程，把消息交给对方的消息缓冲区。两边的关系比较清楚，适合通信对象固定、协作关系稳定的场景。发送方和接收方需要约定消息格式，也要考虑接收进程暂时没有运行时消息如何保存。

间接通信中，发送方先把消息放入一个中间实体，接收方再从这个实体取走。这个中间实体可以理解为信箱或消息队列。它让发送者和接收者不必彼此直接绑定，但也增加了队列管理、容量控制和生命周期处理的问题。

管道是一种常见的进程通信方式，可以把一个进程的输出连接到另一个进程的输入。发送进程把数据写入管道，接收进程从管道读出数据。管道中的数据通常遵循先进先出的顺序，读出来后就从缓冲区中移除，空间随后可以接收新的数据。

管道更像一条数据流，而不是一组可以随机访问的记录。读写两端需要事先约定数据格式，例如一行是否代表一条消息、字段如何分隔、什么时候表示结束。管道适合把多个处理步骤串起来，但它的传输方向、容量和数据组织方式都比较明确，不适合所有通信场景。

匿名管道通常没有持久的名字，常用于有亲缘关系的进程之间，例如父进程和子进程。它的生命周期往往和相关进程绑定，创建和使用都比较直接。命令行中的竖线就是这种数据流思想的典型体现：前一个命令的输出成为后一个命令的输入。

命名管道则通过一个可以被不同进程找到的名字或文件系统对象建立通信关系。没有亲缘关系的进程也可以依据这个名字打开管道并交换数据。命名带来了更大的使用范围，同时也需要处理权限、清理和多个读写者之间的协作。

选择 IPC 方式时，不能只问哪一种最快。共享存储减少了数据复制，适合大块数据，但同步责任更多地落在通信双方；消息传递边界清晰、隔离性较好，适合命令和事件，但会受到内核转发与消息大小的影响；管道使用简单，适合有明确顺序的数据流，却不适合复杂的随机访问。

还要看通信双方是否有亲缘关系，数据量是大还是小，是否需要双向交互，发送和接收是否同时发生，以及通信对象是否会动态变化。把这些条件说清楚，比背诵某种方式“最好”更有用。操作系统提供的是工具，真正的取舍取决于任务之间的关系。

当接收方暂时没有消息可读时，接收操作可能让进程等待；当管道或消息队列已经写满时，发送方也可能暂时停下。这样的阻塞并不是进程出错，而是通信双方速度不一致时，操作系统对资源和顺序的自然协调。一个进程暂停等待，处理器可以转去运行其他就绪任务。

缓冲区的大小会影响这种等待。缓冲太小，发送者和接收者需要更频繁地互相等待；缓冲太大，又会增加内存占用和积压数据的风险。设计通信协议时，除了定义消息内容，还要约定队列满、接收超时、发送失败和通信结束等情况。

进程间通信解决的是“彼此隔离的运行实体如何交换信息”。共享存储让双方看到同一块数据区域，消息传递让内核代为转发一条条消息，管道则把一个进程的输出连到另一个进程的输入。它们的差别来自数据是否共享、是否经过内核转发，以及通信关系是否固定。

学习任何一种 IPC 机制时，都可以沿着四个问题观察：数据放在哪里，谁负责写入，谁负责读取，通信结束后谁负责清理。再加上容量、顺序、阻塞和权限这几个条件，复杂的通信概念就能还原成一组具体的资源管理问题。