volatile的两大特点:
1、可见性 2、有序性 (不保证原子性)
内存屏障也称内存栅栏,是一类同步屏障指令,是cpu或编译器在对内存随机访问的操作中的一个同步点,使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作,避免代码重排序。内存屏障其实是一种JVM指令,Java内存模型的重排序规则要求Java编译器在生成JVM指令时插入特定的内存屏障指令,通过这些内存屏障指令,volatile实现了Java内存模型中的可见性和有序性,但volatile无法保证原子性。
内存屏障之前的所有写操作都要写回到主内存。
内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果,实现了可见性。因此重排序时不允许把内存屏障之后的指令重排序到内存屏障之前。
一句话:对一个volatile域的写,happens-before于任意后续对volatile的读,也叫写后读。
volatile为什么可以保证可见性和有序性? -- 内存屏障
四类内存屏障指令
happens-before之volatile变量规则
内存屏障插入策略
volatile写:
1、在每个volatile写前面加一个stroestore屏障,禁止上面的普通写与下面的volatile写重排序
2、在每个volatile写后面加一个stroeload屏障,禁止上面的volatile写与下面的volatile读/写重排序
volatile读:
1、在每个volatile读操作的后面插入一个loadload屏障,禁止下面所有的读操作与上面的volatile读重排序
2、在每个volatile读操作的后面插入一个loadstroe屏障,禁止下面所有的写操作与上面volatile读重排序