Java中的内存屏障

 内存屏障（面试重点必须拿下）

1 生活case

• 没有管控，顺序难保 ----> 例如：节假日旅游景点在没有管控情况下人挤人
• 设定规则，禁止乱序 ----> 例如：上海南京路武警“人墙”当红灯
• 再说volatile两大特性：

• • 可见：写完后立即刷新回主内存并及时发出通知，大家可以去主内存拿最新版，前面的修改对后面所有线程可见
  • 有序性（禁重排）：

• • • 重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段，有时候会改变程序语句的先后顺序，若不存在数据依赖关系，可以重排序；存在数据依赖关系，禁止重排序；但重排后的指令绝对不能改变原有的串行语义！这点在并发设计中必须要重点考虑！

---

2 是什么

内存屏障（也称内存栅栏，屏障指令等）是一类同步屏障指令，是CPU或编译器在对内存随机访问的操作中的一个同步点，使得此点之前的所有读写操作都执行后才可以开始执行此点之后的操作，避免代码重排序。内存屏障其实就是一种JVM指令，Java内存模型的重排规则会要求Java编译器在生成JVM指令时插入特定的内存屏障指令，通过这些内存屏障指令，volatile实现了Java内存模型中的可见性和有序性（禁重排），但volatile无法保证原子性

• 内存屏障之前的所有写操作都要回写到主内存
• 内存屏障之后的所有读操作都能获得内存屏障之前的所有写操作的最新结果（实现了可见性）

写屏障(Store Memory Barrier)：告诉处理器在写屏障之前将所有存储在缓存(store buffers)中的数据同步到主内存，也就是说当看到Store屏障指令，就必须把该指令之前的所有写入指令执行完毕才能继续往下执行 读屏障(Load Memory Barrier)：处理器在读屏障之后的读操作，都在读屏障之后执行 (因为前面的写屏障已经保证全部写完了，主内存中都是最新数据了)。也就是说在Load屏障指令之后就能够保证后面的读取数据指令一定能够读取到最新的数据。

因此重排序时，不允许把内存屏障之后的指令重排序到内存屏障之前。

一句话：对一个volatile变量的写，先行发生于任意后续对这个volatile变量的读，也叫写后读。

---

3 内存屏障分类

粗分两种：

• 读屏障（Load Barrier）：在读指令之前插入读屏障，让工作内存或CPU高速缓存当中的缓存数据失效，重新回到主内存中获取最新数据。
• 写屏障（Store Barrier）：在写指令之后插入写屏障，强制把缓冲区的数据刷回到主内存中。

细分四种：

屏障类型	指令示例	说明
LoadLoad	Load1;LoadLoad;Load2	保证Load1的读取操作在Load2及后续读取操作之前执行
StoreStore	Store1;StoreStore;Store2	在store2及其后的写操作执行前，保证Store1的写操作已经刷新到主内存
LoadStore	Load1;LoadStore;Store2	在Store2及其后的写操作执行前，保证Load1的读操作已经结束
StoreLoad	Store1;StoreLoad;Load2	保证Store1的写操作已经刷新到主内存后，Load2及其后的读操作才能执行

4 困难内容

• 什么叫保证有序性？----->通过内存屏障禁重排

• • 重排序有可能影响程序的执行和实现，因此，我们有时候希望告诉JVM别自动重排序，我这里不需要重排序，一切听我的。
  • 对于编译器的重排序，JMM会根据重排序的规则，禁止特定类型的编译器重排序
  • 对于处理器的重排序，Java编译器在生成指令序列的适当位置，插入内存屏障指令，来禁止特定类型的处理器排序。

• happens-before之volatile变量规则

第一个操作	第二个操作：普通读写	第二个操作：volatile读	第二个操作：volatile写
普通读写	可以重排	可以重排	不可以重排
volatile读	不可以重排	不可以重排	不可以重排
volatile写	可以重排	不可以重排	不可以重排

当第一个操作为volatile读时，不论第二个操作是什么，都不能重排序，这个操作保证了volatile读之后的操作不会被重排到volatile读之前。

当第一个操作为volatile写时，第二个操作为volatile读时，不能重排

当第二个操作为volatile写时，不论第一个操作是什么，都不能重排序，这个操作保证了volatile写之前的操作不会被重排到volatile写之后

ps：volatile读/写代表读取/写入一个volatile修饰的变量，普通读写代表在volatile读/写前后对非volatile修饰的变量的读取/写入操作

• JMM就将内存屏障插入策略分为4种规则

• • 读屏障：在每个volatile读操作的后面插入一个LoadLoad屏障或者LoadStore屏障

• 
• 加了这两个屏障(一个禁止后面的读和当前读重排，一个禁止后面的写和当前写重排)就可以保证这个volatile读不可能和后续的读或写重排序。
• • 写屏障：在每个volatile写操作的前面插入StoreStore屏障；在每个volatile写操作的后面插入StoreLoad屏障；

    

两个屏障，一个加在volatile写之前的StoreStore屏障，防止上面的写操作和当前volatile写重排；一个加在volatile写之后的StoreLoad屏障，防止后面的读操作和当前volatile重排。(如果后面是volatile写，由于后一个volatile写会在它之前，也就是两个volatile写之间加一个StoreStore，所以不用担心两个volatile写会重排)

我的疑问：

volatile写操作之前不是会加一个StoreStore屏障吗？这不是只能保证所有写操作不能和当前volatile写重排，它怎么能保证普通读和当前volatile写不进行重排？

gpt的回答：

确实，volatile写操作之前会插入一个StoreStore屏障，这个屏障确保了在volatile写操作之前的所有普通写操作都已经完成，并且对其他处理器可见。然而，这个屏障并不直接阻止普通的读操作与volatile写操作之间的重排序。

在Java内存模型（JMM）中，volatile写操作本身就有一个很强的内存屏障效应，它确保了对volatile变量的写入操作之前的所有读和写操作都不会被重排序到volatile写之后。这意味着，即使没有明确的StoreStore屏障，volatile写的内存屏障效应也足够保证普通读操作不会与volatile写操作发生重排序。

总结一下，volatile写操作保证了以下几点：

1. 在volatile写操作之前的所有普通写操作都会在volatile写之前完成，并且对其他处理器可见。
2. 在volatile写操作之前的所有普通读操作都不会被重排序到volatile写之后。

因此，尽管在volatile写之前会有一个StoreStore屏障，但它的主要目的是为了保证写操作的顺序和可见性，而volatile写本身的内存屏障效应已经足以保证普通读操作不会与volatile写操作重排序。