共享模型之内存

java内存模型

即JMM，它定义了主存、工作内存抽象概念，底层对应着CPU寄存器、缓存、硬件内存、CPU指令优化等等

主要有以下几个特点：

1、原子性：保证指令不会收到线程上下文切换的影响

2、可见性：保证指令不会收到CPU缓存的影响

比如说这段代码，main线程中的run对t线程是不可见，所以导致run读取的一直是true，无法停下来

这里主要分析下原因：

1、初始状态，t线程开始从主内存读取了run的值到工作内存

2、因为t线程要频繁的从主内存读取run值，JIT编译器会将run的值保存到自己的高速缓冲区中，减少对主内存的run的访问

3、1秒之后主线程修改了run的值，但是t线程中的高速缓冲区中的值没有发生改变，仍然是true，所以不会退出循环，所以是不可见

那么有没有解决方案？

答案是使用volatile关键字，它可以避免线程从自己的工作内存去查找对应的变量值，而是从主内存去获取

3、有序性：保证指令不会收到CPU并行优化的影响

jvm在不影响正确性的前提下，会调整代码语句的执行顺序，就比如以下：

这种称为指令重排序，多线程下指令重排序会影响正确性，这个可以使用volatile来禁止指令重排序

happen before

happen before规定了对共享变量的写操作对于其他线程是不可见的，它是有序性和可见性的组合，JMM不能保证一个线程对共享变量的写，对于其他线程对共享变量的读可见

就比如下面这段代码，t1和t2线程执行时，t2线程对t1线程执行的结果是不可见的，所以读取到的是默认为0