Java内存模型和内存屏障

存储器层器结构

Java并发内存模型

每个线程都有各自的工作内存，对变量的一系类操作都是在工作内存中完成。假设主内存变量x原始值为1，线程1从主内存取出变量x，修改x的值为2，在线程1未将变量x写回主内存的时候，线程2拿到变量x的值仍然为1，这样就产生了数据不一致问题。
怎样保存数据一致性？缓存锁 + 总线锁
Intel CPU实现缓存锁采用的是MESI协议：

当读取标记为Invalid状态的缓存行内容时，读取失效，需要强制从主存中读取；特殊情况，有些无法被缓存的数据或跨越多个缓存行的数据，依然需要使用总线锁。
读取缓存以cache line为基本单位，目前64bytes；位于同一缓存行的两个不同数据，被两个不同CPU锁定，产生互相影响的伪共享问题。使用缓存行对齐可以提高效率，Disruptor(高性能环形队列)的cursor游标采用了缓存行对齐的方式。
乱序问题
CPU为了提高指令执行效率，对于没有依赖关系的两条指令，会在一条指令执行过程中，去同时执行另一条指令。
下面的程序证明了乱序情况的真实存在：

   private static int x = 0, y = 0;
   private static int a = 0, b =0;

   public static void main(String[] args) throws InterruptedException {
       int i = 0;
       for(;;) {
           i++;
           x = 0; y = 0;
           a = 0; b = 0;
           Thread one = new Thread(new Runnable() {
               public void run() {
                   a = 1;
                   x = b;
               }
           });

           Thread other = new Thread(new Runnable() {
               public void run() {
                   b = 1;
                   y = a;
               }
           });
           one.start();
           other.start();
           one.join();
           other.join();
           String result = "第" + i + "次 (" + x + "," + y + "）";
           if(x == 0 && y == 0) {
               System.err.println(result);
               break;
           } else {
           }
       }
   }

只有存在乱序的情况，上面的结果才会出现x=0,y=0的结果
怎么解决乱序问题——内存屏障

内存屏障

CPU内存屏障

sfence: 在sfence指令前的写操作必须在sfence指令后的写操作前完成
lfence：在lfence指令前的读操作必须在lfence指令后的读操作前完成
mfence：在mfence指令前的读写操作必须在mfence指令后的读写操作前完成
原子指令，如x86上的”lock …” 指令是一个Full Barrier，执行时会锁住内存子系统来确保执行顺序，甚至跨多个CPU。Software Locks通常使用了内存屏障或原子指令来实现变量可见性和保持程序顺序

JVM内存屏障

LoadLoad屏障：
对于这样的语句Load1; LoadLoad; Load2，
在Load2及后续读取操作要读取的数据被访问前，保证Load1要读取的数据被读取完毕
StoreStore屏障：
对于这样的语句Store1; StoreStore; Store2，
在Store2及后续写入操作执行前，保证Store1的写入操作对其它处理器可见
LoadStore屏障：
对于这样的语句Load1; LoadStore; Store2，
在Store2及后续写入操作被刷出前，保证Load1要读取的数据被读取完毕
StoreLoad屏障：
对于这样的语句Store1; StoreLoad; Load2，
​在Load2及后续所有读取操作执行前，保证Store1的写入对所有处理器可见

我们都知道volatile可以防止指令重排序，下面具体说说它是怎么做到的
1.字节码层面

2.JVM层面

StoreStoreBarrier
volatile 写操作
StoreLoadBarrier
LoadLoadBarrier
volatile 读操作
LoadStoreBarrier

3.硬件层面

lock指令实现（不同操作系统实现方式可能不同）