IOCP中GetQueuedCompletionStatus的LIFO线程释放顺序问题咨询

首先看官方文档对GetQueuedCompletionStatus的说明：

在I/O完成端口上阻塞执行的线程按后进先出（LIFO）顺序被释放，并且该线程会从I/O完成端口的FIFO队列中取出下一个完成数据包。

针对给出的场景：

• T1将句柄H1与IOCP关联，随后T2将句柄H2与同一个IOCP关联
• T1调用GetQueuedCompletionStatus并进入阻塞状态
• T2调用GetQueuedCompletionStatus并进入阻塞状态
• H1上的I/O操作完成

答案是：T1会保持等待状态，直到T2被释放。

原因很明确：IOCP对阻塞线程的唤醒遵循LIFO（后进先出）规则，最后进入阻塞状态的线程会被优先唤醒。这里T2比T1晚进入阻塞，所以当H1的I/O完成产生第一个数据包时，系统会先唤醒T2，让它取出这个完成包进行处理，而T1会继续保持阻塞状态，直到后续有新的完成包，或者T2处理完再次回到阻塞队列后才有被唤醒的机会。

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