CountDownlatch实现原理

devtools/2025/2/23 10:19:56/

文章目录

  • 类图及概要
  • 核心方法
    • await() 方法
    • await(long timeout, TimeUnit unit) 方法
    • countDown() 方法
    • getCount() 方法
  • 总结

类图及概要

CountDownLatch 内部有个计数器,并且这个计数器是递减的 。 下面就通过源码看看 JDK 开发组在何时初始化计数器,在何时递减计数器,当计数器变为 0 时做了什么操作, 多个线程是如何通过计时器值实现同步的 。

在这里插入图片描述
从类图可以看出, CountDownLatch 是使用 AQS 实现的 。 通过下面的构造函数,你会发现,实际上是把计数器的值赋给了 AQS 的状态变量 state,也就是这里使用 AQS 的状态值来表示计数器值。

``

public CountDownLatch(int count) {
if (count < 0) throw new IllegalArgumentException(“count < 0”);
this.sync = new Sync(count);
}

Sync(int count) {
setState(count);
}

``

核心方法

await() 方法

当线程调 用 CountDownLatch 对象的 await 方法后 , 当前线程会被 阻塞 , 直到下面的情况之一发生才会返回 : 当所有线程都调用了 CountDownLatch 对象的 countDown 方法后,也就是计数器的值为 0 时;其他线程调用了当前线程的 interrupt ()方法中断了当前线程 ,当前线程就会抛出InterruptedException 异常 , 然后返回。

``

public void await() throws InterruptedException {
sync.acquireSharedInterruptibly(1);
}

public final void acquireSharedInterruptibly(int arg)
throws InterruptedException {
// 如果线程被中断则抛出异常
if (Thread.interrupted())
throw new InterruptedException();
// 查看当前计数器千直是否为 0 , 为 0 则直接返回 , 否则进入AQS的队列等待
if (tryAcquireShared(arg) < 0)
doAcquireSharedInterruptibly(arg);
}

// sync类实现的 AQS 的接口
protected int tryAcquireShared(int acquires) {
return (getState() == 0) ? 1 : -1;
}

``
await() 方法委托 sync 调用 了 AQS 的 acquiresharedInterruptibIy方法 。

该方法 的特点是线程获取资源时可 以被中 断, 并且获取 的资源是共享资源。 acquireSharedlnterruptibly 首先判断当前线程是否己被中断 , 若是则抛出异常,否则调用 sync 实现 的 tryAcquireShared 方法查看当前状态值( 计数器值)是否为 0 , 是则当前线程 的 await() 方法直接返回 , 否 则调用 AQS 的doAcquireSharedlnterruptibly 方法让当前线程阻塞。另外可 以看到,这里tryAcquireShared 传递的 arg 参数没有被用 到, 调用tryAcquireShared 的方法仅仅是为了检查当前状态值是不是为 0 , 并没有调用 CAS 让 当 前状态值减 1 。

await(long timeout, TimeUnit unit) 方法

当线程调用了 CountDownLatch 对象 的该方法后 , 当前线程会被阻塞 , 直到下面的情况之一发生才会返回:当 所有线程都调用了 CountDownLatch 对象 的 countDown 方法后 ,也就是计数器值为 0 时 ,这时候会返 回 true ;设置的 timeout 时间到了,因为超时而返回false ; 其他线程调用了当前线程的 interrupt ( )方法中断了当前线程 , 当前线程会抛出InterruptedException 异常,然后返回。

countDown() 方法

线程调用该方法后 ,计数器的值递减 , 递减后如果计数器值为 0 则唤醒所有因调用await 方 法而被阻塞的线程,否则什么都不做。下面看下 countDown() 方法是 如何调用AQS 的方法的。

``

public void countDown() {
// 委托sync调 用 AQS的方法
sync.releaseShared(1);
}

public final boolean releaseShared(int arg) {
// 调用 sync 实现的 tryReleaseShared
if (tryReleaseShared(arg)) {
// AQS 的释放资源方法
doReleaseShared();
return true;
}
return false;
}

``

CountDownLatch 的 countDown ( )方法委 托 sync 调用了 AQS 的releaseShared 方法。

re leaseShared 首先调用了 sync 实现的 AQS 的 tryReleaseShared 方法。

``

protected boolean tryReleaseShared(int releases) {

        // 循环进行CAS ,直到当前线程成功完成CAS使计数器值(状态值state )减 1并更新到statefor (;;) {int c = getState();// 如果当前状态值为0则直接返回( 1 )if (c == 0)return false;// 使用 CAS让计数器佳减 1 ( 2)int nextc = c-1;if (compareAndSetState(c, nextc))return nextc == 0;}

}

``

