volatile如何防止重排序

volatile如何防止重排序

什么是重排序

在不影响单线程程序执行结果得前提下，计算机为了最大限度得发挥机器性能，会对机器指令重排序优化

重排序会遵循as-if-serial与happens-before原则

as-if-serial语义

不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。编译器，runtime和处理器都必须遵守as-if-serial语义。
为了遵守as-if-serial语义，编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序的话会改变执行结果。但是，如果操作之间不存在数据依赖关系，这些操作就可能被编译器和处理器重排序。

happens-before原则
程序顺序原则：在一个线程内必须按照程序代码顺序执行。
锁规则：对一个锁的解锁操作，必然发生在后续的同一个锁加锁之前。（这里必须强调的是同一个锁）。
volatile 变量规则：对一个 volatile 修饰的变量的写操作先发生于读操作。（保证volatile 修饰的变量的可见性）
线程启动规则：Thread 对象的 start() 方法先行发生于此线程的每一个动作。（即如果线程A在执行线程B的start方法之前修改了共享变量的值，那么当线程B执行start方法时，线程A对共享变量的修改对线程B是可见的）
传递性规则：操作 a 先发生于操作 b，操作 b 先发生于操作 c，则操作 a 先发生于操作 c。
对象终结规则：一个对象的初始化完成(构造函数执行结束)先行发生于它的 finalize() 方法。
线程终止规则：线程所有操作先与线程的终结， join() 方法的作用是等待当前执行线程终结。假设在线程B终止之前，修改了共享变量，线程A从线程B的join方法返回成功后，线程B对共享变量的修改对线程A是可见的。
线程中断规则：对线程interrupt()方法的调用先行发生与被中断线程的代码检测到中断事件的发生，可以通过interrupted方法检测线程是否中断

volatile底层是实现内存屏障，来保证有序性的

jvm规范定义的内存屏障

屏障类型	指令示例	说明
loadload	load1;loadload;load2	保证load1的读取操作在load2及后续读取操作之前执行
storestore	store1;storestore;store2	在store2及其后的写操作执行前，保证store1的写操作已刷新到主内存
loadstore	load1;loadstore;store2	在store2及其后的写操作执行前，保证load1的读操作已经读取结束
storeload	store1;storeload;load2	保证store1的写操作已刷新到主内存之后，load2及其后的读操作才能执行

jvm底层简化了内存屏障硬件指令的实现
lock前缀：lock指令不是一种内存屏障，但是它能完成类似内存屏障的功能
volatile底层就是用加lock来实现有序性的。