java 内存模型与线程规范.pdf

JSR-133：JavaTM 内存模型与线程规范 翻译：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 1 / 66 本文是JSR-133 规范，即JavaTM 内存模型与线程规范，由JSR-133 专家组开发。 本规范是JSR-176 （定义了JavaTM 平台 Tiger （5.0 ）发布版的主要特性）的一部 分。本规范的标准内容将合并到Java TM 语言规范、Java TM 虚拟机规范以及java.lang 包的类说明中。本JSR-133 规范将不再通过JCP 维护和修改。未来所有对这些标准 化内容的更新、修正以及说明都会出现在上述这些文档中。 本规范的标准化内容包含在第5, 7, 9.2, 9.3, 11, 12, 14, 15 以及16 节。其它章节，以 及上述提到的章节的部分内容，属非标准化内容，用于解释和说明标准化内容。如 果标准化内容和非标准化内容有冲突，以标准化内容为准。 本规范的讨论与开发异常复杂且专业性强，需要对一些学术论题有深刻的见解并了 解它们的发展过程。这些讨论在JMM web 站点上都有存档。该站点提供了额外的 信息，可以帮助理解本规范形成的过程；站点是： /~pugh/java/memoryModel 上述web 站点以及邮件列表将持续更新和维护，非标准化内容，有助于人们理解 JSR-133 规范，未来若有更新和扩展，将可以从该站点上找到。 在对JLS 原始规范的改变中，有两处最有可能要求JVM 实