线程可见性问题

一、java内存模型是什么？

java内存 模型是描述java语言规范的特性。JVM运行时数据区是描述java虚拟机规范的。

含有：当多个线程修改了搞共享内存中的值时，应该读取到那个值的规则，这就是java编程语言内存模型。java内存模型是规则，具体实现规则的是jvm实现。

二、多线程中的问题

1、所见非所得；2、无法肉眼去检测程序的准确性；3、不同 的运行平台有不同的表现；4、错误很难重现。

1.指令重排导致的线程可见性问题

代码如下（示例）：

 public static void main(String args[]) throws InterruptedException {
        Demo1Visibility demo = new Demo1Visibility();

        new Thread(new Runnable() {
            @Override
            public void run() {
                System.out.println("here i am...");
                while(demo.isRunning){
                    //只要while中有synchronized就会打印i的值
                    //System.out.println("11111");
                    demo.i++;
                }
                System.out.println(demo.i);
            }
        }).start();

        Thread.sleep(3000L);
        demo.isRunning = false;
        System.out.println("shutdown...");
    }

 由于CPU指令重排（java编译器也是可以指令重排-（just in time compiler JIT编译））

，只能保证单个线程的语义（重排前后的效果是一样的不会改变），但是多个线程重排后效果会受到影响，是合法的。

 这里线程1重排前的数据影响了线程2的数据。

什么是指令重排：java编译器和微处理器进行执行优化，这些优化导致了与其交互的代码不在同步，从而导致看似矛盾的行为。

 这里存在的问题的原因：热点代码就可能被JIT编译，示例中

会被JIT优化成 所以会导致，程序在3S后，应该执行完打印了

System.out.println("shutdown...");但是还是没有输出i的值。可见性问题输出：正常输出应该是：

 

2.高速缓存导致可见性问题

由于CPU和RAM内存中存在高速缓存，会有一个时间差，这会导致可见性问题。

但是高速缓存协议会保证这个时间差极为短暂，所以当主线程修改isRunning = false时，在段时间子线程就能知道isRunning = false。所以高速缓存导致的可见性问题，会在极短时间就会保持一致。

总结

可见性问题：让一个线程对共享变量的修改，能够及时的被其他线程看到。

java内存模型规定：对volatile变量V的写入，与其所有其他线程后续对V的读同步。所以volatile禁止缓存（不影响JIT的批量编译），volatile变量的访问控制符会加个ACC_VOLATILE；对volatile变量相关指令不做重排。