POSIX条件变量与Win32事件对象(关于虚假唤醒问题)

Question

在POSIX中，由于“虚假唤醒”问题，程序员在检查条件时被迫使用while()而不是if。

我认为虚假唤醒是不直观和令人困惑的问题，但我认为这是一个不可避免的问题。

最近，我发现win32的事件对象不存在“虚假唤醒”问题。

为什么POSIX系统和其他系统仍然使用存在“虚假唤醒”问题的条件变量？(尽管如此，这个问题还是可以解决吗？)

Answer 1

你问：

为什么POSIX系统和其他系统仍然使用存在“虚假唤醒”问题的条件变量？(尽管如此，这个问题还是可以解决吗？)

基本上，它比其他方法更快。

2017年POSIX1.2017治疗pthread_cond_broadcast和pthread_cond_signal的基本原理部分特别提到了“条件信号的多重觉醒”。

虽然“虚假唤醒”问题是可以解决的，但对于很少发生的边缘条件而言，效率的损失是不可接受的，特别是考虑到无论如何都必须检查与条件变量相关的谓词。纠正此问题将不必要地降低所有较高级别同步操作的基本构建块中的并发度。

重点补充。

文本进一步指出，强迫“围绕条件等待进行谓词测试-循环”是一种比其他方法更健壮的编码实践，因为应用程序必然会容忍代码中其他地方的多余广播和信号。