最近在看java volatile关键字验证可见性时遇到的问题

volatile保证可见性

线程修改变量时先将变量从主内存中拷贝到工作内存中，修改完成后在刷新到主内存。如果有多个线程并发修改共享变量就会出现1、2同时拷贝变量到工作内存，1线程修改后，2线程是感受不到的。

示例：

public class VolatileDemo {
    int  num = 0;

    public void addNum(){
        this.num +=1;
    }

    public static void main(String[] args) {
        VolatileDemo volatileDemo = new VolatileDemo();
        new Thread(()->{
            try{
                Thread.sleep(3000);
            }catch (InterruptedException e){
                e.printStackTrace();
            }
            volatileDemo.addNum();
        },"1").start();

        while(volatileDemo.num == 0){
        }
        System.out.println("具有可见性");
    }
}

由于num不具有可见性，main线程会一直在while处循环。

我在上边例子的基础上增加了sleep和println方法后num变量具有了可见性，代码如下：

public class VolatileDemo {
    int  num = 0;

    public void addNum(){
        this.num +=1;
    }

    public static void main(String[] args) {
        VolatileDemo volatileDemo = new VolatileDemo();
        new Thread(()->{
            try{
                Thread.sleep(3000);
            }catch (InterruptedException e){
                e.printStackTrace();
            }
            volatileDemo.addNum();
        }).start();

        while(volatileDemo.num == 0){
            try{
                Thread.sleep(1000);
            }catch (InterruptedException e){
                e.printStackTrace();
            }
            System.out.println("num==0");
        }
        System.out.println("具有可见性");

    }
}

原因：导致num具有可见性的原因有两处，①是sleep方法，②是println方法。

①：sleep前不一定会将工作内存的变量更新到主内存中，sleep后也不一定会从主内存中重新加载。

java文档https://docs.oracle.com/javase/specs/jls/se7/html/jls-17.html中关于sleep和yield的解释

②：println方法中有synchronized同步锁，锁的获取、释放都会把当前线程的共享变量刷新到主内存。

    public void println(String x) {
        synchronized (this) {
            print(x);
            newLine();
        }
    }