摘要
本文以经典的公共洗衣房调度问题为例，深入浅出地剖析了操作系统中并发控制的两大基石：同步 (Synchronization)和互斥 (Mutual Exclusion)。我们将通过 C 语言风格的伪代码，详细演示如何使用 POSIX 信号量（P/V 操作）高效地解决资源竞争和流程依赖问题，确保多线程/多进程应用的稳定性和性能。
一、引言：为什么你需要信号量？
在多线程编程中，资源共享和任务协作是核心挑战。一旦处理不当，轻则数据错乱，重则发生死锁。信号量作为一种强大的并发原语，能够精确控制对共享资源的访问，并协调线程间的执行顺序。
本文基于以下一个常见的资源调度问题进行讲解：
场景：公共洗衣房调度
任务依赖（同步）：衣服必须洗完才能烘干。
资源竞争（互斥）：烘干机只有一台，多线程需要排队访问。
二、核心概念解析：同步与互斥的本质区别
在解决并发问题时，首先要区分两个概念：
1. 互斥 (Mutual Exclusion)
目的：保护共享资源（即临界区），确保任何时刻只有一个线程访问。
信号量类型：互斥信号量（Mutex），初始值必须为 1。
应用：保护稀缺资源，如烘干机、共享数据库连接等。
2. 同步 (Synchronization)
目的：控制事件的执行顺序，解决任务之间的依赖关系（A 必须在 B 之前）。
信号量类型：同步信号量，通常初始值为 $0$。
应用：解决生产者-消费者问题、读者-写者问题中的流程协调。
三、信号量实现：同步优先，互斥在后
我们使用 C 语言风格的 POSIX 信号量 ($\text{sem\_t}$) 来构建这个流程。
1. 资源定义
// Mutex Semaphore: Protects the single dryer. Initial value 1. sem_t M_dryer; // Synchronization Semaphores: Used by Customer i to wait for wash completion. Initial value 0. sem_t S_washer_finished[NUM_CUSTOMERS];2. 阶段一：同步控制（洗衣完成）
此阶段控制“洗涤完成”这一事件的通知和等待。
| 角色 | 操作 | 函数 | 信号量值变化 | 目的 |
| 洗衣机（完成事件） | V 操作 (Post) | sem_post | $0 \rightarrow 1$ | 发送信号：宣布任务完成。 |
| 顾客（接收通知） | P 操作 (Wait) | sem_wait | $1 \rightarrow 0$ | 等待信号：确认信号已接收，并继续执行。 |
伪代码逻辑：
// Simulate washing machine running... sleep(random_wash_time); // V Operation (Synchronization): Signal wash completion sem_post(&S_washer_finished[customer_id - 1]); // P Operation (Synchronization): Consume the signal and proceed sem_wait(&S_washer_finished[customer_id - 1]); // *** Synchronization Complete ***关键点：V 操作必须在 P 操作之前执行（在sleep之后），以避免线程陷入永久阻塞。
3. 阶段二：互斥控制（烘干机）
此阶段保护烘干机资源，确保同一时间只有一个顾客访问。
| 状态 | 操作 | 函数 | 信号量值变化 | 目的 |
| 申请访问 | P 操作 (Wait) | sem_wait | 1 \rightarrow 0$ | 获取锁：进入临界区，如果为 $0$ 则阻塞等待。 |
| 释放资源 | V 操作 (Post) | sem_post | $0 \rightarrow 1$ | 释放锁：唤醒其他等待的线程。 |
伪代码逻辑：
// P Operation (Mutual Exclusion): Acquire the dryer lock sem_wait(&M_dryer); // --- CRITICAL SECTION START: Using the unique dryer --- sleep(random_dry_time); // --- CRITICAL SECTION END --- // V Operation (Mutual Exclusion): Release the dryer lock sem_post(&M_dryer);四、总结与展望
通过洗衣房案例，我们掌握了信号量在并发编程中的两种核心用法：用初始值 1 的信号量实现对共享资源的互斥访问；用初始值 0 的信号量实现对事件顺序的依赖同步。
理解并熟练运用 text{P} 和 text{V} 操作，是编写高效、健壮多线程应用程序的关键。
