并发原子性php十年法式员浅谈并发的原子性可见性有序性

内存模型

java内存模型简称JMM（Java Memory Model ），定义了程序中各个共享变量的访问规则。

Java Memory Model

并发原子性php十年法式员浅谈并发的原子性可见性有序性 AJAX

变量存储在主内存中，每个线程拥有自己的事情内存用来存放变量的拷贝，线程的读写操作是在各自的事情内存中进行的，操作的工具都是变量的拷贝，操作完毕后在刷新到主内存。

JMM规范定义了事情内存和主内存之间变量访问的细节，通过保障原子性、有序性、可见性实现线程安全。

运行时数据区

运行时数据区（JVM Runtime Data Areas）定义了JVM运行期内存的管理划分。

JVM Runtime Data Areas

JVM在运行时把内存划分成多个功能区，每个区域对应着不能的存储内容，生命周期，共享性子，GC策略等。

可以看到，能被线程共享的是方法区和堆中的数据，也便是实例工具、数组和静态变量，这些共享数据受到JMM规范影响。

而局部变量、方法参数、非常处理参数都在虚拟机栈中，这些数据为线程私有的，以是不受JMM规范影响。

原子性、可见性、有序性

原子性

原子操作是指一个操作不会被线程调度机制打断，一旦开始，就一贯运行到结束，中间不会有任何线程切换(context switch)。

原子性可以保障读取到的某个属性的值是由一个线程写入的。
变量不会在同一时候受到多个线程同时写入造成滋扰。
如在32位的JVM中对64位long 或double值的写操作是分成两次相邻的32位值写操作，在多线程的环境下，可能会有线程只读到了前32位，这种操作就是非原子性的，非原子性操作会受到多线程的滋扰而产生结果混乱。

基本类型的单次读写操作是原子的，但是复合操作如：int i=0;i++,就是非原子性的。

JMM保障原子性的方法：volatile语义（担保变量单次操作的的原子性）、锁语义。

可见性

共享内存模型

可见性是指一个线程对变量的值进行了修正，其他线程能够立即得知这个修正。

如上图：在共享内存模型中如果有一个线程对变量i进行了修正，在没有可见性保障的情形下，其他两个线程看到的i的值都是不愿定的，变量i在数据争用的情形下不具备不可见性。

可见性是保障多线程操作中数据同等性和结果精确性的基石，多线程环境下影响变量可见性的成分：

1、 指令重排序

2、 线程调度（切换）

3、 事情内存和主内存没有及时刷新

JMM保障可见性的方法：fianl语义、volatile语义、锁语义。

有序性

当代CPU的打算速率远远高于内存的读写速率，CPU会采取高速缓存来抵消内存访问带来的延迟。
乃至高速缓存也分成多级，最快的离CPU最近，但是其存取速率还是远远低于CUP指令实行的速率，为了减少CACHE_WAIT，CPU会采取指令级并行重排序来供应实行效率，也可以叫做CPU乱序实行。

CUP的高速缓存与内存之间不是实时同步的，高速缓与高速缓间也不是实时同步，而是通过缓存同等性协议（MESI）将数据新到主内存，缓存和读写缓冲区之间也会通过指令重排序来优化数据的刷新。

JIT编译器也会在代码编译的时候对代码进行重新整理，最大限度的去优化代码的实行效率。

以是一段JAVA代码从实行到得到结果，其实行的顺序实在是经历了2个阶段三种重排序的优化：

代码重排序过程

保障重排序后结果精确性

1、as-if-serial语义

as-if-serial语义的意思指：所有的指令都可以为了优化而被重排序，但是必须担保终极实行的结果和重排序之前的结果是同等的，编译器和处理器都会担保单线程下的as-if-serial语义。
紧张遵守的规则是重排序不毁坏数据的依赖关系，如下图，指令C依赖指令A和指令B，那么重排序只能在指令A和指令B之间发生。

数据依赖关系

as-if-serial语义担保了单线程环境下重排序之后程序实行结果的精确性，JVM在单线程的情形下会遵as-if-serial语义，无需担心重排序会滋扰心内存可见性。

2、happens-before原则

示例1

按照写代码的主不雅观意愿，可能期望是要么指令1先实行，要么指令3先实行，指令1先实行就不应该看到到指令4写入的值，如果是指令3先实行，就不应该看到指令2写入的值。

如果编译器或者实行CPU进行了重排序，指令4在指令1前先实行了，指令2在指令3之前实行了，就会涌现r2 == 2和r1 == 1这种有违直觉的结果。
然而，从单个线程的角度，指令1和指令2重排序是遵照as-if-serial语义的，不会影响该线程得到精确的结果。
但是，从多线程的角度看，编译器或者指令重排序影响到了代码原来想要表达语义。

示例2

这个示例中指令1和指令2之间没有依赖关系遵照as-if-serial语义重排序，对单线程实行结果的精确性没有影响，但是多线程环境下，如果thread1实行完指令1，thread2实行，那i的值会涌现有背预期的情形，由于thread1中对共享变量a的修正，对thread2是不可见的。

基于数据依赖性的as-if-serial语义无法担保多线程环境下，重排序之后程序实行结果的精确性。
JMM中happens-before原则便是用来保障多线程环境下变量可见性的。

先行发生原则( happens-before )是JMM用来规定两个操作之间的偏序关系，这两个操作是可以跨线程的。
happens-before中确定了8条规则，如果如果两个操作之间的关系可以从下列规则推导出来解释两个操作是有序的。

happens-before并不限定指令重排序，如果如果重排序之后的实行结果与按happens-before关系来实行的结果同等，那么JVM许可这种重排序。
happens-before原则担保了前后两个操作间不会被重排序且后者对前者的内存是可见的。

happens-before八条规则:

1、程序次序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作(一个线程内担保语义的串行性)。

2、锁定规则：对一个锁的解锁，happens-before于随后对这个锁的加锁。

3、volatile变量规则：volatile变量的写操作happens-before于后面对这个变量的读操作。

4、通报规则：如果A happens-before B且Bhappens-before C，那么A happens-before C。

5、线程启动规则：Thread工具的start()方法happens-before于此线程的每个一动作。

6、线程中断规则：对线程interrupt()方法的调用happens-before于被中断线程的代码检测到中断事宜的发生。