java 内存模型

参考
http://www.ibm.com/developerworks/cn/java/j-jtp02244/
http://www.ibm.com/developerworks/cn/java/j-immutability.html

1 对不可变类使用@Immutable是个比较好的实践

2 final 关键字

引用

新的 JMM 还寻求提供一种新的 初始化安全性 保证——只要对象是正确构造的（意即不会在构造函数完成之前发布对这个对象的引用），然后所有线程都会看到在构造函数中设置的 final 字段的值，不管是否使用同步在线程之间传递这个引用。而且，所有可以通过正确构造的对象的 final 字段可及的变量，如用一个 final 字段引用的对象的 final 字段，也保证对其他线程是可见的。

3 synchronized 关键字

引用

大多数程序员都知道， synchronized 关键字强制实施一个互斥锁（互相排斥），这个互斥锁防止每次有多个线程进入一个给定监控器所保护的同步语句块。但是同步还有另一个方面：正如 JMM 所指定，它强制实施某些内存可见性规则。它确保了当存在一个同步块时缓存被更新，当输入一个同步块时缓存失效。因此，在一个由给定监控器保护的同步块期间，一个线程所写入的值对于其余所有的执行由同一监控器所保护的同步块的线程来说是可见的。它也确保了编译器不会把指令从一个同步块的内部移到外部（虽然在某些情况下它会把指令从同步块的外部移到内部）。JMM 在缺乏同步的情况下不会做这种保证 —— 这就是只要有多个线程访问相同的变量时必须使用同步（或者它的同胞，易失性）的原因。

4 Volatile 关键字

引用

Volatile 变量具有 synchronized 的可见性特性，但是不具备原子特性。