Java理论与实践：修复Java内存模型2

本文介绍了Java平台从一开始就包括了对线程的支持，包括一个计划为正确同步的程序提供“一次编写，到处运行”保证的、跨平台的内存模型，但是原来的内存模型有一些漏洞。虽然许多Java平台提供了比JMM所要求的更强的保证，但是JMM中的漏洞使得无法容易地编写可以在任何平台上运行的并发Java程序。JSR 133显著增强了volatile的语义，这样就可以可靠地使用volatile标志表明程序状态被另一个线程改变了。JSR 133还显著地增强了final的语义。极大地加强了并发程序中不变对象的效用，不变对象最终成为固有的线程安全，有效的堵住了漏洞。