信号量是否维持等待顺序？多线程优先级竞争调度问题问询

这个问题问到点子上了——信号量的唤醒逻辑其实没有统一的标准答案，核心取决于你使用的操作系统和信号量的具体实现，下面给你拆解两种最常见的情况：

1. 按等待顺序（FIFO）唤醒 #

如果操作系统的信号量等待队列是严格遵循「先调用sem_wait()先获得」的公平队列逻辑，那即使t2优先级更高，因为t3更早调用了sem_wait()，t3会被优先唤醒并获取信号量。这种模式多见于一些强调调度公平性的嵌入式系统或特定配置的操作系统。

2. 按线程优先级唤醒 #

绝大多数现代通用操作系统（比如Linux、Windows）的线程调度是优先级优先的。当信号量被t1释放后，调度器会直接从等待该信号量的线程队列里挑出优先级最高的那个线程唤醒，完全忽略它的等待顺序。这种情况下，t2优先级高于t3，哪怕t3先调用了sem_wait()，t2会被优先唤醒并获取信号量。

关键提醒 #

POSIX标准并没有强制要求信号量必须采用哪种唤醒策略，所以具体行为是平台相关的。如果你写的代码需要依赖明确的唤醒顺序，千万不要赌默认行为——最好通过额外的同步逻辑（比如结合优先级队列、显式的调度控制）来保证预期的执行顺序。

另外你提到mutex的行为未定义，这点没错：普通mutex的等待队列顺序在POSIX里是未指定的，哪怕是支持优先级继承的mutex，也只是保证高优先级线程不会被低优先级线程阻塞，但不保证等待顺序；而信号量的行为虽然也依赖实现，但不同平台的文档通常会明确说明它的唤醒策略，这点比普通mutex更有迹可循。

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