锁的内存语义 锁的释放与获取所建立的happens-before关系、 程序顺序规则 监视器锁规则 传递性 锁的释放和获取的内存语义锁除了让临界区互斥执行外,还可以让释放锁的线程向获取同一个锁的线程发送消息。