Linux 进程间通信进阶：消息队列与信号量实战

注意： 本节重点在于理解信号量的本质，具体的线程同步细节将在后续章节展开。

8.1 核心概念梳理

8.1.1 共享资源与临界资源

多进程通信的核心挑战在于如何让不同进程看到同一份资源。当多个执行流并发访问公共资源时，容易出现错误。我们将这些能被多个进程看到的资源称为共享资源；而被保护起来、避免冲突的资源则称为临界资源。

8.1.2 互斥与同步

• 互斥：任何时刻只允许一个执行流访问资源。比如 ATM 机取钱、上厕所关门，不想被别人打扰。
• 同步：要求多个进程按特定顺序执行。比如一个进程在等另一个进程完成某项任务后再继续。

公式： 互斥 + 同步 + 共享资源 = 临界资源（被保护的共享资源）

8.1.3 程序员的视角

作为开发者，我们关心的是代码如何访问这些资源。以父子进程打印日志为例，由于 Linux 下一切皆文件，stdout 是一个共享资源。如果没有保护机制，父子进程的输出会交错错乱。这就是典型的并发问题，需要通过同步与互斥机制来解决。

8.1.4 临界区

站在代码层面，访问公共资源的代码段被称为临界区，不访问的则是非临界区。进入临界区前加锁，离开时解锁，这是保护临界资源的标准做法。

8.2 信号量的三个关键问题

学习信号量时，我们可以沿用'是什么、为什么、怎么办'的思路。

8.2.1 是什么？

很多教材将其翻译为'信号灯'。本质上，它是实现同步和互斥的一种技术，常用于公共资源的整体访问或局部使用场景。

8.2.2 本质

信号量本质上是一个计数器。想象成一个 int count，用来衡量临界资源中剩余资源的数量。

8.2.3 通俗理解

拿电影院买票举例。座位是资源，票是凭证。买票的本质是对共享资源的预定机制。只要买了票，座位就归你，其他人不能占。对应到代码，申请信号量相当于 P() 操作（减计数），释放相当于 V() 操作（加计数）。

8.2.4 极端情况思考

如果放映厅只有一个座位呢？这就变成了严格的互斥问题，信号量初始值为 1，确保同一时间只有一个人能进入。

8.2.5 为什么要用？

因为存在并发访问问题。多进程访问共享资源时，读写冲突不可避免，信号量是为了解决这个问题而生的。

8.2.6 怎么做？——接口详解

我们需要了解如何创建和操作信号量。

1. 创建信号量集 使用 semget 系统调用。操作系统允许创建信号量集，即一组相关的信号量。

2. 信号量集结构 信号量集包含多个信号量，每个都有独立的索引。

3. 删除信号量 使用 semctl 配合 IPC_RMID 标志。

4. 获取与初始化 semctl 不仅用于删除，还可以获取信息或设置初始值。例如获取信号量集的创建时间等信息，需要用到 struct semid_ds。

5. 操作信号量 核心操作是 semop。它需要一个 sembuf 结构体数组来描述操作。

#include <sys/sem.h>

// 假设已经通过 semget() 获得了一个信号量集的标识符 semid
struct sembuf sb;

// 对信号量集索引为 0 的信号量执行 P 操作（获取资源）
sb.sem_num = 0;      // 第 1 个信号量
sb.sem_op = -1;      // 想要减少 1 (P 操作)
sb.sem_flg = SEM_UNDO; // 进程退出时自动还原

if(semop(semid, &sb, 1) == -1){
    perror("semop"); // 错误处理
} else {
    // 成功获取资源，可以进入临界区
}

总结： sem_num 指定操作哪个信号量，sem_op 定义增减值或等待条件，sem_flg 控制阻塞行为。这三个成员共同决定了 semop() 的行为，是实现进程同步与互斥的基础。

提示： 信号量的创建和空间开辟是分开的步骤，使用时需注意生命周期管理。