『面试必问JVM系列』四个方面深入理解Java内存模型

Java内存模型

相关视频教程参考（来自动力节点）：https://www.bilibili.com/video/BV1e64y197rh

相关资料下载：http://www.bjpowernode.com/?csdn

屏蔽掉各种硬件和操作系统的内存访问差异。

1、主内存和工作内存之间的交互

 

2.、对于 volatile 型变量的特殊规则

关键字 volatile 是 Java 虚拟机提供的最轻量级的同步机制。

一个变量被定义为 volatile 的特性：

• 保证此变量对所有线程的可见性。但是操作并非原子操作，并发情况下不安全。

如果不符合 运算结果并不依赖变量当前值，或者能够确保只有单一的线程修改变量的值 和 变量不需要与其他的状态变量共同参与不变约束 就要通过加锁(使用 synchronize 或 java.util.concurrent 中的原子类)来保证原子性。

• 禁止指令重排序优化。

通过插入内存屏障保证一致性。

3、对于 long 和 double 型变量的特殊规则

Java 要求对于主内存和工作内存之间的八个操作都是原子性的，但是对于 64 位的数据类型，有一条宽松的规定：允许虚拟机将没有被 volatile 修饰的 64 位数据的读写操作划分为两次 32 位的操作来进行，即允许虚拟机实现选择可以不保证 64 位数据类型的 load、store、read 和 write 这 4 个操作的原子性。这就是 long 和 double 的非原子性协定。

4、先行发生原则

也就是 happens-before 原则。这个原则是判断数据是否存在竞争、线程是否安全的主要依据。先行发生是 Java 内存模型中定义的两项操作之间的偏序关系。

天然的先行发生关系