锁的内存语义

锁的释放-获取建立的happens-before关系

锁除了让临界区互斥执行外，还是可以让释放锁的线程向获取同一个锁的线程发送消息

class MonitorExample {
int a = 0；

public synchronized void writer() {
a++;
  }

public sunchronized void reader() {
int i = a; 
  }
}

释放锁之前所有可见的共享变量，在线程获取同一个锁之后将变得对线程可见。

锁的释放和获取的内存语义

当线程释放锁的时候，JMM会该线程对应的本地内存中的共享变量刷新到主内存中去。
锁释放和volatile写有相同的内存语义；锁获取与volatile读有相同的内存语义

锁释放与锁获取

线程A释放一个锁，实际上是向获取这个锁的线程B发出信息（线程A对共享变量做出的修改）
线程B获取一个锁，实际上时线程B接收了之前某个线程发出的信息（线程A在释放锁之前对共享变量所做的修改）
线程A释放锁，线程B获取这个锁，实际上时线程A通过主内存向线程B发生信息