处于“就绪”状态的线程是否获得锁

Question

线程和并行编程真的让我很困惑。在第 9 页的this book 中，陈述的问题是，尽管线程可能被调度并置于ready 状态，但这并不一定意味着它已经获得了锁。

简而言之，等待锁的线程（例如 t1）通过condition_variable 通知，并且该线程处于ready 状态，但未执行。但就在它可以运行任何东西之前，另一个线程被调度（比如 t2）并执行。这意味着 t1 假设它被唤醒的条件不再成立。

这是否意味着仅仅调度一个线程或将其置于就绪状态并不意味着它获得了锁？如果是这种情况，我是否必须总是将前提条件放在 while 循环中？这是虚假唤醒的另一种可能含义吗？另外，我还必须注意哪些其他类似情况？

我一直假设如果一个线程从等待中被唤醒（这不是虚假唤醒），它会立即获取锁（在 this 情况下，唤醒 = 获取锁） ，因为内核会跟踪这一点。

这个问题与我在here 发布的其他问题密切相关。

谢谢。

_{我在哪里可以问这些菜鸟问题，以一种带有后续问题的互动形式？这些对于stackoverflow来说似乎太愚蠢了。}

Answer 1

我必须总是将条件放在一个while循环中吗？

这样做是个好习惯。即使您知道在某些特定的硬件平台和操作系统上，除非条件为真，否则 wait() 也不可能返回；操作系统更新后它的行为可能会有所不同，或者如果您的代码移动到不同的平台，它的行为可能会有所不同，或者在对代码进行一些更改后它的行为可能会有所不同。

如果您曾经开发过“企业”软件，那么这样的改变就会发生并且将会发生。不妨开始学习有助于避免未来灾难的好习惯。

我一直假设如果一个线程从等待中被唤醒（这不是虚假唤醒），它会立即获得锁

您可以放心地假设wait() 在任何 情况下都不会返回，直到互斥体被重新锁定。整个 wait()/notify() 范式取决于它的行为方式。