在调用condition_variable.notify_one()之前何时应该获取锁？

在多线程编程中，condition_variables用于向等待线程发出信号已满足特定条件。虽然在调用condition_variable.wait()之前需要持有锁，但在调用notify_one()之前是否也需要锁存在一些不确定性。

我可以在notify_one()之前锁定互斥体吗) 和为什么？

在notify_one()之前锁定互斥体不是强制性的，但在某些情况下可能是有利的。当通知线程在调用notify_one()之前释放锁时，它允许等待线程立即开始执行。但是，如果通知线程持有锁，等待线程必须等待锁被释放才能继续。

后续调用notify_one()之前锁定的基本原理

在提供的示例中，由于在初始notify_one() 之后在临界区中修改i 变量，因此后续调用notify_one() 会获取锁。这确保等待线程在恢复执行时观察到 i 的更新值。

避免可能的竞争条件

有些人可能会认为在第一次执行期间不持有锁notify_one() 调用可能会导致消费者线程过早恢复执行并错过通知的竞争条件。然而，这不是一个有效的问题。

根据 C 标准，condition_variable::wait() 的行为就像一个内部循环，不断检查谓词并在必要时等待。在这种情况下，谓词是 [] { return i == 1; }。如果消费者线程检查时 i 不等于 1，则内部循环将简单终止，从而阻止线程恢复执行。

因此，即使生产者线程在消费者线程检查之前调用了 notification_one() i，消费者线程不会错过通知。

结论

虽然不是严格要求，但在调用之前锁定互斥锁condition_variable.notify_one() 在特定场景中可能很有用。它允许等待线程立即恢复执行，并确保等待线程观察共享数据的更新状态（在本例中为 i 的值）。了解条件变量的行为并使用锁正确同步线程对于有效的多线程编程至关重要。