JSR-133：Java内存模型与线程提案.pdfVIP

TM

JSR‑133：Java内存模型和线程规范

最终草案提案

2004年4月12日

下午6:15

本文档是JSR‑133规范的最终草案版本，即Java内存模型（JMM）和线程规范。该

规范计划作为JSR‑176框架的一部分纳入Tiger（1.5）版本的Java中，并旨在替代《

Java语言规范》第17章和《Java虚拟机规范》第8章。当前文档以通用形式编写以适用于

两者，最终版本将包含两个不同的版本，语义上基本相同但分别采用各自规范的术语体系。

的讨论和开发过程异常详细且技术性强，涉及多个学术领域的见解和进展。相

关讨论已归档（并持续更新）在JMM上。该了有助于理解制定过程

的附加信息，为。

语义（第4—7节）旨在描述Java虚拟机允许的语义。Java语言规范（JLS）和

Java虚拟机规范（JVMS）现有章节中定义的语义，与许多现