二进制信号量Q、S如何实现平等执行并产生进程饥饿？结合参考示例的疑问

基础认知：对信号量的理解偏差在哪 #

• 把二进制信号量等同于普通可增减变量是核心误解：每个二进制信号量的完整实现，除了0/1的状态标记，内核会为它绑定一个按入队顺序排序的阻塞等待队列
• 所有P(S)操作遇到信号量值为0的进程，都会被挂入对应队列，主动让出CPU进入阻塞态，不再参与调度；直到有进程执行V(S)操作时，内核才会从队列头唤醒一个等待进程，把信号量的持有权转移给它
• 所谓“把S让出给另一进程”，本质就是持有S的进程主动执行V(S)的过程：因为场景里固定只有两个进程，阻塞在S等待队列上的只会是对手进程，V操作触发的唤醒效果，就是直接把S的持有权转交给对方，不存在手动传递变量的过程

平等保障方案的执行逻辑 #

这个方案能实现执行权均等分配，核心是严格绑定了信号量的申请、释放顺序，完全从机制上堵死了单进程连续占有的可能：

• 双进程的通用操作流为：P(Q) → P(S) → 执行临界区任务 → V(S) → V(Q)回到循环顶部，两个信号量的初始值均为1
• 完整执行链路可以拆解为：
  • 进程首先申请Q的持有权，拿到Q之后再申请S的持有权，两个信号量都拿到之后才能进入临界区
  • 临界区执行结束后，优先执行V(S)释放S的持有权，再执行V(Q)释放Q的持有权
• 这个流程里根本不会出现单进程连续两次进入临界区的情况：当进程第一次执行完临界区、执行V(S)时，对手进程早已因为申请不到Q，阻塞在Q的等待队列上，根本没机会走到申请S的步骤；等进程接着执行V(Q)时，内核会立刻把阻塞在Q队列上的对手唤醒，对手拿到Q之后会自然走到申请S的步骤，刚好接住刚被释放的S的持有权，顺理成章进入自己的临界区。此时之前释放完Q的进程再回到循环顶部申请Q时，Q早已被对手拿走，只能进入Q的等待队列阻塞。

两类方案的核心差异，为什么平等版本不会出现垄断 #

易饥饿方案的操作链路 #

存在饥饿风险的方案，双进程的通用操作流为：P(Q) → 执行临界区任务 → V(S) → P(S) → V(Q)回到循环顶部，初始值为Q=1、S=0

• 这个流程的致命漏洞是：V(S)和P(S)是连续紧挨的操作，没有给其他进程留任何唤醒窗口。当进程执行完临界区、V(S)把S值设为1之后，会立刻执行P(S)把刚释放的S重新拿在手里，整个V操作产生的唤醒机会，直接被自己的下一个P操作消费掉了，根本没留给对手。
• 举个实际垄断场景：P0在自己的时间片里连续跑完所有流程——P(Q)拿权限、进临界区执行、V(S)释放S、P(S)重新拿S、V(Q)释放Q、回到循环头立刻再P(Q)拿权限、再次进临界区。整个过程里P1从来没被调度到，永远卡在申请Q的步骤上，自然会被饿死。

平等方案不会被垄断的根本原因 #

两种方案的核心差异，完全来自信号量释放后产生的唤醒机会归属逻辑：

• 易饥饿方案里，V(S)产生的唤醒机会是无主的，完全可以被发起V操作的进程自己接住，相当于自己给自己发下一轮的通行卡，没有强制让渡的约束
• 平等方案里，V(S)产生的释放动作，发生在V(Q)之前，等后续V(Q)触发唤醒对手进程时，对手本来就缺一个S就能进入临界区，这个释放的S会被对手自然接走。哪怕进程的运行速度再快，它也没法连续两次拿到S的持有权——因为S会在它释放Q之前，就被刚被唤醒的对手申请走，根本不存在抢回来的窗口。

内容的提问来源于stack exchange，提问作者Charles Zhang