synchronized和LOCK的实现原理深入JVM锁机制比较好.docx

了解 JVM 锁机制中的 synchronized 和 Lock 实现原理 在 Java 中，锁机制是数据同步的关键，存在两种锁机制：synchronized 和 Lock。了解这两种锁机制的实现原理对于理解 Java 并发编程非常重要。 synchronized 锁机制是在软件层面实现的，它依赖 JVM 实现。 HotSpot JVM 实现中，锁有个专门的名字：对象监视器。对象监视器设置了多种状态来区分请求的线程，如 Contention List、Entry List、Wait Set、OnDeck 和 Owner 等。 Contention List 是一个虚拟队列，用于存储所有请求锁的线程。Entry List 是一个等待队列，用于存储有资格成为候选人的线程。Wait Set 是用于存储那些调用 wait 方法被阻塞的线程。OnDeck 是用于存储当前竞争锁的线程。Owner 是用于存储获得锁的线程。 当多个线程同时请求某个对象监视器时，对象监视器会设置这些状态来区分请求的线程。新请求锁的线程将首先被加入到 Contention List 中，当某个拥有锁的线程（Owner 状态）调用 unlock 之后，如果发现 Entry List 为空，则从 Contention List 中移动线程到 Entry List。OnDeck 线程需要重新竞争锁， Owner 线程并不是把锁传递给 OnDeck 线程，只是把竞争锁的权利交给 OnDeck。 Lock 锁机制是在硬件层面实现的，它依赖特殊的 CPU 指令。Lock 接口及其实现类是 JDK5 增加的内容，其作者是大名鼎鼎的并发专家 Doug Lea。 在实际应用中，synchronized 和 Lock 机制都有其优缺点。synchronized 关键字简洁、清晰、语义明确，但它存在一些缺陷，如不能中断、不能 timeout 等。Lock 机制可以解决这些问题，但它的使用较为复杂。 因此，了解 JVM 锁机制中的 synchronized 和 Lock 实现原理对于理解 Java 并发编程非常重要。了解这些原理可以帮助开发者更好地选择锁机制，提高程序的性能和可靠性。