0

0

什么是Java中的可重入性_同一线程多次获取同一把锁不会被阻塞的底层计数器设计

P粉602998670

P粉602998670

发布时间:2026-03-13 12:27:13

|

957人浏览过

|

来源于php中文网

原创

Java中synchronized能重入是因为每个锁对象(monitor)内部维护一个count计数器,线程首次获取锁时count置1,重入时递增、退出时递减,仅当count归零才真正释放锁。

什么是java中的可重入性_同一线程多次获取同一把锁不会被阻塞的底层计数器设计

Java中synchronized为什么能重入?靠的是每个锁对象里的count字段

Java里synchronized支持同一线程反复进入同一把锁,不是靠“放行特权”,而是每个锁对象(即monitor)内部维护一个count计数器。线程第一次获取锁时,count从0变成1;再次进入时只加1,不阻塞;退出同步块时减1,直到count归零才真正释放锁。

这个设计意味着:锁的归属权只认线程ID,不认调用次数;只要持有锁的线程自己再进,就无条件允许——这是可重入性的本质。

  • 常见错误现象:IllegalMonitorStateException通常不是因为不可重入,而是调用了wait()/notify()但没在synchronized块里,或Lock对象被误用(比如ReentrantLock没配对lock()/unlock()
  • 使用场景:递归方法、模板方法模式(父类同步,子类回调)、AOP代理中重复织入同步逻辑
  • 性能影响:计数器操作是原子的,但每次进出仍需CAS更新count,比无锁开销略高;不过远小于阻塞/唤醒线程的代价

ReentrantLockgetHoldCount()能直接看到当前线程持锁次数

ReentrantLock把可重入性暴露得更直白——它提供getHoldCount()方法,返回当前线程对该锁的持有次数。而synchronized完全隐藏了计数细节,你没法读取或干预。

这带来两个实际差异:

立即学习Java免费学习笔记(深入)”;

  • 调试时,用ReentrantLock可以打印lock.getHoldCount()确认是否意外多持有了锁(比如异常路径漏了unlock()
  • ReentrantLock支持公平/非公平模式,但公平模式下重入不插队——同一线程重入时仍要排队,这点和synchronized不同(synchronized永远优先让持有者继续)
  • 参数差异:ReentrantLock(true)开启公平锁,会降低吞吐量,但避免饥饿;默认false(非公平)更贴近synchronized行为

可重入≠线程安全:锁计数器不管共享变量的可见性

很多人以为“能重入就说明线程安全”,其实不然。可重入性只解决“能不能进”的问题,不解决“进来了看到什么”的问题。

PathFinder
PathFinder

AI驱动的销售漏斗分析工具

下载

比如一个synchronized方法里修改了某个static变量,另一个线程在非同步代码里读它,依然可能看到旧值——因为没有happens-before保证。

  • 容易踩的坑:在重入代码块里依赖未同步的volatile字段做判断,或误以为多次加锁增强了内存屏障效果
  • 正确做法:可重入性 + 正确的同步范围 + 必要的volatile修饰(如状态标志),三者缺一不可
  • 兼容性注意:synchronized在JVM各版本语义稳定;而ReentrantLocktryLock(long, TimeUnit)在低版本Android上可能有精度偏差

字节码层面看synchronized怎么记录重入次数

编译后的synchronized方法或代码块,最终由monitorentermonitorexit指令实现。JVM规范明确要求:每个monitorenter必须对应一次计数器+1,每个monitorexit对应-1;且只有当计数器为0时,才允许其他线程进入。

你可以用javap -v反编译验证:

public void recursive() {
  synchronized(this) {
    if (depth < 5) {
      depth++;
      recursive();
    }
  }
}

你会发现,无论递归几层,字节码里都只有两对monitorenter/monitorexit——JVM在运行时靠锁对象的count字段撑住整个重入链。

复杂点在于:这个count不是Java堆里的普通字段,而是存在对象头的mark word里(偏向锁/轻量级锁状态下复用位域),所以你看不到它,也改不了它。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

203

2023.11.20

counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

203

2023.11.20

counta和count的区别
counta和count的区别

Count函数用于计算指定范围内数字的个数,而CountA函数用于计算指定范围内非空单元格的个数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

203

2023.11.20

c++中volatile关键字的作用
c++中volatile关键字的作用

本专题整合了c++中volatile关键字的相关内容,阅读专题下面的文章了解更多详细内容。

76

2025.10.23

堆和栈的区别
堆和栈的区别

堆和栈的区别:1、内存分配方式不同;2、大小不同;3、数据访问方式不同;4、数据的生命周期。本专题为大家提供堆和栈的区别的相关的文章、下载、课程内容,供大家免费下载体验。

443

2023.07.18

堆和栈区别
堆和栈区别

堆(Heap)和栈(Stack)是计算机中两种常见的内存分配机制。它们在内存管理的方式、分配方式以及使用场景上有很大的区别。本文将详细介绍堆和栈的特点、区别以及各自的使用场景。php中文网给大家带来了相关的教程以及文章欢迎大家前来学习阅读。

605

2023.08.10

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

765

2023.08.10

android开发三大框架
android开发三大框架

android开发三大框架是XUtil框架、volley框架、ImageLoader框架。本专题为大家提供android开发三大框架相关的各种文章、以及下载和课程。

339

2023.08.14

TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.4万人学习

C# 教程
C# 教程

共94课时 | 11.3万人学习

Java 教程
Java 教程

共578课时 | 81.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号