循环完成后程序未终止

Question

在以下场景中，布尔值“完成”设置为 true，这应该结束程序。相反，即使 while(!done) 不再是有效的场景，程序也会继续运行，因此它应该停止。现在，如果我要添加一个线程睡眠，即使睡眠时间为零，程序也会按预期终止。这是为什么？

public class Sample {

    private static boolean done;

    public static void main(String[] args) throws InterruptedException {
        done = false;
        new Thread(() -> {
            System.out.println("Running...");
            int count = 0;
            while (!done) {
                count++;
                try {
                    Thread.sleep(0); // program only ends if I add this line. 
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        }).start();

        Thread.sleep(2000);

        done = true; // this is set to true after 2 seconds so program should end.
        System.out.println("Done!"); // this gets printed after 2 seconds
    }

}

编辑：我想了解为什么上面需要 Thread.sleep(0) 来终止。我不想使用 volatile 关键字，除非它是绝对必须的，而且我知道通过将我的值暴露给我不打算暴露的所有线程来工作。

Answer 1

每个线程都有一个不同的缓存版本done，以提高性能，您的计数器线程忙于计算count，它没有机会重新加载完成。

volatile 确保任何读/写都在主内存上完成，始终更新 cpu 缓存副本。

Thread.sleep 总是暂停当前线程，因此即使 0 您的计数器线程被中断了一段时间 adviced of done 变量变化。

Answer 2

我不是Java专家，我什至不会用Java编程，但让我试试吧。

stackoverflow 上的一个线程解释了 Java 内存模型：Are static variables shared between threads?

重要部分：https://docs.oracle.com/javase/6/docs/api/java/util/concurrent/package-summary.html#MemoryVisibility

Java 语言规范的第 17 章定义了 内存操作（例如读取和写入）的发生前关系 的共享变量。一个线程写入的结果是 保证只有在写入时才对另一个线程的读取可见 操作发生在读操作之前。同步和 volatile 构造，以及 Thread.start() 和 Thread.join() 方法，可以形成happens-before关系。

如果您通过线程，它会在执行共享变量的线程时提到“发生在之前”逻辑。所以我的猜测是当你调用 Thread.sleep(0) 时，ma​​in 线程能够正确设置 done 变量，确保它“首先发生”。但是，在多线程环境中，即使这样也不能保证。但由于代码片段非常小，因此可以在这种情况下使用。

总而言之，我只是运行了您的程序，对变量“done”稍作更改，程序按预期运行：

private static volatile boolean done;

谢谢。也许其他人可以给你一个更好的解释：P