信号量实现进程同步与互斥详解

信号量是一种用于实现进程间同步与互斥的经典机制由操作系统提供通过 Pwait和 Vsignal两个原子操作来管理。它本质上是一个整型变量或记录型变量记录了可用资源的数量并关联一个等待队列用于阻塞暂时无法获取资源的进程 。一、信号量的基本结构与操作信号量通常分为两种类型整型信号量仅有一个整数值用于表示资源数量但不记录等待进程可能导致“忙等” 。记录型信号量包含一个整型值value和一个进程等待队列queue是更常用的实现方式能有效避免忙等遵循“让权等待”原则 。记录型信号量的数据结构可抽象表示如下typedef struct { int value; // 当前信号量的值通常表示可用资源数 struct process *queue; // 指向因等待该信号量而阻塞的进程队列 } semaphore;Pwait操作和 Vsignal操作是信号量机制的核心它们必须是原子操作执行过程不可被中断。// P操作等待、申请资源 void P(semaphore *S) { S-value--; // 表示申请一个资源 if (S-value 0) { // 资源不足将当前进程插入S-queue阻塞队列 block(S-queue); // 该进程自我阻塞放弃CPU } } // V操作发信号、释放资源 void V(semaphore *S) { S-value; // 表示释放一个资源 if (S-value 0) { // 有进程在等待从S-queue中唤醒一个进程 wakeup(S-queue); // 唤醒一个等待进程使其进入就绪态 } }注上述代码逻辑展示了信号量操作的核心思想。在实际操作系统中这些操作由内核以系统调用的形式提供确保其原子性 。二、使用信号量实现进程互斥互斥用于确保临界资源一个时间段内只允许一个进程使用的资源如打印机、共享变量等被安全访问 。其关键是设置一个初始值为1的互斥信号量mutex将其视为进入临界区的“钥匙”。实现模型如下semaphore mutex 1; // 初始化互斥信号量为1表示钥匙可用 Process Pi() { while(1) { P(mutex); // 进入区尝试获取钥匙若被占用则阻塞 // 临界区 (Critical Section) // 访问共享资源/临界资源的代码段 V(mutex); // 退出区释放钥匙 // 剩余区 (Remainder Section) } }原理说明任何进程在进入临界区前必须先执行P(mutex)。当mutex1第一个进程执行P(mutex)后mutex变为 0该进程进入临界区。此时若第二个进程也执行P(mutex)mutex将变为 -1该进程被阻塞并放入等待队列。第一个进程退出临界区时执行V(mutex)mutex从 0 变回 0因value0它会唤醒等待队列中的一个进程。被唤醒的进程从P(mutex)中恢复完成value--此时value可能仍为负表示还有进程在等待然后进入临界区。这种方法严格保证了“忙则等待”有进程在临界区时其他进程阻塞和“空闲让进”临界区空闲时允许一个进程立即进入的互斥原则 。三、使用信号量实现进程同步同步用于协调合作进程之间的执行顺序即某些操作必须在另一些操作之后执行直接制约关系。通常设置一个初始值为0的同步信号量S。经典案例保证操作A在操作B之后执行假设有两个并发进程 P1 和 P2P1 中有一段代码AP2 中有一段代码B。要求A执行完成后B才能开始执行。semaphore syn 0; // 初始化同步信号量为0 Process P1() { // ... // 执行代码A printf(P1 executes operation A. ); V(syn); // 操作A完成发信号给P2 // ... } Process P2() { // ... P(syn); // 等待P1完成操作A的信号 // 执行代码B printf(P2 executes operation B after A is done. ); // ... }原理说明初始时syn0表示“事件A已完成”这个信号尚未发生。若 P2 先执行到P(syn)由于syn--后变为 -1P2 被阻塞。当 P1 执行完 A 后执行V(syn)使syn从 -1 变为 0并唤醒阻塞的 P2。P2 被唤醒后继续执行 B。从而保证了A→B的执行顺序。四、综合应用生产者-消费者问题生产者-消费者问题是同步与互斥结合的经典模型。它包含一个大小为 n 的缓冲区临界资源。两类进程生产者向缓冲区放产品和消费者从缓冲区取产品。三种关系生产者与生产者互斥访问缓冲区放置产品。消费者与消费者互斥访问缓冲区取走产品。生产者与消费者同步缓冲区满时生产者等待缓冲区空时消费者等待。解决方案需要三个信号量semaphore mutex 1; // 互斥信号量用于互斥访问缓冲区临界区 semaphore empty n; // 同步信号量表示空闲缓冲区数量初始为n semaphore full 0; // 同步信号量表示已填充缓冲区数量初始为0生产者和消费者的伪代码如下// 生产者进程 Producer() { while(1) { produce an item; // 生产一个产品 P(empty); // 申请一个空缓冲区若满则阻塞[同步] P(mutex); // 申请进入临界区互斥访问缓冲区[互斥] // 临界区开始 put item into buffer; // 将产品放入缓冲区 // 临界区结束 V(mutex); // 离开临界区释放锁 V(full); // 增加一个满缓冲区通知消费者 [同步] } } // 消费者进程 Consumer() { while(1) { P(full); // 申请一个满缓冲区若空则阻塞[同步] P(mutex); // 申请进入临界区互斥访问缓冲区[互斥] // 临界区开始 take item from buffer; // 从缓冲区取出产品 // 临界区结束 V(mutex); // 离开临界区释放锁 V(empty); // 增加一个空缓冲区通知生产者 [同步] consume the item; // 消费产品 } }关键点与注意事项互斥信号量mutex的初始值必须为 1以实现对缓冲区的互斥访问 。同步信号量empty和full的初始值分别对应缓冲区的初始状态全空和全满。P操作的顺序至关重要。在上例中必须先对同步信号量empty/full执行 P 操作再对互斥信号量mutex执行 P 操作。如果顺序颠倒先P(mutex)再P(empty)当缓冲区满时生产者会先获得缓冲区的锁然后发现没有空位而阻塞同时它又持有锁导致任何消费者都无法进入缓冲区取走产品从而形成死锁。V操作的顺序一般没有严格要求因为它们不会导致进程阻塞。五、信号量与其它互斥同步方法的对比方法核心思想优点缺点是否满足“让权等待”软件方法(如Peterson算法)通过共享变量和循环检查实现纯软件实现不依赖特殊硬件实现复杂可能违背“让权等待”忙等否硬件方法(如中断屏蔽、TSL/Swap指令)利用硬件指令的原子性实现上锁简单高效适用于多处理机通常不满足“让权等待”忙等否互斥锁 (Mutex Lock)提供acquire()和release()原子操作概念简单使用方便通常基于硬件实现也可能忙等取决于具体实现信号量机制通过P/V原子操作和等待队列管理资源功能强大既可实现互斥也可实现复杂的同步记录型信号量满足“让权等待”使用不当易造成死锁、优先级反转等问题记录型信号量是总结来说信号量机制是操作系统层面提供的强大工具。通过互斥信号量初始值1可以解决对临界资源的独占访问问题通过同步信号量初始值常为0或资源数可以解决进程间的执行顺序协调问题。在实际编程中如Linux下的System V IPC或POSIX信号量其接口如sem_wait,sem_post封装了底层的P/V操作但核心逻辑与上述一致 。正确理解并应用信号量是编写正确、高效并发程序的基础。参考来源操作系统8---进程的同步与互斥以及信号量机制万字总结~操作系统---(22)信号量机制解决同步互斥问题2.3进程的同步概念和经典同步互斥问题【Linux 系统】进程间通信共享内存、消息队列、信号量2.4 CPU管理--信号量和PV操作计算机四级 - 数据库原理操作系统部分- 第4章「并发与同步」