进程间通信有哪些常见方式？各自优缺点是什么？

Question

进程间通信（IPC）常见方式包括：管道（Pipe/FIFO）、消息队列、共享内存、信号量、信号、套接字（Socket）和内存映射（mmap）。 管道适用于父子进程单向通信，简单轻量但无随机访问、容量受限；消息队列支持异步、类型化消息，但存在系统调用开销与消息大小限制；共享内存性能最优，适合大数据量交换，但需配合同步机制（如信号量）避免竞态；信号量仅用于同步，不传数据；信号适合简单通知，但不可靠且易丢失；Unix域套接字灵活可靠，支持双向通信与权限控制，但编程稍复杂；mmap兼具共享内存与文件I/O能力，但跨进程同步仍需额外机制。 实际开发中常混淆适用场景：例如误用信号做高频状态同步（应选共享内存+信号量），或忽视消息队列的内核队列长度限制导致阻塞。如何根据数据规模、实时性、耦合度与安全性合理选型，是IPC落地的核心难点。

Answer 1

```html

一、基础认知：IPC七种机制的本质与边界

进程间通信（IPC）不是“工具箱随便挑”，而是操作系统内核提供的语义契约。每种机制在设计之初就锚定了其核心职责：

• Pipe/FIFO：内核维护的字节流环形缓冲区（通常64KB），仅支持单向、顺序读写，无消息边界，父子/兄弟进程血缘绑定；
• 消息队列（POSIX/SysV）：内核中带类型标签（long mtype）的消息链表，支持优先级投递，但单条消息上限常为8192字节（/proc/sys/fs/mqueue/msgsize_max）；
• 共享内存（shmget/mmap SHM_ANONYMOUS）：物理页直接映射，零拷贝，吞吐达GB/s级，但纯数据容器，无同步能力；
• 信号量（sem_wait/sem_post）：原子计数器，仅用于互斥/同步，不承载任何业务数据；
• 信号（SIGUSR1等）：异步软中断，仅传递1个整数（sigval.sival_int），不可靠、无排队、易丢失；
• Unix域套接字（AF_UNIX）：文件系统路径寻址，支持SOCK_STREAM（可靠有序）与SOCK_DGRAM（无连接），可setsockopt控制权限（chmod /tmp/mysock.sock 600）；
• mmap（文件-backed或匿名）：将文件或内存页映射为进程虚拟地址空间，支持随机访问+持久化，跨进程需配合flock或POSIX semaphores。

二、决策矩阵：四维选型评估模型

面向生产环境，我们构建如下决策坐标系，覆盖数据规模、实时性、耦合度、安全性四大刚性约束：

IPC机制	数据规模适配	端到端延迟（μs级）	进程耦合度	安全控制粒度
Pipe	<1MB（缓冲区满则阻塞）	~5–20	强（需fork继承）	无（依赖父进程权限）
消息队列	1KB–64KB/消息	~30–100	弱（key/ID解耦）	IPC权限位（600/660）
共享内存	MB–GB（无拷贝瓶颈）	<1（纯内存访存）	中（需约定shmid/key）	需额外seccomp/bpf限制
Unix Socket	任意（流控自适应）	~15–50	弱（路径/抽象命名空间）	文件权限 + SELinux上下文

三、典型反模式与工程修复方案

以下为高阶开发者仍高频踩坑的场景，附可落地的修复代码骨架：

1. 误用信号同步状态：
   ❌ 错误：用kill(pid, SIGUSR1)高频通知“数据已更新”；
   ✅ 修复：改用共享内存+POSIX信号量
   

   // 进程A写入后：
   sem_wait(&sem);
   memcpy(shm_ptr, data, size);
   sem_post(&sem); // 原子唤醒
   // 进程B轮询改为：sem_wait(&sem); /* 阻塞等待 */

2. 消息队列溢出阻塞：
   ❌ 忽略msg_qbytes限制（默认16KB），导致msgsnd()永久挂起；
   ✅ 修复：设置非阻塞+超时重试
   

   struct msqid_ds buf;
   msgctl(msqid, IPC_STAT, &buf);
   // 若剩余容量<1KB，触发降级日志告警

四、架构演进：从单机IPC到混合通信范式

现代系统已突破单一IPC范式，形成分层协作架构：

graph LR
  A[业务逻辑] -->|小控制指令| B(UNIX Socket)
  A -->|高频状态快照| C[Shared Memory + SeqLock]
  A -->|审计日志| D[(Syslog via AF_UNIX)]
  A -->|跨节点扩展| E[ZeroMQ/GRPC over TCP]
  C --> F[Reader进程 mmap只读映射]
  B --> G[ACL鉴权中间件]

五、终极选型口诀（供团队规范引用）

牢记以下六句口诀，覆盖95%场景：

1. 父子传参选Pipe，兄弟通信用FIFO；
2. 类型消息且异步，消息队列是首选；
3. 百MB以上吞吐压，共享内存加信号量；
4. 需要双向流控和权限，Unix Socket不能少；
5. 既要内存共享又要落盘，mmap file-backed最稳；
6. 状态通知勿用Signal，除非你真懂sigwaitinfo。

所有IPC最终都服务于业务SLA——延迟敏感型系统优先压测共享内存+SeqLock的P99抖动，而金融级系统必须审计所有AF_UNIX socket的SO_PEERCRED凭证。

```