最新JAVA技术内存模型.pdfVIP

最新 Java ™ 技术内存 模型 /javaone/sf Jeremy Manson 和 William Pugh 马里兰大学 /~pugh 1 | 2004 JavaOneSM Conference | Session TS-2331 听众 • 假设你熟悉基于 Java™ 技术的线程（ “Java™ 线程”）的基 知识 创建、启动和加入线程 同步 wait 和 notifyAll 2 | 2004 JavaOneSM Conference | Session TS-2331 Java™ 线程规范 • 修订为 JSR-133 的一部分 • 属于以下规范中的一部分 最新 Java™ 语言规范 最新虚拟机规范 • 今天在此讨论是 JDK™ 1 .5 版本中的功能 不是所有这些功能都能保证在以前版本中运行 突破以前的线程规范 禁止许多Java™ 虚拟机执行优化 3 | 2004 JavaOneSM Conference | Session TS-2331 多线程系统中的安全问题 • 不要保留许多直觉假设 • 某些广泛使用的习惯用法并不安全 最初的双重检查锁定用法 检查用于线程结束的 non-volatile 标志 • 不能使用测试来检查错误 有些异常情况仅在某些平台上出现 例如，多处理器 异常情况很少并且不重复地出现 4 | 2004 JavaOneSM Conference | Session TS-2331 修订线程规范 • Java™ 线程规范已历经重大修订 多数修订是为适当地规范现有行为 但行为方面有少数更改 • 目标 清晰并且易于理解 培植可靠的多线程代码 可供高性能的Java™ 虚拟机使用 • 已影响Java™ 虚拟机 以及已编写出的较差的现有代码 包括 Sun 的JDK 部分 5 | 2004 JavaOneSM Conference | Session TS-2331 本次演讲…… • 用 Java™ 语言描述构建同步阻塞和并发程序 语言原语和 util.concurrent 抽象 • 说明正确同步化代码的意义 • 尽力使你确信，关于不同步代码的智能推断几 乎肯定可以是错误的 高效和可靠的程序不需要 6 | 2004 JavaOneSM Conference | Session TS-2331 本次演讲…… • 我们将主要讨论 同步方法和阻塞 Volatile 域 • 同一原则适用于 JSR-166 锁定和原子性操作 • 还将讨论 final 域和不可变性 7 | 2004 JavaOneSM Conference | Session TS-2331 分类学 • 高级并发抽象 JSR-166 和java.util.concurrent • 低级锁定 synchronized ()阻塞 • 低级原语 Volatile 变量， java.util.concurrent.atomic 类 考虑非