Java 中怎么使用 StampedLock 的乐观读转写锁保证一致性

阿明大大_8583

阿明大大_8583

2026-08-10

331人浏览

原创

StampedLock 的乐观读不能直接升级为写锁,因其 stamp 仅为校验标记、不持有锁资源;正确流程是:乐观读失败后降级为悲观读重读,再获取写锁执行修改,并在写锁内二次校验。

java 中怎么使用 stampedlock 的乐观读转写锁保证一致性

StampedLock 的乐观读本身不能直接“转”为写锁,它不支持从 tryOptimisticRead() 获取的 stamp 升级为写锁。这是设计上的明确限制:乐观读只是轻量校验,不持有任何锁资源,因此无法安全升级。要保证一致性,正确做法是「先验证失败 → 降级为悲观读(可选)→ 显式获取写锁」,或更常见的是「绕过乐观读,直接用悲观读 + 写锁协作」。

为什么不能直接乐观读转写锁

乐观读返回的 stamp 是一个特殊标记(非锁持有凭证),仅用于后续 validate() 校验。它不阻塞写操作,也不参与锁状态计数。一旦 validate 失败,说明期间有写入发生,此时原乐观读数据已不可信——强行“升级”会破坏线程安全,JVM 也未提供该 API(tryConvertToWriteLock() 只接受 readLock 或 writeLock 的 stamp,不接受 optimistic stamp)。

保证一致性的标准流程

当业务逻辑需要“读—判断—写”原子性(例如:余额充足才扣款),应按以下步骤组织:

sc-java-to-ts-interface
sc-java-to-ts-interface

将后端 Java 接口文档转换为前端 TypeScript 类型定义(interface / type)。输入:飞书文档、Spring Boot 接口文档、Swagger/OpenAPI、手写 API 文档等。输出:包含请求参数与响应结果的 .md 文件,含完整 JSDoc 注释。触发关键词:Java 转 TS、接口转换、生成前端类型、接口文档转 TypeScript、DTO/VO/BO 转 interface、后端文档转前端类型、生成接口类型、类型定义生成。

下载
  • 先尝试乐观读:快速读取关键字段到局部变量,调用 validate() 检查是否被修改
  • 验证失败时,获取悲观读锁再重读:确保拿到最新一致快照(避免反复乐观失败)
  • 基于最新值做业务判断,再申请写锁执行修改:写锁保证独占,写完立即释放
  • 全程使用同一个 stamp 链路:悲观读的 stamp 用于 unlockRead,写锁 stamp 用于 unlockWrite

典型代码结构

以账户扣款为例:

public boolean withdraw(double amount) {
    long stamp = sl.tryOptimisticRead();
    double currentBalance = balance;
    if (!sl.validate(stamp)) {
        // 乐观读失效,降级为悲观读
        stamp = sl.readLock();
        try {
            currentBalance = balance;
        } finally {
            sl.unlockRead(stamp);
        }
    }
    // 业务判断(注意:此时 currentBalance 是可靠快照)
    if (currentBalance = amount) {
            balance -= amount;
            return true;
        }
        return false;
    } finally {
        sl.unlockWrite(writeStamp);
    }
}

关键细节提醒

这段逻辑里有三个容易忽略但至关重要的点:

  • 二次校验不可省略:即使刚用悲观读拿到 balance,写锁临界区内仍需再 check 一次。因为悲观读释放后、写锁获取前存在微小窗口
  • 悲观读与写锁必须分离:不能在持有悲观读锁时直接调用 writeLock()(会死锁),必须先 unlockRead
  • 乐观读只适合简单字段读取:不能在乐观读期间调用外部方法或访问对象嵌套字段(如 user.getAddress().getCity()),否则 validate 无法覆盖全部依赖路径

Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南

相关文章

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

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

下载

相关标签:

java

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

相关专题

更多
java
java

Java是一个通用术语,用于表示Java软件及其组件,包括“Java运行时环境 (JRE)”、“Java虚拟机 (JVM)”以及“插件”。php中文网还为大家带了Java相关下载资源、相关课程以及相关文章等内容,供大家免费下载使用。

2023.06.15

11297

6

java正则表达式语法
java正则表达式语法

java正则表达式语法是一种模式匹配工具,它非常有用,可以在处理文本和字符串时快速地查找、替换、验证和提取特定的模式和数据。本专题提供java正则表达式语法的相关文章、下载和专题,供大家免费下载体验。

2023.07.05

8402

9

java自学难吗
java自学难吗

Java自学并不难。Java语言相对于其他一些编程语言而言,有着较为简洁和易读的语法,本专题为大家提供java自学难吗相关的文章,大家可以免费体验。

2023.07.31

7252

8

java配置jdk环境变量
java配置jdk环境变量

Java是一种广泛使用的高级编程语言,用于开发各种类型的应用程序。为了能够在计算机上正确运行和编译Java代码,需要正确配置Java Development Kit(JDK)环境变量。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.01

1204

3

java保留两位小数
java保留两位小数

Java是一种广泛应用于编程领域的高级编程语言。在Java中,保留两位小数是指在进行数值计算或输出时,限制小数部分只有两位有效数字,并将多余的位数进行四舍五入或截取。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.08.02

968

3

java基本数据类型
java基本数据类型

java基本数据类型有:1、byte;2、short;3、int;4、long;5、float;6、double;7、char;8、boolean。本专题为大家提供java基本数据类型的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

1456

5

java有什么用
java有什么用

java可以开发应用程序、移动应用、Web应用、企业级应用、嵌入式系统等方面。本专题为大家提供java有什么用的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.02

2969

5

java在线网站
java在线网站

Java在线网站是指提供Java编程学习、实践和交流平台的网络服务。近年来,随着Java语言在软件开发领域的广泛应用,越来越多的人对Java编程感兴趣,并希望能够通过在线网站来学习和提高自己的Java编程技能。php中文网给大家带来了相关的视频、教程以及文章,欢迎大家前来学习阅读和下载。

2023.08.03

20231

3

配置java环境变量
配置java环境变量

配置Java环境变量是为了让操作系统能够识别和使用Java的相关命令和功能。本专题为大家提供配置java环境变量相关文章,帮助大家解决问题。

2023.08.03

1315

8

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
dev.java 官方:Learn Java
dev.java 官方:Learn Java

共0课时 | 0人学习

Java JDBC数据库连接官方教程
Java JDBC数据库连接官方教程

共0课时 | 0人学习