1 / 66
JSR-133：Java
TM
内存模型与线程规范
翻译：ticmy
1 介绍 .......................................................................................................................................................................... 3
1.1 锁 .......................................................................................................................................................................................... 3
1.2 示例中的表示法 .................................................................................................................................................................. 4
2 未正确同步的程序会表现出出人意料的行为 ...................................................................................................... 5
3 非正式语义 .............................................................................................................................................................. 7
3.1 顺序一致性（Sequential Consistency）.............................................................................................................................. 9
3.2 final 字段 ............................................................................................................................................................................. 10
4 什么是内存模型 .................................................................................................................................................... 13
5 定义 ........................................................................................................................................................................ 14
6 Java 内存模型的近似模型 ..................................................................................................................................... 18
6.1 顺序一致的内存模型 ......................................................................................................................................................... 18
6.2 Happens-Before 内存模型 .................................................................................................................................................. 19
6.3 因果关系 ............................................................................................................................................................................ 20
7 Java 内存模型的正式规范 ..................................................................................................................................... 24
7.1 动作与执行过程（Actions and Executions） ................................................................................................................... 24
7.2 定义 .................................................................................................................................................................................... 26
7.3 良构的（ Well-Formed）执行过程 ................................................................................................................................. 27
7.4 执行过程的因果（Causality）要求 .................................................................................................................................. 28
7.5 可观察的行为与不会终止的执行过程 ............................................................................................................................. 30
8 经典测试用例与行为 ............................................................................................................................................ 33
8.1 内存模型允许的怪异行为 ................................................................................................................................................. 34
8.2 内存模型禁止的行为 ......................................................................................................................................................... 37
9 final 字段的语义 ..................................................................................................................................................... 39
9.1 final 字段语义的目标与要求 ............................................................................................................................................. 39
9.2 final 字段的正式语义 ......................................................................................................................................................... 42
9.3 用于 final 字段的 JVM 规则 ............................................................................................................................................. 45
10 典型测试用例与 final 字段的行为 ..................................................................................................................... 46
11 字分裂(Word Tearing) ......................................................................................................................................... 51
12 double 和 long 的非原子性处理 .......................................................................................................................... 52
13 公平性 .................................................................................................................................................................. 52
14 wait 集与通知（Notification） ............................................................................................................................ 54
14.1 等待（Wait） ................................................................................................................................................................... 54
14.2 通知（Notification） ....................................................................................................................................................... 57
14.3 中断（Interruptions） ...................................................................................................................................................... 57
14.4 等待（Waits），通知（ Notification）以及中断（Interruption）间的相互影响 ...................................................... 58
15 Sleep 与 Yield ..................................................................................................................................................... 59
16 终结操作（Finalization） ................................................................................................................................... 60
16.1 终结操作的实现 .............................................................................................................................................................. 61
16.2 与内存模型的交互........................................................................................................................................................... 64
剩余65页未读，继续阅读
资源评论
- dsy_522016-10-08找来学习一下
- ed350072016-09-01比较不错的，谢谢啦谢谢
- 達魔2015-05-07最近正在研究内存模型，找来学习一下
龙四
- 粉丝: 739
- 资源: 19
