http://www.cs.umd.edu/~pugh/java/memoryModel/jsr133.pdf
happen-before：
线程内，前边的happen-before后边的
synchronized: unlock happen-before lock
volatile: write happen-before read
...
