volatile线程可见性

volatile线程可见性

什么是线程可见，一段代码带你了解线程可见性

public class VolatileDemo {

    int x = 0;
    /**
     * 这里的flag没有被volatile修饰
     */
    boolean flag = false;

    /**
     * 写操作
     */
    private void write() {
        x = 5;
        flag = true;
        System.out.println("x=>" + x);
        System.out.println("b =>" + flag);
    }

    /**
     * 读操作
     */
    private void read() {
        //如果flag=false的话，就会无限循环，直到flag=true才会执行结束，会打印出x的值
        while (!flag) {

        }
        System.out.println("x=" + x);
    }

    public static void main(String[] args) throws Exception {
        final VolatileDemo volatileDemo = new VolatileDemo();

        //线程1执行写操作
        Thread thread1 = new Thread(new Runnable() {
            @Override
            public void run() {
                volatileDemo.write();
            }
        });

        //线程2执行读操作
        Thread thread2 = new Thread(new Runnable() {
            @Override
            public void run() {
                volatileDemo.read();
            }
        });

        //我们让线程2的读操作先执行
        thread2.start();

        //睡1毫秒，为了保证线程2比线程1先执行
        TimeUnit.MILLISECONDS.sleep(1);

        //再让线程1的写操作执行
        thread1.start();

        //等待线程1和线程2全部结束后，打印执行结束
        System.out.println("执行结束");
    }
}

注意我们的flag没有用volatile修饰，我们先启动了线程2的读操作，后启动了线程1的写操作，由于线程1和线程2会保存x和flag的副本到自己的工作内存中，线程2执行后，由于他副本flag=false，所以会进入到无限循环中，线程1执行后修改的也是自己副本中的b=true，然而线程2无法立即察觉到，所以执行上面代码后，不会打印“执行结束”，因为线程2一直在执行！

给flag加了volatile关键字修饰后，线程1对flag做了修改，然后会立即更新内存中的值，线程2通过嗅探发现自己的副本已经过期了，然后重新从内存中拿到flag=true的值，然后跳出while循环，执行结束！