深入理解Java内存模型.程晓明(带书签文字版).pdf

基础 4 并发编程模型的分类 4 Java 内存模型的抽象 4 重排序 6 处理器重排序与内存屏障指令 7 happens-before 10 重排序 13 数据依赖性 13 as-if-serial 语义 13 程序顺序规则 15 重排序对多线程的影响 15 顺序一致性 19 数据竞争与顺序一致性保证 19 顺序一致性内存模型 19 同步程序的顺序一致性效果 22 未同步程序的执行特性 24 VOLATILE 28 volatile 的特性 28 volatile 写-读建立的 happens before 关系 30 volatile 写-读的内存语义 32 volatile 内存语义的实现 35 JSR-133 为什么要增强 volatile 的内存语义 40 锁 42 锁的释放-获取建立的 happens before 关系 42 锁释放和获取的内存语义 44 锁内存语义的实现 45 concurrent 包的实现 52 FINAL 55 写 final 域的重排序规则 56 读 final 域的重排序规则 57 如果 final 域是引用类型 60 为什么 final 引用不能从构造函数内“逸出” 63 final 语义在处理器中的实现 65 JSR-133 为什么要增强 final 的语义 65 总结 66 处理器内存模型 66 JMM，处理器内存模型与顺序一致性内存模型之间的关系 68 JMM 的设计 69 JMM 的内存可见性保证 72 JSR-133 对旧内存模型的修补 73 个人简介 74 参考文献 74