条件变量是如何实现的？

Question

这让我困惑了很长时间。

给定基本的原子原语，例如比较和比较swap，我可以看到如何实现自旋锁（我可以从中构建互斥体）。

但是，我不知道如何从中构建条件变量。这是怎么做到的？

Answer 1

这并不是特别简单。以下是 Douglas Schmidt（他主要负责 ACE 库）撰写的一篇论文的链接，该论文详细介绍了使用 Win32（Vista 之前）中可用的同步原语在 Windows 上实现条件变量的几种方法。这些方法包括仅使用基本的、通常在任何操作系统原语上可用的方法，并讨论这些方法的各种限制：

• http://www.cs.wustl.edu/~schmidt/win32-cv-1.html

底线（结束语）：

本文说明了为什么在 Win32 平台上开发条件变量很棘手且容易出错。开发人员必须解决一些微妙的设计因素。一般来说，我们研究过的不同实现在正确性、效率、公平性和可移植性方面各不相同。没有一种解决方案能以最佳方式提供所有这些品质。

如果公平性至关重要，第 3.4 节中的 SignalObjectsAndWait 解决方案是一个很好的方法。然而，这种方法不如其他解决方案有效，也不那么便携。因此，如果效率或可移植性比公平更重要，则 3.2 节中描述的 SetEvent 方法可能更合适。当然，最简单的解决方案是 Microsoft 在 Win32 API 中简单地提供条件变量。

请注意，从 Vista 开始，Windows 支持使用本机 API 的条件变量：

• http:// msdn.microsoft.com/en-us/library/ms686903.aspx