c++ - 条件变量通知后的执行顺序

Question

有两个线程(称它们为 T1 和 T2)通过 boost 条件变量和互斥量相互同步，例如:

boost::condition_variable global_cond;
boost::mutex global_mutex;
boost::unique_lock<boost::mutex> lock( global_mutex);

thread1() {
  global_cond.notify_one();
  code_block_a();
}

tread2() {
  global_cond.wait(lock)
  code_block_b();
}

假设我可以保证线程 2 先来等待，然后线程 1 将执行通知。

我的问题是，code_block_a() 或 code_block_b() 是否先执行是确定性的？

Answer 1

不保证。系统可能会在 thread1 调用 notify_one() 后立即执行上下文切换，并允许 thread2() 运行。它可能不会。

请注意，您的代码通常存在错误，因为 global_cond.wait(lock) 可能会被虚假唤醒并且 tread2 可以运行 code_block_b() 甚至在 thread1() 运行之前。