怎么用原生代码证明 Semaphore 允许由 A 线程扣减凭证却由 B 线程异步执行释放的奇特解耦语义

阿辰大大_1901

阿辰大大_1901

2026-05-31

962人浏览

原创

semaphore核心语义是许可获取与释放可由不同线程完成,基于aqs的无owner原子计数器实现,不校验线程身份,支持异步回调、超时清理等真实场景。

怎么用原生代码证明 semaphore 允许由 a 线程扣减凭证却由 b 线程异步执行释放的奇特解耦语义

Semaphore 的核心语义之一,正是“获取与释放可由不同线程完成”——它不绑定线程身份,只维护一个原子计数器。这种解耦不是“奇特”,而是设计本意,也是其区别于 ReentrantLock(必须同线程加锁/解锁)的关键特征。下面用 Java 原生代码直接证明这一点。

用最简 Java 示例验证跨线程 release

以下代码中:

  • 主线程(A)调用 acquire() 获取许可后,不释放;
  • 另起一个独立子线程(B),在延迟后调用 release();
  • 再由第三个线程(C)成功 acquire(),证明许可已被 B 正确归还。

全程无任何异常,且输出顺序清晰可验证:

import java.util.concurrent.Semaphore;

public class SemaphoreCrossThreadRelease {
    public static void main(String[] args) throws InterruptedException {
        Semaphore sem = new Semaphore(1); // 初始 1 个许可

        // A 线程:获取许可
        System.out.println("A: acquiring...");
        sem.acquire(); // 计数器 → 0
        System.out.println("A: acquired, now count = " + sem.availablePermits());

        // B 线程:异步释放(非 A 线程)
        Thread bThread = new Thread(() -> {
            try {
                Thread.sleep(300);
                System.out.println("B: releasing...");
                sem.release(); // 计数器 → 1
                System.out.println("B: released, now count = " + sem.availablePermits());
            } catch (InterruptedException e) {
                Thread.currentThread().interrupt();
            }
        }, "B-Thread");
        bThread.start();

        // C 线程:等待并尝试获取(验证 B 是否生效)
        Thread cThread = new Thread(() -> {
            try {
                System.out.println("C: waiting to acquire...");
                sem.acquire(); // 此处将被阻塞,直到 B release 后才返回
                System.out.println("C: acquired successfully — proof of cross-thread release!");
            } catch (InterruptedException e) {
                Thread.currentThread().interrupt();
            }
        }, "C-Thread");
        cThread.start();

        cThread.join();
        bThread.join();
    }
}

为什么这能成立?看底层机制

Java Semaphore 基于 AQS(AbstractQueuedSynchronizer),其状态(state)是纯数值、线程无关的:

  • acquire() → 对 state 执行 CAS 减操作;
  • release() → 对 state 执行 CAS 加操作;
  • 所有操作都通过 Unsafe.compareAndSetInt 保证原子性,不记录调用线程 ID;
  • 唤醒逻辑只依赖队列中等待节点,与谁释放无关。

对比 ReentrantLock 就更清楚

若换成 ReentrantLock:

  • A 线程 lock() 后,B 线程调用 unlock() 会抛 IllegalMonitorStateException;
  • 因为 ReentrantLock 内部持有 exclusiveOwnerThread 字段,强制归属校验;
  • 而 Semaphore 没有 owner 概念,只有 state 和 FIFO 等待队列。

实际意义不止是“能用”,而是刚需

这种解耦支撑了真实场景:

  • 异步 I/O 回调释放资源:主线程发请求 → Netty EventLoop 收到响应 → 在回调中 release;
  • 超时自动清理:A 获取许可后启动定时任务,到期由 TimerThread 调用 release;
  • 资源池归还:连接从线程 T1 借出,由连接检测线程 T2 在空闲时归还到池中。
PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

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

下载

相关标签:

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

相关专题

更多
java
java

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

2023.06.15

10357

6

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

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

2023.07.05

7482

9

java自学难吗
java自学难吗

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

2023.07.31

6552

8

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

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

2023.08.01

1124

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

1356

5

java有什么用
java有什么用

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

2023.08.02

2729

5

java在线网站
java在线网站

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

2023.08.03

20031

3

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

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

2023.08.03

1215

8

热门下载

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

精品课程

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

共6课时 | 54.6万人学习

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

共89课时 | 133.4万人学习