这一篇只把"进程间通信"这件事讲透：它是什么、为什么需要、有哪些方式、各自怎么选。至于每种方式的具体原理、API 和代码实战，会在后续文章中逐篇展开，敬请关注。
一、从一个问题说起：进程为什么"老死不相往来"？
先做一个简单的实验。打开终端，写下这样一段 C 代码：
// why_ipc.c —— 一个"注定失败"的全局变量通信尝试 #include <stdio.h> #include <unistd.h> int global_value = 100; // 全局变量，子进程能共享吗？ int main(void) { pid_t pid = fork(); if (pid == 0) { /* 子进程：修改全局变量 */ global_value = 999; printf("Child sees global_value = %d\n", global_value); return 0; } else { /* 父进程：稍微等一下再看 */ sleep(1); printf("Parent sees global_value = %d\n", global_value); } return 0; }编译运行，你猜会输出什么？
gcc -Wall -o why_ipc why_ipc.c && ./why_ipc结果是：
Child sees global_value = 999 Parent sees global_value = 100子进程明明把global_value改成了 999，父进程读到的却还是 100。为什么？
因为fork()创建子进程时，采用的是写时复制（COW，Copy-On-Write）：子进程先与父进程共享同一份物理内存，一旦子进程试图修改数据，内核就会为它复制一份独立的内存副本。从此父子进程各自持有自己的global_value，修改互不影响。
这就是操作系统进程隔离的核心：每个进程都拥有独立的虚拟地址空间，进程 A 的 0x1000 地址和进程 B 的 0x1000 地址，根本不是同一块物理内存。
这种隔离是安全的根基：一个进程崩溃、被攻击、或者内存越界，都影响不到其他进程。但代价是——进程之间无法直接交换数据了。于是，操作系统提供了一系列"桥"，让进程在保持隔离的同时还能协作，这些"桥"统称为进程间通信（IPC）。
二、什么是进程间通信（IPC）
进程间通信（IPC，Inter-Process Communication），是指操作系统提供的、在多个进程之间传输数据和交换信息的一组机制。
IPC 要解决的，本质上是两类问题：
| 要解决的问题 | 含义 | 典型机制 |
|---|---|---|
| 传输数据 | 把一份数据从一个进程安全地送到另一个进程 | 管道、消息队列、共享内存、Socket |
| 同步控制 | 让多个进程在时间上协调配合，避免互相踩踏 | 信号量、信号 |
两个进程要一起干活，无外乎两种协作模式：
- 分工干活：你算 A 部分，我算 B 部分，最后把结果汇总——需要传数据；
- 排队干活：你干完我再干，或者我负责生产你负责消费——需要同步。
IPC 就是为这两种需求服务的。实际工程中，通常数据传递 + 同步控制配合使用，比如"共享内存传大块数据 + 信号量保证读写顺序"。
三、为什么不能用"全局变量"来通信？
很多初学者会问：既然进程需要共享数据，为什么不用全局变量、或者把数据放到一个公共文件里读写？
回答分两层：
1. 全局变量在进程间是"假共享"。如开头实验所示，进程各自有独立的地址空间，全局变量在每个进程里都是独立副本，修改互不可见。这恰恰是进程隔离要保证的。
2. 共享一个文件也行，但问题很多。两个进程同时读写同一个文件，会出现：
- 并发写互相覆盖（缺少原子性）；
- 没有消息边界，不知道读到哪算一条完整数据；
- 磁盘 IO 慢，性能极差；
- 数据不落盘的话还要自己维护缓存。
IPC 机制正是操作系统专门设计的"带同步、带边界、高性能"的进程协作方案，比"开个文件互相读写"严谨得多。
一句话：进程之间天然共享不了变量，只能通过操作系统提供的 IPC 通道来交流。
四、IPC 方式全景图
Linux 下的 IPC 机制经过几十年发展，形成了"两大体系 + 网络通信"的格局：
各家机制可以归纳成一张总表：
| 类别 | 代表机制 | 一句话概括 | 通信模型 |
|---|---|---|---|
| 数据传输 | 匿名管道 / 命名管道 | 最古老的字节流管道 | 单向、流式 |
| 数据传输 | 消息队列 | 有类型的消息块 | 双向、按类型 |
| 共享存储 | 共享内存 | 最快的零拷贝共享 | 直接读写 |
| 同步控制 | 信号量 | 计数器式的同步原语 | 互斥/同步 |
| 事件通知 | 信号 | 异步通知，只传编号 | 单向、异步 |
| 网络通信 | Socket | 能力最全面的通道 | 双向、可跨主机 |
五、六种 IPC 机制一句话定位
先给大家一个整体印象，每种机制的细节后面单篇展开：
① 管道（Pipe）像一根真实的管子，一端写、一端读，数据先进先出。匿名管道只能父子进程用，命名管道（FIFO）任何进程都能用。适合简单的流式数据传输。
② 消息队列（Message Queue）把数据打包成"有类型、有边界"的消息。接收方可以只取某一种类型的消息，天然适合任务分发。数据经过内核，性能中等。
③ 共享内存（Shared Memory）把同一块物理内存映射到多个进程，大家直接读写，零拷贝、性能最高。但它不负责同步，必须配信号量使用。
④ 信号量（Semaphore）一个计数器，专门用来同步：控制多个进程互斥地访问共享资源，或者实现"我生产你消费"的协作关系。它是共享内存的最佳搭档。
⑤ 信号（Signal）一种异步事件通知：进程收到信号后打断当前工作，去执行处理函数。只能传一个整数编号，传不了大块数据，适合做"提醒"和"唤醒"。
⑥ Socket原本为网络设计，但本机进程也能用（Unix Domain Socket），还能跨主机通信（TCP/UDP）。能力最全面，是高性能中间件（Redis、Nginx 等）本地通信的首选。
记忆口诀：小数据用管道，有类型用队列，大数据用共享内存，跨机器用 Socket，要同步找信号量，只提醒发信号。
六、如何快速选型？
选型其实就三步：
第一步：先看是否跨主机。跨主机只有 Socket（TCP/UDP）可选，其余全部出局。
第二步：再看数据量级。
- 小数据、流式 → 管道 / 消息队列；
- 大块数据、高性能 → 共享内存（务必配信号量）；
- 需要高并发连接 → Unix Domain Socket。
第三步：最后看同步需求。凡是多个进程同时访问同一资源，都别忘了同步——共享内存 + 信号量是经典组合，Socket 则通常配合 IO 多路复用（epoll）。
一张速查表送给你：
| 场景 | 推荐方案 |
|---|---|
| 父子进程传简单数据 | 匿名管道 |
| 无亲缘进程传流式数据 | 命名管道 FIFO |
| 按类型分发任务 | 消息队列 |
| 大块数据、极致性能 | 共享内存 + 信号量 |
| 只做事件通知 | 信号 |
| 本机高并发服务通信 | Unix Domain Socket |
| 跨主机通信 | TCP / UDP Socket |
七、本篇总结
最后用三句话收尾本篇：
- 进程天然隔离——每个进程有独立地址空间，全局变量在进程间是"假共享"，这是 IPC 存在的根本原因；
- IPC 解决两类问题——传输数据（管道、消息队列、共享内存、Socket）和同步控制（信号量、信号）；
- 选型有规律——跨主机只能 Socket；大数据量用共享内存；同步必配信号量。
