摘要： happens-before：描述内存可见性as-if-serial:无论怎么重排序，程序的运行结果不会改变 当线程释放锁时，JMM会把该线程对应的本地内存中的共享变量刷新到主内存中，也就是说，对某个对象的加锁，锁释放后影响的是全部的本地内存共享变量 ReentrantLock依赖了队列同步器AQS 阅读全文