volatile详述

volatile在java程序员在做开发的时候相信都遇到过,禁止指令重排序,那么它是如何保证在特定情况下不乱序的呢？
首先在硬件级别,x86提供了3条指令:
sfence: store| 在sfence指令前的写操作当必须在sfence指令后的写操作前完成。
lfence：load | 在lfence指令前的读操作当必须在lfence指令后的读操作前完成。
mfence：modify/mix | 在mfence指令前的读写操作当必须在mfence指令后的读写操作前完成。
或者是原子指令:
lock…,执行时会锁住内存子系统来确保执行顺序.
而JVM提供了自己的规范来处理保证volatile的不乱序.
LoadLoad屏障
StoreStore屏障
LoadStore屏障
StoreLoad屏障
如果程序中变量有以上指令操作的时候,那么对于volatile变量,JVM会在该操作的前后加上这些屏障,来确保这些指令操作能够依次执行,JVM虽然提供了不同于硬件层次的规范,但实际上还是需要硬件级别来支持该操作。
具体实现细节:
当一个变量定义为volatile的时候,字节码层面指令会被解释为ACC_VOLATILE,伺候,jvm会对此volatile内存区的读写,都加屏障,简单来说,当一个线程将volatile变量更新了之后,通过MESI一致性协议,其他的线程读到的变量此时是失效的,需要再次去内存中读取,下面我们通过demo来进行测试:

当我们不加volatile时,由于flag在线程tb中无法及时刷新到内存中,而在自己的工作空间中,因此线程1无法及时知道flag变量刷新了,此时线程1会进入死循环,而我们将flag加上volatile之后,flag变量能够在修改之后,通过MESI协议,此时线程t1发现自己工作空间中的flag已经失效,会再次去内存中读取,从而保证了可见性.