规范模型中存在的问题

马里兰大学的Pugh最早发现Java规范中的存储模型存在严重问题，该问题已被接受为JSR133#，目前正在对整个Java规范中的存储模型进行彻底的修改规范中的模型不仅非常难以理解，容易出错，而且限制了很多常用的编译优化。对任意一个变量在主存储器上的所有操作之间要遵循全局序，实际上是一个存储密致性(memory coherence)的要求。存储密致性的要求是规范设计者的初衷，但是对于编译器和Java实现来说，该要求过于强烈从而限制了很多常见的编译优化技术。