java共享变量可见性问题

[林与夕]

package volatilex;

public class VolatileMain {

private static boolean flag = false;

public static void main(String[] args) {
new Thread(() -> {
System.out.println("start");
while (!flag) {
}
System.out.println("run end");
}).start();
new Thread(() -> {
System.out.println("init begin");
init();
System.out.println("init end");
}).start();
}

private static void init() {
flag = true;
}

}

打印结果如下

start
init begin
init end
run end

[林与夕]

为什么不加上volatile也能可见？

[qybao]

这是线程的随机性和代码的原子性造成的
线程1打印完start，能保证它会继续执行while(!flag)吗？也许刚打印完start，就切换到线程2执行了，线程2把flag改了，这时又切换到线程1继续执行，那while(!flag)当然就不成立了。

[qybao]

你改成以下再试试

    private static boolean flag = false;
    public static void main(String[] args) {
        new Thread(() -> {
            System.out.println("start");
            while (!flag) {
            }
            System.out.println("run end");
        }).start();
        new Thread(() -> {
            System.out.println("init begin");
            try {Thread.sleep(10);} catch (Exception e) {} //这里睡眠一下，保证线程1进入while(!flag)循环
            init();
            System.out.println("init end");
        }).start();
    }

    private static void init() {
        flag = true;
    }

[flying_fish79]

System.out.println("start"); while (!flag) { } System.out.println("run end"); 这个判断的话，打印出来的这四行不论你ture还是false不都是这么打印的么

[shy078]

可见性是线程1，线程2有自己的工作内存，工作内存与主内存交互，而变量存储在主内存中，所以变量flag对于线程1、线程2均是可见的。但是如果有一个线程修改了flag，且该flag不被volatile修饰，那么另一个线程就看不到最新的值，volatile最初的本意是这个。