C ++条件变量如何在内部工作？

Question

我仅对内部组件感兴趣（而不对“为什么使用”，“如何使用”等感兴趣）。

例如互斥锁内部here的介绍非常好。

这表明互斥量实现的关键部分是：

• 原子测试和设置处理器指令有条件地升高互斥锁
• 和系统调用（在Linux中为Futex），以等待OS进程调度程序级别

---

提示问题：

• 用notify_one / notify_all发信号如何工作？
• 为什么会发生虚假唤醒（即为什么可能处理调度程序未命中信号）？
• std::unique_lock如何使用condvar.wait()？