Volatile与Java内存模型

内存屏障（是一类同步屏障指令，是CPU或编译器在对内存随机访问的操作中的一个同步点，使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作），避免代码重排序。内存屏障其实就是一种JVM指令，Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令，通过这些内存屏障指令，volatile实现了Java内存模型中的可见性和有序性，但volatile无法保证原子性。,内存屏障之前的所有写操作都要回写到主内存，,内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果(实现了可见性)。,因此重排序时，不允许把内存屏障之后的指令重排序到内存屏障之前。,一句话：对一个 volatile 域的写, happens-before 于任意后续对这个 volatile 域的读，也叫写后读。,面试中经常问到的，volatile凭什么可以保证可见性和有序性？？？靠的就是内存屏障 (Memory Barriers / Fences),通过C++源码分析 Unsafe.class / Unsafe.java / Unsafe.cpp / OrderAccess.hpp /
orderAccess_linux_x86.inline.hpp 其底层依托的就是 cpu的四个屏障指令。(底层系统级别的指令),,,,,,保证不同线程对这个变量进行操作时的可见性，即变量一旦改变所有线程立即可见。,不加volatile，没有可见性，程序无法停止，加了volatile，保证可见性，程序可以停止。,原理解释：,线程t1中为何看不到被主线程main修改为false的flag的值？,问题可能:,1. 主线程修改了flag之后没有将其刷新到主内存，所以t1线程看不到。,2. 主线程将flag刷新到了主内存，但是t1一直读取的是自己工作内存中flag的值，没有去主内存中更新获取flag最新的值。,我们的诉求：,1.线程中修改了工作内存中的副本之后，立即将其刷新到主内存；,2.工作内存中每次读取共享变量时，都去主内存中重新读取，然后拷贝到工作内存。,解决：,使用volatile修饰共享变量，就可以达到上面的效果，被volatile修改的变量有以下特点：,1. 线程中读取的时候，每次读取都会去主内存中读取共享变量最新的值，然后将其复制到工作内存,2. 线程中修改了工作内存中变量的副本，修改之后会立即刷新到主内存,前面学习JMM的时候我们已经了解了：关于主内存与工作内存之间具体的交互协议（即一个变量如何从主内存拷贝到工作内存、如何从工作内存同步回主内存之类的实现细节）,Java内存模型中定义了以下8种操作来完成，虚拟机实现时必须保证下面提及的每一种操作都是原子的、不可再分的。现在我们结合volatile关键字再来看一下。,read(读取)→load(加载)→use(使用)→assign(赋值)→store(存储)→write(写入)→lock(锁定)→unlock(解锁),,read: 作用于主内存，将变量的值从主内存传输到工作内存，主内存到工作内存,load: 作用于工作内存，将read从主内存传输的变量值放入工作内存变量副本中，即数据加载,use: 作用于工作内存，将工作内存变量副本的值传递给执行引擎，每当JVM遇到需要该变量的字节码指令时会执行该操作,assign: 作用于工作内存，将从执行引擎接收到的值赋值给工作内存变量，每当JVM遇到一个给变量赋值字节码指令时会执行该操作,store: 作用于工作内存，将赋值完毕的工作变量的值写回给主内存,write: 作用于主内存，将store传输过来的变量值赋值给主内存中的变量,由于上述只能保证单条指令的原子性，针对多条指令的组合性原子保证，没有大面积加锁，所以，JVM提供了另外两个原子指令：,lock: 作用于主内存，将一个变量标记为一个线程独占的状态，只是写时候加锁，就只是锁了写变量的过程。,unlock: 作用于主内存，把一个处于锁定状态的变量释放，然后才能被其他线程占用,volatile变量的复合操作(如i++)不具有原子性,从i++的字节码角度说明,,原子性指的是一个操作是不可中断的，即使是在多线程环境下，一个操作一旦开始就不会被其他线程影响。i++; 不具备原子性，该操作是先读取值，然后写回一个新值，相当于原来的值加上1，分3步完成,如果第二个线程在第一个线程读取旧值和写回新值期间读取i的域值，那么第二个线程就会与第一个线程一起看到同一个值，并执行相同值的加1操作，这也就造成了线程安全失败，因此对于add方法必须使用synchronized修饰，以便保证线程安全。,,多线程环境下，”数据计算”和”数据赋值”操作可能多次出现，即操作非原子。若数据在加载之后，若主内存count变量发生修改之后，由于线程工作内存中的值在此前已经加载，从而不会对变更操作做出相应变化，即私有内存和公共内存中变量不同步，进而导致数据不一致。,对于volatile变量，JVM只是保证从主内存加载到线程工作内存的值是最新的，也就是数据加载时是最新的。由此可见volatile解决的是变量读时的可见性问题，但无法保证原子性，对于多线程修改共享变量的场景必须使用加锁同步。,拿 i++的JVM的字节码，i++分成三步，工作内存和主内存之间进行读取写入的时候，在在use和assign之间依然有极小的间隙期，在间隙期的时候是非原子操作。,,read-load-use 和 assign-store-write 成为了两个不可分割的原子操作，但是在use和assign之间依然有极小的一段真空期，有可能变量会被其他线程读取，导致数据出现错误。,无论在哪一个时间点主内存的变量和任一工作内存的变量的值都是相等的。这个特性也就导致了volatile变量不适合参与到依赖当前值的运算。,,重排序,重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段，有时候会改变程序语句的先后顺序,但重排后的指令绝对不能改变原有的串行语义！这点在并发设计中必须要重点考虑！,重排序的分类和执行流程,,数据依赖性：若两个操作访问同一变量，且这两个操作中有一个为写操作，此时两操作间就存在数据依赖性。,存在数据依赖关系，禁止重排序===> 重排序发生，会导致程序运行结果不同。,编译器和处理器在重排序时，会遵守数据依赖性，不会改变存在依赖关系的两个操作的执行,但不同处理器和不同线程之间的数据性不会被编译器和处理器考虑，其只会作用于单处理器和单线程环境。,四大屏障的插入情况,内存屏障：是一种屏障指令，它是的cpu 或 编译器 对屏障指令的 前 和 后 所发出的内存操作 执行一个排序的约束。也叫内存栅栏 或 栅栏指令。,,,,,,,,,,