由于并发，Java代码在几秒钟后退出

Question

我在教程上写同样的代码。但在教程中，程序永远不会退出，在我的计算机中，它会在4秒钟后退出。为什么？教程中给出了显示此代码的确切时间：https://youtu.be/vzBw1LPupnA?t=169

public class Main {
    private static boolean stopRequested;

    public static void main(String[] args) throws InterruptedException {
        Thread backgroundThread = new Thread(() -> {
            int i = 0;
            while (!stopRequested) {
                i++;
                System.out.println("i = " + i);
            }
        });
        backgroundThread.start();
        TimeUnit.SECONDS.sleep(1);
        stopRequested = true;
    }
}

Answer 1

您在计算机和视频中看到不同行为的原因是程序有未指定的行为。

您有两个线程访问和更新共享变量，而不采取必要的步骤来保证一个线程所做的更改对另一个线程可见。在这种情况下会发生什么并没有具体说明。在某些情况下（例如在某些平台上），可以立即或在短时间内看到更改。在其他人身上，它可能永远都看不见。

从技术角度讲，线程上的write by和另一个线程随后的read之间必须存在一个before关系。这可以通过两个线程在同一个互斥锁或锁上同步、使用volatile变量以及其他方式来实现。但这段代码不做这些事情。

有关更多详细信息，请阅读Java内存模型。

以上足以说明区别，但可能还有更直接的解释。

实际上，类似于系统的东西。出来println会导致可见性的改变。在封面下，println调用通常会导致输出流的缓冲区同步。这可能会导致意外发生在足以保证可见性之前。但是这种行为没有具体说明，所以你不应该依赖它。

无论如何，添加跟踪语句可以改变多线程编码的行为。事实上，你（显然）在你的版本中添加了它们，这是这种差异的第二种可能的解释。

这里的底线是，具有内存可见性缺陷的程序已损坏，但您可能无法证明它已损坏。