WaitForSingleObject - 从队列中等待线程吗？

Question

如果我设置3个线程来等待释放互斥锁，它们是否根据它们请求的顺序形成队列，或者它是未定义的行为（即我们不知道哪个将首先获取它）？

Answer 1

它在SDK文章中明确记录：

如果多个线程正在等待互斥锁，则选择等待线程。 不要假设先进先出（FIFO）顺序。 内核模式APC等外部事件可以更改等待顺序。

这些事件完全不受你的控制。 因此，“未定义的行为”是描述它的适当方式。

Answer 2

互斥对象基本上是公平的。 APC案件可能会发生，但并不常见。 特别是如果线程没有执行I / O或正在使用完成端口或同步进行I / O.

大多数Windows用户模式锁（SRWLock，CriticalSection）如果你可以在没有阻塞的情况下获取它们是不公平的，但如果必须在内核中阻塞则是公平的。 这样做的原因是为了避免锁定车队。 公平锁定成为争用的时刻，每个获取者必须在获得锁定之前通过调度程序和上下文切换路径。 没有人可以“跳过去”而只是拿锁，因为他们碰巧正在跑步。 因此，队列中最后一个线程的锁获取时间通过队列中每个先前线程的调度和上下文切换时间而增加。 在外部负载大部分被移除之前，系统不会从此状态恢复，因为这是一个稳定的状态。

对于性能，我建议使用上述用户模式锁之一，因为它们比内核互斥锁快得多，如果它们适合您的场景。

Answer 3

唤醒订单未定义，请参阅

可以单个SetEvent（）触发多个WaitForSingleObject（）

Answer 4

关于这一点似乎有很多不同意见，而且没有明确的信息。 在这个帖子中： http ： //us.generation-nt.com/answer/are-events-fair-help-38447612.html有些人似乎建议使用忽略优先级的简单fifo队列来实现事件的公平性，同时其他人则说不应该假设公平。

最重要的是，我认为你最好不要将你的逻辑建立在公平性上，或者用你自己的实现包装事件来保证公平。

Answer 5

是的，只有一个线程会被唤醒并锁定互斥锁。 但订单未定义。