深入拆解 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. 合理设置锁的粒度,避免锁范围过大影响性能。
目录
相关文章
|
7天前
|
人工智能 数据可视化 安全
王炸组合!阿里云 OpenClaw X 飞书 CLI,开启 Agent 基建狂潮!(附带免费使用6个月服务器)
本文详解如何用阿里云Lighthouse一键部署OpenClaw,结合飞书CLI等工具,让AI真正“动手”——自动群发、生成科研日报、整理知识库。核心理念:未来软件应为AI而生,CLI即AI的“手脚”,实现高效、安全、可控的智能自动化。
34477 17
王炸组合!阿里云 OpenClaw X 飞书 CLI,开启 Agent 基建狂潮!(附带免费使用6个月服务器)
|
19天前
|
人工智能 JSON 机器人
让龙虾成为你的“公众号分身” | 阿里云服务器玩Openclaw
本文带你零成本玩转OpenClaw:学生认证白嫖6个月阿里云服务器,手把手配置飞书机器人、接入免费/高性价比AI模型(NVIDIA/通义),并打造微信公众号“全自动分身”——实时抓热榜、AI选题拆解、一键发布草稿,5分钟完成热点→文章全流程!
45307 142
让龙虾成为你的“公众号分身” | 阿里云服务器玩Openclaw
|
8天前
|
人工智能 JSON 监控
Claude Code 源码泄露:一份价值亿元的 AI 工程公开课
我以为顶级 AI 产品的护城河是模型。读完这 51.2 万行泄露的源码,我发现自己错了。
4872 21
|
1天前
|
人工智能 自然语言处理 安全
Claude Code 全攻略:命令大全 + 实战工作流(建议收藏)
本文介绍了Claude Code终端AI助手的使用指南,主要内容包括:1)常用命令如版本查看、项目启动和更新;2)三种工作模式切换及界面说明;3)核心功能指令速查表,包含初始化、压缩对话、清除历史等操作;4)详细解析了/init、/help、/clear、/compact、/memory等关键命令的使用场景和语法。文章通过丰富的界面截图和场景示例,帮助开发者快速掌握如何通过命令行和交互界面高效使用Claude Code进行项目开发,特别强调了CLAUDE.md文件作为项目知识库的核心作用。
1966 6
Claude Code 全攻略:命令大全 + 实战工作流(建议收藏)
|
7天前
|
人工智能 API 开发者
阿里云百炼 Coding Plan 售罄、Lite 停售、Pro 抢不到?最新解决方案
阿里云百炼Coding Plan Lite已停售,Pro版每日9:30限量抢购难度大。本文解析原因,并提供两大方案:①掌握技巧抢购Pro版;②直接使用百炼平台按量付费——新用户赠100万Tokens,支持Qwen3.5-Max等满血模型,灵活低成本。
1809 5
阿里云百炼 Coding Plan 售罄、Lite 停售、Pro 抢不到?最新解决方案