如上代码首先获取当前状态值(计数器值) 。 代码 (1) 判断如果当前状态值为 0 则直接返回 false,从而 countDown ( )方法直接返回:否则执行码 (2) 使用 CAS 将计数器值减 1, CAS 失败则循环重试,否则如果当前计数器值为 0 则返回 true,返回 true 说明是最后一个线程调用的 countdown 方法,那么该线程除了让计数器值减 1 外,还需要唤醒因调用 CountDownLatch 的 await 方法而被阻塞的线程,具体是调用 AQS 的 doReleaseShared方法来激活阻塞的线程。这里代码 (1) 貌似是多余的,其实不然,之所以添加代码 (1) 是为了防止当计数器值为 0 后,其他线程又调用了 countDown 方法,如果没有代码 (1) 状态值就可能会变成负数。

getCount() 方法

获取当前计数器的值,也就是 AQS 的 state 的值,在其内部还是调用了 AQS 的 getState 方法来获取 state 的值(计数器当前值)。

``

public long getCount() {
return sync.getCount();
}

int getCount() {
return getState();
}

``

总结

使用 AQS 的状态变量来存放计数器 的值。首先在 初始化CountDownLatch 时设置状态值(计数器值),当多个线程调用 countdown 方法时实际是原子性递减 AQS 的状态值。当线程调用 await 方法后当前线程会被放入 AQS 的阻塞队列等待计数器为 0 再返 回 。其他线程调用 countdown 方法让计数器值递减 1 ,当计数器值变为0 时, 当 前线程还要调用 AQS 的 doReleaseShared 方法来激活由于调用 await() 方法而被阻塞的线程 。


http://www.ppmy.cn/devtools/161156.html

相关文章

高级运维:1. 对比 LVS 负载均衡群集的 NAT 模式和 DR 模式,比较其各自的优势 。2. 基于 openEuler 构建 LVS-DR 群集。

1. LVS 负载均衡群集的 NAT 模式和 DR 模式的对比 特性NAT 模式DR 模式配置复杂度配置简单&#xff0c;适合初学者和小型网络环境配置相对复杂&#xff0c;需要配置虚拟 IP 和 ARP 抑制性能性能瓶颈可能出现在负载均衡器&#xff0c;不适合高流量场景高性能&#xff0c;响应速…

Jenkins 配置 Credentials 凭证

Jenkins 配置 Credentials 凭证 一、创建凭证 Dashboard -> Manage Jenkins -> Manage Credentials 在 Domain 列随便点击一个 (global) 二、添加 凭证 点击左侧 Add Credentials 四、填写凭证 Kind&#xff1a;凭证类型 Username with password&#xff1a; 配置 用…

Ops 详解:从 DevOps 到 SecOps,探索网络安全与运维的核心概念

在 IT 和网络安全领域&#xff0c;“Ops” 这个词被频繁提及&#xff0c;它是 Operations&#xff08;运营 / 操作&#xff09; 的缩写&#xff0c;在不同的技术方向中&#xff0c;代表着 开发、运维、安全、云计算、网络管理 等多种角色和实践。从 DevOps&#xff08;开发运维…

51单片机介绍

1、单片机基础知识 1.1、单板机 将CPU芯片、存储器芯片、I/O接口芯片和简单的I/O设备(小键盘、LED显示器)等装配到一块印刷电路板上,再配上监控程序(固化在ROM中),就构成了一台单板微型计算机(简称单板机)。 1.2、单片机 在一片集成电路芯片上集成微处理器、存储器…

0222-leetcode-1768.交替合并字符串、389找不同、

1768.交替合并字符串 题目 给你两个字符串 word1 和 word2 。请你从 word1 开始&#xff0c;通过交替添加字母来合并字符串。如果一个字符串比另一个字符串长&#xff0c;就将多出来的字母追加到合并后字符串的末尾。 返回 合并后的字符串 。 示例 1&#xff1a; 输入&…

Docker 与 CI/CD:自动化构建和部署

在现代软件开发中&#xff0c;CI/CD&#xff08;持续集成/持续部署&#xff09; 是一种高效的软件开发和运维方法。CI/CD 通过自动化构建、测试和部署流程&#xff0c;减少了人为错误&#xff0c;提高了软件交付的速度和质量。Docker&#xff0c;作为一种容器化平台&#xff0c…

【目标检测】【YOLOv4】YOLOv4:目标检测的最佳速度与精度

YOLOv4&#xff1a;目标检测的最佳速度与精度 0.论文摘要 有许多特征被认为可以提高卷积神经网络&#xff08;CNN&#xff09;的准确性。需要在大规模数据集上对这些特征的组合进行实际测试&#xff0c;并对结果进行理论上的验证。某些特征仅适用于特定模型和特定问题&#…

宝塔扩容——阿里云如何操作

一、创建快照 磁盘快照&#xff0c;将数据备份&#xff0c;防止丢失。 1.登录“阿里云”账号 2.点击“控制台”——“云服务器 ECS” 3.点击“基本信息”下&#xff0c;右下角“系统盘” 4.点击“创建快照” 二、磁盘扩容 1.点击“云盘扩容” 2. 选择自己要扩容的大小 …