JVM更底层实现-规范和商用实现的区别
hotspot 官方文档
优化是针对单cpu来的,jit实在运行期进行优化。
理解:JVM运行时数据设计,多个内存区间进行交互势必会有问题。java语言提出内存模型(JMM java memory model)的相关规范。
Volatile
- 根据内存模型的规定,保持可见性。(语言规范)
- ACC_VOLATILE 访问控制,可以保证没有缓存,立即可见(java 虚拟机规范)。
java 程序运行的过程
多线程中的问题
- 所见非所得
- 无法肉眼去检测程序的准确性
- 不同的运行平台有不同的表现
- 错误很难重现
可见性(多个线程对同一数据读到的结果不一样)
- cpu等其它缓存,导致可见行。(短时间内)
- 指令重排序,java编程语言的语义允许编译器和处理器执行优化,这些优化可以与不正确的同步代码交互,从而产生看似矛盾的行为。
- JIT(just in time):及时编译器。
运行有三种
- 编译:字节码–jit提前编译–汇编
- 解释:字节码–一段一段编译–汇编
- 混合:运行过程中,jit编译器生效,针对热点数据代码进行优化。
汇编代码可以通过Jitwatch可视化工具进行查看。
(内存结构)运行时数据区时JVM的概念。
java语言中只有工作内存(线程独占部分)和主内存(公共部分)。cpu高速缓存也包含在工作内存中。
内存模型的含义(让程序所见即所得)
内存模型描述程序的可能行为。
java编程语言内存模型通过检查执行跟踪中的每个读操作,并根据某些规则检查该读操作检查到的写操作是否有效来工作。
只要程序的所有执行产生的结果都可以由内存模型预测。具体的实现者任意实现,包括操作的重新排序和删除不必要的同步。
Shared Variable共享变量描述
线程操作的定义:
对于同步的规则定义:
happens-before先行发生原则(先发生,先生效)
线程的执行顺序和调用顺序没有关系,和底层获取到的cpu资源顺序有关系。
加锁后强制从主存中读取数据。
volatile关键字
可见行问题:让一个线程对共享变量的修改,能及时被其它线程看到。
final在JMM中的处理
Word Tearing字节处理
double和long的特殊处理
总结:
缓存导致可见不及时,volatile解决了这个问题