http://www.cs.umd.edu/~pugh/java/memoryModel/jsr133.pdf
happen-before：
线程内，前边的happen-before后边的
synchronized: unlock happen-before lock
volatile: write happen-before read
...
java内存模型,布布扣,bubuko.com
java内存模型
原文：http://www.cnblogs.com/jvava/p/3594564.html
