一个Java线程间内存可见性实例的解读

代码来源

public class TestVolatile {
    public static void main(String[] args) throws InterruptedException {
        ThreadDemo threadDemo = new ThreadDemo();
        new Thread(threadDemo).start();
        while (true) {
            if (threadDemo.isFlag()) {
                System.out.println("-------------------可见");
                break;
            }
        }
    }
}
class ThreadDemo implements Runnable {
    private volatile boolean  flag = false;
    @Override
    public void run() {
        try {
            Thread.sleep(200);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        flag = true;
        System.out.print("flag = " + isFlag());
    }
    public boolean isFlag() {
        return flag;
    }
    public void setFlag(boolean flag) {
        this.flag = flag;
    }
}

直接运行这个代码，将输出 flag = true ，并进入死循环。

因此可以验证主线程是无法获得new Thread()线程中的flag变量的，flag在两个线程间是不可见的。

但看完代码，我对Thread.sleep(200)这部分代码很疑惑，把它注释掉，会导致以下输出

-------------------可见
flag = true

给flag加上volatile修饰可以让它在线程间可见我知道，但为什么一个Thread.sleep(200);会导致线程间不可见规律的失灵？

==================================================================================

原来还是我对 线程间内存不可见问题 的本质认识不足，只是把它当做一个规律记住了。

这篇文章讲的很好：谈谈Java中的volatile

看完这篇文章我知道了：

各个线程都会从主内存中复制一个变量的副本到自己的本地内存中进行操作，并在稍后将修改后的变量值同步到主内存。

 

对应现在这个实例来说：

Thread.sleep(200)会延缓new Thread()线程修改flag、同步到主内存的速度。进而使主线程从主内存中复制的是flag的旧值，并因线程间内存修改的不可见性，主线程会一直读取自己空间中的flag，不会再更新。