锁降级流程:详述从写锁降级为读锁的步骤及为什么不支持从读锁升级为写锁

小墨同学_6427

小墨同学_6427

2026-05-23

914人浏览

原创

reentrantreadwritelock支持写锁降级为读锁,需严格按三步执行:先获取写锁、再获取读锁、最后释放写锁;禁止读锁升级,否则引发死锁与可见性问题。

锁降级流程:详述从写锁降级为读锁的步骤及为什么不支持从读锁升级为写锁

写锁降级为读锁的三步必须顺序执行

锁降级不是自动转换,而是线程主动、严格按序完成的显式操作。它只允许“写→读”单向降级,且三步缺一不可:

  • 第一步:获取写锁——调用 writeLock.lock(),确保当前线程独占临界区,可安全修改共享数据;
  • 第二步:在未释放写锁前获取读锁——立即调用 readLock.lock();此时因同一线程已持写锁,读锁重入成功,不会阻塞;
  • 第三步:释放写锁——调用 writeLock.unlock();释放瞬间触发内存屏障,使之前所有写操作对其他线程可见,而本线程仍持有读锁,继续受保护。

这三步构成原子性同步契约:写锁释放(happens-before)后续其他线程成功获取读锁的动作。跳过第二步、颠倒二三步、或在中间插入写操作,都会导致其他线程看到过期值或中间态。

为什么读锁不能升级为写锁

ReentrantReadWriteLock 明确禁止读锁升级,这不是实现限制,而是为规避根本性并发风险而做的强制设计:

  • 死锁必然发生:若线程 A、B 均持有读锁,又同时尝试获取写锁,则双方都在等对方释放读锁——形成循环等待;
  • 破坏读锁的共享语义:读锁本意是允许多线程并发读;一旦允许升级,就等于让某个读线程“悄悄抢占写权”,其他仍在读的线程无法感知变更,导致可见性断裂;
  • 升级后无法保证原子性:即使某线程侥幸升级成功并写入,它释放读锁前,其他线程仍可能拿着旧读锁继续读,看到的仍是降级前的数据。

所以,任何“先读再决定是否写”的逻辑,必须放弃升级幻想——直接用写锁兜底:不拿读锁,一开始就上写锁做判断和修改。

降级后读锁仍需手动释放

完成降级不等于操作结束。线程此时仅持有读锁,后续只读访问虽可并发,但该读锁必须由同一线程显式释放:

  • 忘记调用 readLock.unlock() 会导致读锁泄漏,后续所有写锁请求被永久阻塞;
  • 在 finally 块中配对释放,是唯一稳妥做法;
  • 多次降级(如嵌套场景)需注意读锁可重入计数,unlock 次数须与 lock 次数一致。

降级的价值在于平滑过渡:写完不急着放行写权,而是以读锁延续保护,既防止写后读被干扰,又开放并发读能力。

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

2026.09.30

20

10

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

2026.09.30

40

14

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

2026.09.30

20

12

PDF转图片方法
PDF转图片方法

需要把 PDF 页面用于上传、预览、分享或图片归档时,PDF 转图片方法专题整理 JPG/PNG 格式选择、逐页导出、清晰度设置、批量下载和结果检查等流程,帮助用户稳定完成 PDF 图片化处理。

2026.09.30

20

26

PixTV AI视频生成与无限画布创作
PixTV AI视频生成与无限画布创作

PixTV专题整理AI视频与视觉内容创作相关功能使用教程,涵盖AI生图、视频生成、无限画布、多模型创作、素材管理、声音音乐及视频剪辑等功能,帮助用户快速掌握PixTV从创意到成片的完整制作方法。

2026.09.29

20

15

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

2026.09.23

240

15

Buffalo框架路由与请求处理实操指南
Buffalo框架路由与请求处理实操指南

本专题讲解Buffalo框架路由与请求处理机制,涵盖路由注册与分组、资源路由、Handler编写规范、Context上下文方法、参数绑定、中间件编写挂载、Session与Cookie读写、Flash消息及错误页面定制方法。

2026.09.23

140

15

Buffalo框架零基础入门教程
Buffalo框架零基础入门教程

本专题整理Buffalo框架入门内容,涵盖Go环境准备、buffalo CLI安装、新项目生成、目录结构说明、dev热加载启动、数据库连接配置与常见报错排查,帮助新手按约定优于配置的思路跑通第一个Buffalo框架应用。

2026.09.23

120

15

Conan创建软件包配方指南
Conan创建软件包配方指南

本专题介绍通过conanfile.py创建软件包的方法,讲解包名、版本、依赖和构建设置等基础信息,以及source、build、package、package_info等常用方法的作用及编写思路。

2026.09.22

60

12

热门下载

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

精品课程

更多
热门推荐
/
最新课程
phpStudy极速入门视频教程
phpStudy极速入门视频教程

共6课时 | 54.6万人学习

独孤九贱(4)_PHP视频教程
独孤九贱(4)_PHP视频教程

共89课时 | 133.4万人学习