pthread互斥锁是否采用FIFO队列管理等待线程？场景验证

首先得明确：POSIX标准并没有强制要求pthread互斥锁的等待队列必须遵循FIFO顺序。这意味着默认情况下，当线程1解锁互斥锁时，等待的线程2和线程3谁能先拿到锁，是由具体的操作系统实现决定的——有的实现可能用FIFO，有的可能用其他策略（比如优先级驱动、随机唤醒，甚至会考虑线程的调度优先级）。

那什么时候能保证FIFO呢？如果你需要严格的先进先出顺序，必须在初始化互斥锁的时候显式指定公平锁属性。具体来说，你需要：

• 创建一个pthread_mutexattr_t属性对象
• 调用pthread_mutexattr_settype(&attr, PTHREAD_MUTEX_FIFO_NP)（不同系统可能有细微差异，比如部分系统用PTHREAD_MUTEX_FAIR）
• 用这个属性初始化互斥锁pthread_mutex_init(&mutex, &attr)

只有在这种情况下，当线程1解锁时，最早等待的线程2才会必然成为下一个获取互斥锁的线程。如果是默认的互斥锁类型（通常是PTHREAD_MUTEX_DEFAULT），线程2并没有绝对的优先级，操作系统可能根据调度算法选择线程3，或者其他等待的线程。

举个实际场景的例子：如果你的系统默认互斥锁采用优先级继承策略，那如果线程3的调度优先级比线程2高，线程1解锁后，线程3可能会先拿到锁，哪怕它是后发起等待请求的。

总结一下：

• 默认实现不保证FIFO，线程2不一定能先拿到锁
• 显式设置FIFO类型的互斥锁后，能严格遵循先进先出，线程2会成为下一个持有者

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