0

0

什么是Java中的读写锁降级_保持写锁的同时获取读锁以保证数据一致性的实现

P粉602998670

P粉602998670

发布时间:2026-03-14 14:12:12

|

907人浏览过

|

来源于php中文网

原创

ReentrantReadWriteLock不支持锁降级:不允许先持有写锁再直接获取读锁,否则会导致死锁;正确做法是先显式获取读锁,再释放写锁,且必须无间隙、同线程完成。

什么是java中的读写锁降级_保持写锁的同时获取读锁以保证数据一致性的实现

Java中ReentrantReadWriteLock不支持锁降级

直接说结论:ReentrantReadWriteLock不允许“先持有写锁,再获取读锁”——也就是所谓“锁降级”在API层面被明确禁止。调用readLock().lock()时如果当前线程已持有写锁,会直接死锁(或无限阻塞,取决于是否使用tryLock())。

这不是bug,是设计使然。JDK文档明确写道:“A write lock can be downgraded to a read lock by acquiring the read lock and then releasing the write lock”,但注意——它要求你**先显式获取读锁,再释放写锁**,中间不能有间隙,且必须由同一个线程完成。而现实中,很多人误以为可以“在写锁未释放时直接调readLock().lock()”,这行不通。

  • 常见错误现象:Thread AwriteLock,接着调readLock().lock() → 线程卡住,CPU空转,jstack可见WAITING on AbstractQueuedSynchronizer$ConditionObject
  • 根本原因:锁状态是单个int字段的高位(读锁计数)+低位(写锁重入数),写锁独占时,读锁获取逻辑会检查“当前无其他写锁持有者”,但忽略自己——可JDK偏偏又加了线程身份校验,禁止同一线程重复进入读锁段(避免计数错乱)
  • 兼容性影响:所有JDK版本(5–21)行为一致,别指望升级解决

真·锁降级的唯一安全写法:先抢读锁,再放写锁

想实现“写完立刻以读视角继续访问,且保证中间不被其他写线程插队”,只能靠顺序严谨的三步:获取读锁 → 释放写锁 → 继续读操作。关键在于,这两把锁的交接必须原子、无间隙。

示例代码核心逻辑:

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

Napkin AI
Napkin AI

Napkin AI 可以将您的文本转换为图表、流程图、信息图、思维导图视觉效果,以便快速有效地分享您的想法。

下载
// 假设已持有 writeLock
// Step 1:尝试非阻塞获取读锁(必须用 tryLock,否则可能死锁)
if (!readLock.tryLock()) {
    // 失败说明有其他写线程正在竞争,需退避或重试
    writeLock.unlock();
    throw new IllegalStateException("Failed to acquire read lock for downgrade");
}
// Step 2:立即释放写锁(此时读锁已稳稳持有)
writeLock.unlock();
// Step 3:安全读取(其他线程可并发读,但无法写)
return cachedData;
  • 为什么必须用tryLock()?因为lock()会阻塞,而你已持写锁,一旦读锁被其他线程占满(比如12个读线程),你自己也会被挂起——形成自锁
  • 性能代价:多一次CAS争抢(读锁获取),但换来的是数据一致性保障;相比全量加写锁跑完再放开,整体吞吐通常更高
  • 容易踩的坑:忘记在tryLock()失败后释放写锁,导致锁泄漏;或者没做异常兜底,让写锁永远不释放

替代方案:用StampedLock更简洁地处理读写切换

如果你真正想要的是“写完立刻转为乐观读/悲观读,且不希望手动管理两把锁”,StampedLock才是更现代的选择。它的tryConvertToReadLock(long)能直接把写戳记(stamp)转成读戳记,失败则返回0,不阻塞。

典型用法:

long stamp = sl.writeLock();
try {
    // 修改数据
    data = newData;
    // 尝试降级:把写戳记转为读戳记
    long readStamp = sl.tryConvertToReadLock(stamp);
    if (readStamp != 0) {
        stamp = readStamp; // 成功,继续用这个stamp读
    } else {
        // 失败,说明有其他写线程介入,需重新获取读锁
        stamp = sl.readLock();
    }
    return data; // 安全返回
} finally {
    sl.unlock(stamp); // 一把unlock收尾
}
  • 优势:StampedLock无锁饥饿问题,支持乐观读(validate()),适合读多写少场景
  • 注意点:它不支持重入,也不与Condition配合;tryConvertToReadLock仅在无其他写线程竞争时成功,不是100%可靠,需配合失败回退
  • 兼容性:JDK 8+,低版本不可用

为什么“保持写锁同时读”本质上危险?

这个问题背后常藏着一个隐含假设:“我写完了,数据已一致,读一下没问题”。但JVM指令重排、CPU缓存可见性、GC safepoint插入,都可能让“写完”和“读到最新值”之间出现裂缝。真正的安全边界不是“写操作结束”,而是“锁释放并重新获取”的内存屏障时机。

  • 最容易被忽略的一点:即使你绕过ReentrantReadWriteLock限制(比如用两个独立ReentrantLock模拟),也无法获得读写锁组合的语义保障——比如读锁的共享性、写锁的排他性、以及两者之间的互斥规则
  • 另一个盲区:很多业务以为“只读自己刚写的对象”就不用锁,但若该对象被其他线程作为参数传递、放入全局容器、或触发监听器回调,就会暴露竞态
  • 复杂点始终在边界上:锁降级不是语法糖,它是对“修改-发布-消费”这一整条内存可见性链路的精确控制,少一步,就可能在高并发下偶现脏读

热门AI工具

更多
DeepSeek
DeepSeek

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

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

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

1051

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

615

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

335

2025.08.29

C++中int的含义
C++中int的含义

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

235

2025.08.29

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

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

766

2023.08.10

Java 并发编程高级实践
Java 并发编程高级实践

本专题深入讲解 Java 在高并发开发中的核心技术,涵盖线程模型、Thread 与 Runnable、Lock 与 synchronized、原子类、并发容器、线程池(Executor 框架)、阻塞队列、并发工具类(CountDownLatch、Semaphore)、以及高并发系统设计中的关键策略。通过实战案例帮助学习者全面掌握构建高性能并发应用的工程能力。

100

2025.12.01

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

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

42

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

79

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

234

2026.03.11

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
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号