1 - 锁建立的happens-before关系

2 - 锁释放获取的内存语义

2.1 - 锁释放

锁释放时，JMM把当前线程的本地内存中的共享变量刷新到主内存中。

2.2 - 锁获取

锁获取时，JMM会把当前线程本地内存置为无效。那么被锁保护起来的临界区代码，就必须从主内存中获取变量的值。

3 - 锁内存语义实现