讲师中心 微信公众号
AI工具推荐 视频效率加速

JDK 源码中怎么剖析 Semaphore 的共享锁获取与释放过程

陌萱大大_2964

陌萱大大_2964

发布时间:2026-08-10 15:33:22

|

156人浏览过

|

来源于php中文网

原创

Semaphore共享锁基于AQS共享模式实现,核心是state原子操作与线程排队:acquire()触发tryAcquireShared()尝试获取许可,返回≥0则成功并唤醒后继;release()调用tryReleaseShared()释放许可并传播唤醒。

jdk 源码中怎么剖析 semaphore 的共享锁获取与释放过程

Semaphore 的共享锁获取与释放过程,本质上是基于 AQS(AbstractQueuedSynchronizer)的 共享模式 实现的,核心在于对 AQS 内部状态变量 state 的原子操作和线程排队机制。剖析时需聚焦 Sync 子类、tryAcquireShared / tryReleaseShared 方法,以及公平性逻辑差异。

共享锁获取:acquire() → tryAcquireShared()

调用 acquire() 后,最终进入 AQS 的 acquireSharedInterruptibly(),再委托给子类实现的 tryAcquireShared(int acquires)。该方法决定是否能成功获取许可:

  • 返回值 ≥ 0 表示获取成功,AQS 会继续唤醒后续共享节点;
  • 返回值

关键逻辑在 Sync 的两个子类中:

Alibabacloud Sdk Client Initialization For Java
Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载
  • 非公平模式(NonfairSync):直接尝试 CAS 修改 state(即许可数),不检查队列是否有等待者。只要剩余许可足够,就立即更新成功;
  • 公平模式(FairSync):先调用 hasQueuedPredecessors() 判断队列头部是否有其他等待线程,若有则直接返回 -1(失败),避免插队;只有队列为空或当前线程是队首时,才执行 CAS。

共享锁释放:release() → tryReleaseShared()

release() 调用 AQS 的 releaseShared(),进而触发子类重写的 tryReleaseShared(int releases)。该方法负责安全地增加许可数:

  • 使用无限循环 + CAS 原子更新 state,防止并发 release 导致计数错误;
  • 成功后返回 true,AQS 会唤醒队列中等待的共享节点(即阻塞的 acquire 线程);
  • 注意:release 不校验调用线程是否曾 acquire 过,也不限制释放数量——可超额释放(如 state=2 时 release(5),state 变为 7),这与 ReentrantLock 严格配对不同。

state 的语义与边界处理

state 在 Semaphore 中纯粹表示“可用许可数”,初始值由构造参数 permits 设定:

  • acquire 时:执行 state = state - acquires,若结果
  • release 时:执行 state = state + releases,无上限(除非溢出,但实践中极少发生);
  • 不区分线程身份——同一线程多次 acquire 会持续减少 state,多次 release 会持续增加,不具备重入性。

阻塞与唤醒的协作机制

当 acquire 失败时,线程被封装为 Node 加入 AQS 同步队列,以共享模式(Node.SHARED)入队;release 成功后,AQS 遍历队列,从头开始唤醒所有标记为 SHARED 的连续节点(即支持“传播唤醒”),确保多个等待线程能依次获取许可。这种设计天然适配“一批资源供多线程争用”的场景,比如限流、连接池控制。

热门AI工具

更多
音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

LibLibAI
LibLibAI Hot

一款AI视频创作工具,主要用于国内领先的AI创意平台,以海量模型、低门槛操作与“创作-分享-商业化”生态,让小白与专业创作者都能高效实现图文乃至视频创意表达,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

相关专题

更多
golang map内存释放
golang map内存释放

本专题整合了golang map内存相关教程,阅读专题下面的文章了解更多相关内容。

450

2025.09.05

golang map相关教程
golang map相关教程

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

323

2025.11.16

golang map原理
golang map原理

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

493

2025.11.17

java判断map相关教程
java判断map相关教程

本专题整合了java判断map相关教程,阅读专题下面的文章了解更多详细内容。

243

2025.11.27

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

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

160

2026.09.23

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

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

80

2026.09.23

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

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

80

2026.09.23

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

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

40

2026.09.22

Conan二进制包配置指南
Conan二进制包配置指南

本专题介绍Conan根据操作系统、编译器、架构和构建类型生成二进制包的方法,讲解Profile、Settings、Options及Package ID的作用,帮助管理不同平台和编译环境下的包版本。

60

2026.09.22

热门下载

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

精品课程

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

共0课时 | 0人学习

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

共0课时 | 0人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn