怎么利用 Unsafe 类的 park 与 unpark 构建自定义的高性能轻量级同步组件

小瑶大大_7202

小瑶大大_7202

2026-04-29

603人浏览

原创

不该直接调用 Unsafe.park/unpark,因其无中断检查、无许可证累积、无 blocker 诊断、模块化受限;应使用 LockSupport,它提供安全、可诊断、可中断的 park/unpark 封装。

怎么利用 unsafe 类的 park 与 unpark 构建自定义的高性能轻量级同步组件

不能直接用 Unsafe.park 和 Unsafe.unpark 构建生产级同步组件 —— 它们是 JVM 底层原语,没有许可证累积保护、不检查中断状态、不设 blocker 诊断信息,且 Unsafe 类本身在 JDK 9+ 默认不可反射访问(模块系统限制),强行绕过会触发 IllegalAccessError 或启动失败。

为什么不该直接调用 Unsafe.park/unpark

直接调用 Unsafe.park 会跳过 LockSupport 层的所有安全封装:

  • Unsafe.park(false, 0) 不感知线程中断,Thread.interrupt() 后仍无限阻塞;而 LockSupport.park() 内部会检查中断位并提前返回
  • 没有许可证预存逻辑:若先 Unsafe.unpark(t) 再 Unsafe.park(),许可证丢失,线程永久 WAITING(LockSupport 能保证“unpark 先发也有效”)
  • 无法在 jstack 中显示阻塞对象(blocker),排查时只能看到 parking to wait for ,无上下文
  • JDK 17+ 默认禁止通过反射获取 Unsafe.getUnsafe(),需加 --add-opens java.base/jdk.internal.misc=ALL-UNNAMED 启动参数,违背模块化设计原则

真正该用的接口:LockSupport 的 park/unpark

LockSupport 就是专为“构建同步组件”设计的轻量级门面 —— 它把 Unsafe 的裸操作包装成线程安全、可诊断、可中断的稳定 API:

  • LockSupport.park() 等价于 Unsafe.park(false, 0),但自带中断检查和许可证缓存
  • LockSupport.parkNanos(long) 使用纳秒级相对时间,精度高于 Thread.sleep(),且唤醒后不抛 InterruptedException,适合自旋+阻塞混合策略
  • LockSupport.park(Object blocker) 传入锁对象(如 this 或 Node 实例),jstack 中显示为 parking to wait for (a MyLock$Sync),问题定位一目了然
  • LockSupport.unpark(Thread) 是唯一能精准唤醒指定线程的方法,比 Object.notify() 更可控,无虚假唤醒风险

在 AQS 风格同步器中如何正确使用

所有可靠自定义锁(如 ReentrantLock、CountDownLatch)都基于 LockSupport + FIFO 队列实现。关键点不是“怎么挂起”,而是“挂起前确保排队成功、唤醒时确保目标在线”:

  • 阻塞前必须将当前线程封装为 Node 加入 CLH 队列,并用 CAS 设置前驱节点的 waitStatus = Node.SIGNAL,否则 unpark 可能唤醒错人
  • 唤醒时不要直接 unpark(node.thread),要先用 compareAndSetWaitStatus(node, Node.SIGNAL, 0) 确保该节点仍处于等待态,避免重复唤醒或漏唤醒
  • 不要在 park 后立刻读共享变量 —— 必须配合 volatile 读或 Unsafe.loadFence(),否则可能看到过期值(JVM 可能重排序)
  • 示例节选(简化版自旋+park):
    while (!tryAcquire(arg)) {<br>  if (shouldParkCurrentThread()) {<br>    LockSupport.park(this); // this 作为 blocker<br>    if (Thread.interrupted()) break;<br>  }<br>}

性能边界与容易被忽略的细节

高频调用 park/unpark 本身开销极低(纳秒级),但真实瓶颈往往藏在别处:

  • 每次 park 都触发一次内核态的 pthread_cond_wait,若线程在用户态频繁进出阻塞态(如短超时轮询),反而比纯自旋更慢
  • unpark 不是“发送信号”,而是设置一个内存标记(Parker::_counter),若目标线程正在执行而非阻塞,该标记会被消费掉 —— 这就是许可证模型的本质,也是它比 notify 更可靠的原因
  • 虚拟线程(Loom)下,LockSupport.park 不阻塞平台线程,但 Unsafe.park 行为未定义,切勿混用
  • 永远不要假设 park 返回就代表“已被 unpark”—— 它也可能因中断、超时、或 JVM 内部原因返回,必须重新校验条件(即 while 循环包裹)
数码产品性能查询
数码产品性能查询

该软件包括了市面上所有手机CPU,手机跑分情况,电脑CPU,电脑产品信息等等,方便需要大家查阅数码产品最新情况,了解产品特性,能够进行对比选择最具性价比的商品。

下载

相关标签:

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

相关专题

更多
java
java

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

2023.06.15

12457

6

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

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

2023.07.05

9542

9

java自学难吗
java自学难吗

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

2023.07.31

8132

8

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

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

2023.08.01

1304

3

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

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

2023.08.02

1048

3

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

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

2023.08.02

1556

5

java有什么用
java有什么用

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

2023.08.02

3269

5

java在线网站
java在线网站

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

2023.08.03

20491

3

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

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

2023.08.03

1415

8

热门下载

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

精品课程

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

共6课时 | 54.7万人学习

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

共89课时 | 134.3万人学习