深入拆解 ReentrantLock:从底层实现到生产最佳实践

简介: 本文深入剖析ReentrantLock底层原理,基于AQS框架详解state状态、CLH队列及公平/非公平锁机制;对比synchronized在实现、功能(可中断、多条件变量)和性能上的差异;结合代码演示三类锁适用场景与最佳实践,助你写出高效、健壮的并发程序。

在Java并发编程中,锁是保证线程安全的核心工具。ReentrantLock作为JUC包下的显式锁,相比内置的synchronized,提供了更灵活的功能。本文将从底层实现原理出发,全面剖析ReentrantLock的核心机制,对比其与synchronized的差异,并结合实际场景讲解公平锁、非公平锁、可中断锁的使用与最佳实践。

ReentrantLock的底层实现原理

ReentrantLock的核心基于AbstractQueuedSynchronizer(AQS)实现。AQS是一个用于构建锁和同步器的框架,通过一个volatile修饰的int类型state变量表示同步状态,以及一个FIFO的双向队列(CLH队列)管理等待的线程。

AQS核心结构

  • state:同步状态,0表示无锁,大于0表示持有锁的次数(可重入)。
  • 等待队列:双向链表,每个节点封装一个Thread,记录等待状态。

非公平锁的lock流程

从源码层面看,ReentrantLock的NonfairSync的lock方法逻辑如下:

final void lock() {
   if (compareAndSetState(0, 1))
       setExclusiveOwnerThread(Thread.currentThread());
   else
       acquire(1);
}

acquire方法会调用tryAcquire,NonfairSync的tryAcquire最终调用nonfairTryAcquire:

final boolean nonfairTryAcquire(int acquires) {
   final Thread current = Thread.currentThread();
   int c = getState();
   if (c == 0) {
       if (compareAndSetState(0, acquires)) {
           setExclusiveOwnerThread(current);
           return true;
       }
   }
   else if (current == getExclusiveOwnerThread()) {
       int nextc = c + acquires;
       if (nextc < 0)
           throw new Error("Maximum lock count exceeded");
       setState(nextc);
       return true;
   }
   return false;
}

这里体现了可重入特性:如果当前线程已经持有锁,直接增加state值即可。

释放锁的unlock流程

unlock会调用release(1),核心逻辑在tryRelease:

protected final boolean tryRelease(int releases) {
   int c = getState() - releases;
   if (Thread.currentThread() != getExclusiveOwnerThread())
       throw new IllegalMonitorStateException();
   boolean free = false;
   if (c == 0) {
       free = true;
       setExclusiveOwnerThread(null);
   }
   setState(c);
   return free;
}

当state减到0时,锁完全释放,唤醒等待队列中的头节点后继线程。

公平锁的实现

FairSync的tryAcquire与非公平锁的核心差异在于多了hasQueuedPredecessors()判断:

protected final boolean tryAcquire(int acquires) {
   final Thread current = Thread.currentThread();
   int c = getState();
   if (c == 0) {
       if (!hasQueuedPredecessors() &&
           compareAndSetState(0, acquires)) {
           setExclusiveOwnerThread(current);
           return true;
       }
   }
   else if (current == getExclusiveOwnerThread()) {
       int nextc = c + acquires;
       if (nextc < 0)
           throw new Error("Maximum lock count exceeded");
       setState(nextc);
       return true;
   }
   return false;
}

hasQueuedPredecessors()会判断当前线程是否有前驱节点在等待队列中,如果有则必须入队,以此保证公平性。

ReentrantLock与synchronized的核心差异

实现层面

  • synchronized:JVM内置锁,通过对象头的Mark Word和monitorenter/monitorexit指令实现,包含锁升级过程(无锁->偏向锁->轻量级锁->重量级锁)。
  • ReentrantLock:JDK实现的显式锁,基于AQS框架,需要手动调用lock()和unlock()。

功能层面

  • 可重入:两者都支持,ReentrantLock可通过getHoldCount()查看重入次数,synchronized由JVM内部管理。
  • 公平性:ReentrantLock支持公平/非公平两种模式,synchronized只有非公平模式。
  • 可中断:ReentrantLock的lockInterruptibly()支持等待时响应中断,synchronized不支持。
  • 条件变量:ReentrantLock可创建多个Condition实现更灵活的等待/通知,synchronized只有一个wait set。

