时间戳

首页 > 解决方案 > 在上下文切换期间了解 Java 内存模型

java - 在上下文切换期间了解 Java 内存模型

问题描述

最近在一次会议演讲中，使用以下示例来演示多线程环境中的 Java 内存模型。

public class A {

    public static boolean done;

    public static void main(String[] args) throws InterruptedException {
        done = false;
        new Thread(new Runnable(){
            public void run() {
                System.out.println("running...");

                int count = 0;
                while (!done) {
                    count++;
                }

                System.out.println("Exiting thread");
            }
        }).start();

        System.out.println("in main...");
        Thread.sleep(2000);

        System.out.println("setting done to true");
        done = true;
    }
}

我知道上面代码中创建的新线程永远不会退出，因为done变量被缓存在线程的本地缓存中。一个适当的解决方案是使done变量易变。

但是如果在while循环里面，我们调用Thread.sleep()如下

    while (!done) {
        count++;
        try {Thread.sleep(0);} catch(Exception e){}
    }

然后线程成功退出。

我的理解是，由于sleep(0)会发生上下文切换，这将使缓存条目无效，因此每次done都会检索更新的值。我的理解正确吗？这种行为还取决于机器的核心数量吗？

标签： javamultithreadingjava-memory-model

解决方案

Java 语言规范明确指出Thread::sleep没有任何发生前的语义（这些是您唯一要推理的语义）：

... Thread.sleep 和 Thread.yield 有任何同步语义...

因此，您“碰巧”看到使用它的任何输出，都不受规范的保证。你唯一的保证是完成后， volatile再次，因为JLS给你这样的保证。

您关于正确同步程序的推理必须针对发生之前，上下文切换，缓存等是无关紧要的。

推荐阅读