深入理解java内存模型

本书目录 基础 并发编程模型的分类 Java内存模型的抽象 重排序 处理器重排序与内存屏障指令 happens-before 重排序 数据依赖性 as-if-serial 语义 程序顺序规则 重排序对多线程的影响 顺序一致性 数据竞争与顺序一致性保证 顺序一致性内存模型 同步程序的顺序一致性效果 未同步程序的执行特性 VOLATILE volatile的特性 volatile写-读建立的happens before关系 volatile写-读的内存语义 volatile内存语义的实现 JSR-133为什么要增强volatile的内存语义 锁 锁的释放-获取建立的happens before 关系 锁释放和获取的内存语义 锁内存语义的实现 concurrent包的实现 FINAL 写final域的重排序规则 读final域的重排序规则 如果final域是引用类型 为什么final引用不能从构造函数内“逸出” final语义在处理器中的实现 JSR-133为什么要增强final的语义 总结 处理器内存模型 JMM，处理器内存模型与顺序一致性内存模型之间的关系 JMM的设计 JMM的内存可见性保证 JSR-133对旧内存模型的修补 个人简介 参考文献