性能层面

JDK6后synchronized通过锁升级优化,性能与ReentrantLock接近。高竞争场景下,ReentrantLock的非公平锁可能比synchronized吞吐量更高,因为非公平锁可以减少线程切换开销。

公平锁、非公平锁、可中断锁的适用场景与最佳实践

公平锁

适用场景:需要保证线程获取锁的顺序,比如按请求顺序处理任务,避免线程饥饿。注意:公平锁会降低吞吐量,因为每次都要检查队列,增加线程切换。

package com.jam.demo;
import lombok.extern.slf4j.Slf4j;
import java.util.concurrent.locks.ReentrantLock;
@Slf4j
public class FairLockDemo {
   private final ReentrantLock fairLock = new ReentrantLock(true);
   public void accessResource() {
       fairLock.lock();
       try {
           log.info("线程{}获取到公平锁", Thread.currentThread().getName());
           Thread.sleep(100);
       } catch (InterruptedException e) {
           Thread.currentThread().interrupt();
           log.error("线程被中断", e);
       } finally {
           fairLock.unlock();
           log.info("线程{}释放公平锁", Thread.currentThread().getName());
       }
   }
   public static void main(String[] args) {
       FairLockDemo demo = new FairLockDemo();
       for (int i = 0; i < 5; i++) {
           new Thread(demo::accessResource, "Thread-" + i).start();
       }
   }
}

非公平锁

适用场景:大多数场景,追求高吞吐量,线程执行时间短,饥饿概率低。优势:线程可以“插队”获取锁,减少线程唤醒的开销。

package com.jam.demo;
import lombok.extern.slf4j.Slf4j;
import java.util.concurrent.locks.ReentrantLock;
@Slf4j
public class NonfairLockDemo {
   private final ReentrantLock nonfairLock = new ReentrantLock(false);
   public void accessResource() {
       nonfairLock.lock();
       try {
           log.info("线程{}获取到非公平锁", Thread.currentThread().getName());
           Thread.sleep(100);
       } catch (InterruptedException e) {
           Thread.currentThread().interrupt();
           log.error("线程被中断", e);
       } finally {
           nonfairLock.unlock();
           log.info("线程{}释放非公平锁", Thread.currentThread().getName());
       }
   }
   public static void main(String[] args) {
       NonfairLockDemo demo = new NonfairLockDemo();
       for (int i = 0; i < 5; i++) {
           new Thread(demo::accessResource, "Thread-" + i).start();
       }
   }
}

可中断锁

适用场景:需要取消长时间等待锁的任务,比如超时控制,避免死锁时无限等待。使用:调用lockInterruptibly(),等待时可响应interrupt()。

package com.jam.demo;
import lombok.extern.slf4j.Slf4j;
import java.util.concurrent.locks.ReentrantLock;
@Slf4j
public class InterruptibleLockDemo {
   private final ReentrantLock lock = new ReentrantLock();
   public void accessResource() {
       try {
           lock.lockInterruptibly();
           try {
               log.info("线程{}获取到锁", Thread.currentThread().getName());
               Thread.sleep(5000);
           } finally {
               lock.unlock();
               log.info("线程{}释放锁", Thread.currentThread().getName());
           }
       } catch (InterruptedException e) {
           Thread.currentThread().interrupt();
           log.info("线程{}等待锁时被中断", Thread.currentThread().getName());
       }
   }
   public static void main(String[] args) throws InterruptedException {
       InterruptibleLockDemo demo = new InterruptibleLockDemo();
       Thread t1 = new Thread(demo::accessResource, "Thread-1");
       Thread t2 = new Thread(demo::accessResource, "Thread-2");
       t1.start();
       Thread.sleep(100);
       t2.start();
       Thread.sleep(1000);
       t2.interrupt();
   }
}

最佳实践

  1. 锁的释放必须在finally块,避免异常导致锁未释放。
  2. 优先使用非公平锁,除非业务必须保证公平性。
  3. 使用可中断锁时,正确处理InterruptedException,恢复中断状态。
  4. 避免锁的嵌套,防止死锁。
  5. 合理设置锁的粒度,避免锁范围过大影响性能。
