线程卡住忙等待在某些情况下，而不是在其他情况下

Question

我遇到了一个非常奇怪的问题，java线程正忙着等待。

我有一个线程忙于等待其他线程的静态变量的状态。假设忙碌等待的线程正在等待另一个线程的静态int变量达到某个值

while(OtherThread.countInt < 5);

如果我使用上面的代码，线程将被卡在忙等待中，不会跳出while循环，即使静态int count tInt确实达到5。

while(OtherThread.countInt < 5) {
    // waste some time doing meaningless work
}

但是，如果我使用其他代码，那么线程确实会跳出忙等待循环。有时，一旦count tInt达到5，其他时候会晚一点。但它会发生。对于我的特定示例，我将其用作“无意义的工作”

< code>print("忙着等待..."，1000) //浪费时间做无意义的工作

其中我将< code>print定义为< code >同步静态void print(String s，int n)打印字符串< code>s，然后Hibernate< code>n毫秒。

什么给你？为什么线程忙于等待第一个代码，而不是另一个代码？所有线程都具有相同的优先级，所以这不可能是优先级问题。

Answer 1

countInt不是易失性，因此不能保证等待线程可以看到更改。

由于您的 print（） 方法是同步的，因此可能会创建一个足够的内存屏障，以便更新的值对 while 循环可见。这基本上是一个巧合。而条件本身仍然被打破。这就是为什么正确设计和测试并发代码如此重要的原因 - 很容易编写一些看起来只按预期工作但稍后会失败的东西（例如，在负载下，在不同的处理器上，在看似安全的重构之后，等等）。

使用适当的内存屏障，例如同步读写、volatilefield或跨线程通信机制，例如java.util.concurrent中的那些。在探索volatile和这些其他工具时，有许多相关的问题。

学习Java的并发支持也很有帮助。线程间的通信是很重要的。