内存可见性问题

1.问题引入

看下面代码:

public class demo2 {
    private static int isQuit = 0;

    public static void main(String[] args) {1
        Thread t1 = new Thread(() ->{
           while (isQuit == 0){
               
           }
            System.out.println("t1执行结束");
        });

        Thread t2 = new Thread(() ->{
            Scanner scanner = new Scanner(System.in);
            System.out.println("请输入isQuit的值: ");
            isQuit = scanner.nextInt();
        });

        t1.start();
        t2.start();
    }
}

• t1线程: 判断isQuit的值,如果不为0就跳出循环,打印"t1执行结束"
• t2线程:用户通过控制台输入一个整数,作为isQuit的值

 运行结果如下:

问题出现了,当输入一个非0值的时候,已经修改了isQuit的值,但是t1线程仍然在继续执行,这并不符合我们的预期,这就是内存可见性问题

2.产生内存可见性问题的原因

程序在编译运行的时候,Java编译器和jvm可能会对代码做出一些"优化".

编译器优化,本质上是靠代码,智能的对所写的代码进行分析判断,进行调整,能保存逻辑不变.

但是,当遇到多线程时,这个优化可能会出现差错!!!,使程序中原有的逻辑发生改变了

此时,编译器/jvm发现,这段代码要反复快速地读取同一个内存的值,并且这个内存的值,每次读出来还是一样的,所以编译器直接把load操作给优化掉了,只是第一次执行load,后续都不再执行了,直接拿寄存器中的数据进行比较.

但是!!!

此时在另一个线程中,我们修改了isQuit的值,编译器无法准确判断出t2线程到底会不会执行,什么时候执行,因此会出现误判

3.volatile操作 

• 使用volatile关键字修饰一个变量后,编译器就会知道,这个变量是"易变"的,就不会按照上述方式,把读操作优化到寄存器中,于是就是保证t1在循环过程中,始终都能读取到内存中的数据了
• volatile只修饰变量,不修饰方法(包括方法中的局部变量)
• volatile的本质是保证变量的内存可见性(禁止该变量的读操作被优化到读寄存器中)

用volatile修改代码:

public class demo2 {
    private static volatile int isQuit = 0;

    public static void main(String[] args) {
        Thread t1 = new Thread(() ->{
           while (isQuit == 0){

           }
            System.out.println("t1执行结束");
        });

        Thread t2 = new Thread(() ->{
            Scanner scanner = new Scanner(System.in);
            System.out.println("请输入isQuit的值: ");
            isQuit = scanner.nextInt();
        });

        t1.start();
        t2.start();
    }
}

运行结果如下:

不过JVM并不是任何时候都会出现优化误判的情况,看下面代码:

public class demo2 {
    private static int isQuit = 0;

    public static void main(String[] args) {1
        Thread t1 = new Thread(() ->{
           while (isQuit == 0){
               try {
                   Thread.sleep(10);
               } catch (InterruptedException e) {
                   e.printStackTrace();
               }
           }
            System.out.println("t1执行结束");
        });

        Thread t2 = new Thread(() ->{
            Scanner scanner = new Scanner(System.in);
            System.out.println("请输入isQuit的值: ");
            isQuit = scanner.nextInt();
        });

        t1.start();
        t2.start();
    }
}

运行结果如下:

 

当加入slee之后,sleep会幅度影响到while循环的速度,速度慢了,编译器不打算继续优化了,所以此时即使不加volatile,t1线程也能及时感知到内存变化了

4.关于工作内存

• 工作内存中的"内存",不是冯诺依曼体系结构中的内存,而是CPU的寄存器和CPU的缓存,统称为"工作内存".
• Java程序中除了主内存,每个线程还有自己的工作内存.
• t1线程进行读取时只读取了它的工作内存中的数据.
• t2线程在进行修改时,先修改了工作内存中的数据,然后再把工作内存中的数据同步到主内存中,但是由于编译器优化,所以t1没有重新从主内存中同步数据到工作内存,这就导致读的结果错误.