锁的内存语义

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

　　程序顺序规则
　　监视器锁规则
　　传递性

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