1. JMM简要知识
语义规范
- Java编程语言的语义允许编译器和微处理器执行优化，从而与不正确同步的代码进行交互来完成工作.
- 线程内语义是单线程程序的语义，它允许根据线程内读操作看到的值来完全预测线程的行为;由于单线程内的实现是在其上下文执行的, 可以通过评估线程的实现从而确定执行中的线程t的操作是否合法.
- 程序遵循线程内语义: 在线程隔离状态下，每个线程的操作必须由该线程的语义控制，但是每个读操作看到的值由内存模型决定.
JMM规范
- 从数据存储上,对于共享数据的读写操作,JMM会通过线程工作内存以及JVM的堆内存来对数据进行读写操作(类比互联网业务,工作内存类比为redis等缓存,堆内存类比为数据储存载体,如数据库)
- 从代码优化上,JMM为了提升性能,会针对程序顺序代码进行重排序甚至删除不必要的同步代码
JMM概要
- 给定程序以及一个检测程序是否合法的执行跟踪,JMM工作原理是检查执行跟踪中的每个读,并根据某些规则检查读观察到的写是否有效
- 主要保证执行的每个结果与内存模型预期值一致,那么它可以不关心实现者是如何实现程序的行为
- 内存模型决定在程序的每个点可以读取哪些值。在隔离状态下，每个线程的操作必须由该线程的语义控制，但是每个读操作看到的值由内存模型决定
- 每次在线程内对变量进行写行为产生一个线程间的动作时,它必须匹配程序顺序中紧随其后的读行为的线程间动作,其中对于线程的读操作行为获取的值是由于JMM决定的值
2. JMM与顺序一致性模型
程序顺序与顺序一致性
-
程序顺序
- 可描述为线程间所有动作是根据线程内语义