目录
相关文章
【面试问题】Synchronized 和 ReentrantLock 区别?
【1月更文挑战第27天】【面试问题】Synchronized 和 ReentrantLock 区别?
|
2月前
|
SQL 存储 缓存
深入拆解 Java volatile:从内存屏障到无锁编程的实战指南
volatile是Java并发编程核心关键字,通过内存屏障保证共享变量的可见性与有序性,但不保证原子性。本文深入解析其原理、典型应用(如DCL单例、状态标记)及与synchronized、原子类的区别,助你正确高效使用。
195 12
|
3月前
|
存储 缓存 安全
synchronized 底层全解:从对象头、锁升级到内核实现,击穿并发编程的核心基石
本文深度剖析Java中synchronized的底层原理:从三种使用范式、字节码实现,到对象内存布局、Mark Word状态切换,详解锁升级(偏向→轻量→重量)全流程及JVM优化(锁消除/粗化),并结合JOL实战验证,兼顾理论深度与生产实用性。
517 2
|
2月前
|
安全 Java
深入理解 AQS:从架构到实现,解锁 Java 并发编程的核心密钥
本文深度解析Java并发核心基石——AbstractQueuedSynchronizer(AQS):详解其“volatile state + CLH虚拟队列”架构、独占/共享模式实现原理,并结合ReentrantLock、CountDownLatch、Semaphore源码,助你彻底掌握并发编程底层密钥。
253 10
|
2月前
|
存储 开发框架 架构师
软考系统架构师硬核通关笔记 - 计算机系统基础
本文专为软考系统架构师考生打造,直击计算机系统基础知识备考痛点:摒弃死记硬背,深度剖析CPU(运算器/控制器、CISC/RISC、GPU/DSP/FPGA)、存储体系(SRAM/DRAM/Cache映射与计算)、I/O控制(中断/DMA/通道)、总线接口及操作系统核心原理,并贯通分布式架构(CORBA/J2EE/DNA)与备考策略,强调场景理解与底层逻辑,助你高效通关。
266 5
|
2月前
|
监控 Java 数据库连接
Java 线程池核心参数设计与生产环境调优实战
本文系统解析Java线程池核心原理:详解七大参数(corePoolSize、maximumPoolSize等)、执行流程、队列类型选择及拒绝策略;深入讲解生产环境动态调优方法,含Spring Boot实战代码;并提供线程泄露与任务堆积的排查思路、工具及解决方案。
327 3
|
3月前
|
Java 数据中心
Java 并发核心:CountDownLatch、CyclicBarrier、Semaphore 原理吃透 + 生产级实战
本文深度解析JUC三大核心并发工具:CountDownLatch(一次性等待)、CyclicBarrier(可重用屏障)和Semaphore(信号量限流)。从AQS原理、源码关键点、生产实战、易混淆对比到避坑指南,五维讲透多线程协作本质,助力高并发系统稳定落地。
426 1
|
3月前
|
SQL 关系型数据库 Java
吃透 Seata 分布式事务:原理拆解 + 生产级落地 + 全场景避坑实战
本文深度解析阿里开源分布式事务框架Seata:剖析TC/TM/RM三大角色与全局事务流程,详解AT(零侵入)、TCC(强控制)、SAGA(长事务)、XA(强一致)四大模式原理、适用场景及核心对比,并通过电商下单实战演示AT模式落地,最后系统梳理生产环境高可用、SQL限制、幂等处理、XID传播等全链路避坑指南。
1028 4
|
3月前
|
存储 安全 算法
ThreadLocal 90% 开发者都踩过的坑:底层原理拆解、内存泄漏根治与架构级用法全解
本文深度解析ThreadLocal底层原理(JDK17源码级),直击多线程上下文串号、线程池OOM、traceId传递失效等高频痛点,详解内存泄漏本质(弱引用实为兜底优化)、根治方案(强制remove)及TTL等生产级实践,涵盖用户/trace/事务/数据源四大上下文场景与七大避坑指南。
447 2
|
9月前
|
安全
一文搞懂synchronized锁的升级过程
synchronized锁的升级过程包括偏向锁、轻量锁和重量级锁。偏向锁在无竞争时可重复使用,轻量锁通过CAS自旋实现多线程竞争,重量级锁则会导致线程阻塞,涉及用户态到内核态的切换。CAS(比较并交换)用于实现乐观锁,保证原子性操作,但可能引发CPU资源浪费。文中还展示了手写锁的升级实现代码。
513 0

热门文章

最新文章