网易云课堂学习-JVM内存模型详解

JVM更底层实现-规范和商用实现的区别
hotspot 官方文档
优化是针对单cpu来的，jit实在运行期进行优化。
理解：JVM运行时数据设计，多个内存区间进行交互势必会有问题。java语言提出内存模型（JMM java memory model）的相关规范。

Volatile

1. 根据内存模型的规定，保持可见性。（语言规范）
2. ACC_VOLATILE 访问控制，可以保证没有缓存，立即可见（java 虚拟机规范）。

java 程序运行的过程

多线程中的问题

1. 所见非所得
2. 无法肉眼去检测程序的准确性
3. 不同的运行平台有不同的表现
4. 错误很难重现

可见性（多个线程对同一数据读到的结果不一样）

1. cpu等其它缓存，导致可见行。（短时间内）
2. 指令重排序，java编程语言的语义允许编译器和处理器执行优化，这些优化可以与不正确的同步代码交互，从而产生看似矛盾的行为。
3. JIT(just in time):及时编译器。

运行有三种

1. 编译：字节码–jit提前编译–汇编
2. 解释：字节码–一段一段编译–汇编
3. 混合：运行过程中，jit编译器生效，针对热点数据代码进行优化。

汇编代码可以通过Jitwatch可视化工具进行查看。
（内存结构）运行时数据区时JVM的概念。
java语言中只有工作内存（线程独占部分）和主内存（公共部分）。cpu高速缓存也包含在工作内存中。

内存模型的含义（让程序所见即所得）
内存模型描述程序的可能行为。
java编程语言内存模型通过检查执行跟踪中的每个读操作，并根据某些规则检查该读操作检查到的写操作是否有效来工作。
只要程序的所有执行产生的结果都可以由内存模型预测。具体的实现者任意实现，包括操作的重新排序和删除不必要的同步。

Shared Variable共享变量描述

线程操作的定义：


对于同步的规则定义：

happens-before先行发生原则（先发生，先生效）

线程的执行顺序和调用顺序没有关系，和底层获取到的cpu资源顺序有关系。
加锁后强制从主存中读取数据。

volatile关键字
可见行问题：让一个线程对共享变量的修改，能及时被其它线程看到。


final在JMM中的处理

Word Tearing字节处理

double和long的特殊处理

总结：
缓存导致可见不及时，volatile解决了这个问题