如何利用 LockSupport 的 park/unpark 机制构建比 wait/notify 更灵活的同步器

陌婷大大_7401

陌婷大大_7401

2026-04-24

359人浏览

原创

locksupport.park/unpark不是wait/notify升级版,而是不依赖monitor、不释放锁、支持唤醒前置、仅绑定线程的底层原语;其通过线程私有permit实现信号暂存,避免notify丢失,但需手动管理锁状态、可见性、中断响应及状态流转。

如何利用 locksupport 的 park/unpark 机制构建比 wait/notify 更灵活的同步器

LockSupport.park/unpark 不是 wait/notify 的升级版,而是另一套底层原语:它不依赖 monitor、不释放锁、允许唤醒前置、只绑定线程。直接用它写同步器,能绕过 synchronized 语义限制,但必须自己管好锁状态和线程可见性。

为什么 park/unpark 能避免 notify 丢失问题

wait/notify 的信号丢失,本质是 notify 在 wait 进入阻塞前发出,而 JVM 不保存该信号;park/unpark 则靠每个线程内部一个二元 permit(0 或 1)实现信号暂存:

  • unpark(t) 总是把 t 的 permit 设为 1,不管 t 当前是否在运行或已 park
  • park() 检查自身 permit:是 1 就置为 0 并立即返回;是 0 才真正挂起
  • 连续调用多次 unpark(t),permit 仍为 1 —— 不叠加,但也不会丢

这意味着你可以在工作线程启动前就 unpark(worker),它后续第一次 park() 会直接跳过阻塞。而 notify() 对未进入 wait() 的线程完全无效。

park 不释放锁,所以 acquire 必须手动 unlock

这是最常踩的坑:很多人在 synchronized 块里或 ReentrantLock.lock() 后直接 park(),以为像 wait() 那样自动释放锁 —— 实际上不会。

  • park() 只挂起线程,monitor 或 AQS state 状态全都不动
  • 若在 synchronized(obj) { ... LockSupport.park(); } 中 park,obj 的锁一直被占着,别的线程进不来
  • 正确做法是:先更新共享状态(如 CAS 修改 state),再判断是否需 park;若 park,必须确保此前没持有可能阻塞他人的锁

典型错误示例:

AI舌诊面诊问诊医疗系统+诊疗商城系统源码
AI舌诊面诊问诊医疗系统+诊疗商城系统源码

AI 舌诊面诊问诊医疗系统 + 诊疗商城系统源码是一套结合 AI 辅助诊断与商品转化的健康类程序,基于浩创云、ThinkPHP(PHP)开发,支持微信服务号与 H5 端,适合做中医舌诊面诊问答、健康建议推送以及配套诊疗商品的运营。

下载
lock.lock();<br>if (!canProceed()) {<br>    LockSupport.park(); // ❌ 锁没释放,别人无法修改状态唤醒你<br>}

blocker 参数不是功能必需,但调试时救命

park(Object blocker) 中的 blocker 不影响阻塞逻辑,只用于线程 dump 时标识上下文:

  • jstack 输出中能看到类似 java.lang.Thread.State: WAITING (parking to wait for a condition),后面跟着 at java.util.concurrent.locks.LockSupport.park(LockSupport.java:xxx),但没更多信息
  • 传入 this、stateRef 或字符串如 "MyLatch#await",jstack 就会显示 parking to wait for <mylatch></mylatch>
  • 调试时用 LockSupport.getBlocker(Thread) 可实时查当前 blocker,辅助定位卡点

别传 null —— 虽然不报错,但 dump 里啥都看不到。

中断不自动响应,必须主动检查 Thread.interrupted()

park() 不抛 InterruptedException,也不清中断标志,所以线程可能“假醒”或“真中断后继续跑”:

  • 如果线程被中断后调用 park(),它会立刻返回,但 Thread.interrupted() 为 true
  • 如果在 park() 中被中断,它也立刻返回,且中断状态仍为 true
  • 因此标准写法是:
    while (!shouldProceed()) {<br>    LockSupport.park(this);<br>    if (Thread.interrupted()) {<br>        throw new InterruptedException();<br>    }<br>}

漏掉中断检查,你的同步器在被中断时不会响应,也无法向上层传播异常 —— 这在 Future.get(long, TimeUnit) 类场景里是严重缺陷。

真正难的不是调用 park 和 unpark,而是设计状态流转规则:什么时候该 unpark、谁负责 unpark、permit 消费后如何防止重复消费、多个线程竞争时怎么保证 state 变更与 park/unpark 顺序一致。这些没有现成语法糖,全靠 CAS + volatile + 显式内存屏障撑起来。

相关专题

更多
java
java

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

2023.06.15

10457

6

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

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

2023.07.05

7582

9

java自学难吗
java自学难吗

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

2023.07.31

6632

8

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

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

2023.08.01

1144

3

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

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

2023.08.02

928

3

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

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

2023.08.02

1376

5

java有什么用
java有什么用

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

2023.08.02

2749

5

java在线网站
java在线网站

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

2023.08.03

20071

3

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

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

2023.08.03

1215

8

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程