9、深入理解AQS之闭锁CountDownLatch

2024-08-23 19:36

本文主要是介绍9、深入理解AQS之闭锁CountDownLatch,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

深入理解AQS之闭锁CountDownLatch

  • CountDownLatch介绍
  • CountDownLatch源码分析
    • 构造函数
    • Sync-队列同步器
    • await()-阻塞等待
    • countDown()-释放锁资源
    • 总结

CountDownLatch介绍

  CountDownLatch让一个或多个线程等待其他线程执行完成后再执行。在创建CountDownLatch对象时,必须指定线程数count,每当一个线程执行完成调用countDown()方法,线程数count减1,当count减到0时,await()方法就不再阻塞。

CountDownLatch概述图

CountDownLatch源码分析

CountDownLatch详情如下:

CountDownLatch详情

构造函数

  CountDownLatch没有无参构造函数,在有参构造函数中初始化了sync属性。


public CountDownLatch(int count) {// count 合法校验if (count < 0) throw new IllegalArgumentException("count < 0");// 初始化sync属性this.sync = new Sync(count);
}

Sync-队列同步器


// 抽象队列同步器
private static final class Sync extends AbstractQueuedSynchronizer {private static final long serialVersionUID = 4982264981922014374L;// 将 count 赋值给 AQS 的 state 属性Sync(int count) {setState(count);}// 获取 AQS 的 state 属性int getCount() {return getState();}// 判断所有线程是否都执行完成, 1 -> 全部执行完成;-1 -> 仍有线程在执行protected int tryAcquireShared(int acquires) {return (getState() == 0) ? 1 : -1;}// 释放锁protected boolean tryReleaseShared(int releases) {// 自旋for (;;) {// 获取 AQS 的 stateint c = getState();// 锁资源已经释放完毕,再次进入,直接返回false,什么也不做if (c == 0)return false;//  state - 1int nextc = c-1;// CAS 赋值操作if (compareAndSetState(c, nextc))// 最后一个线程执行完,state = 0 ,返回true。// countDown() 唤醒等待队列中的其他挂起线程return nextc == 0;}}
}

await()-阻塞等待

CountDownLatch#await(),详情如下:

// AQS的state属性不为0, 阻塞public void await() throws InterruptedException {// 调用AQS提供的获取共享锁并允许中断的方法sync.acquireSharedInterruptibly(1);}

AbstractQueuedSynchronizer#acquireSharedInterruptibly(),详情如下:


// 获取共享锁,并允许其中断
public final void acquireSharedInterruptibly(int arg) throws InterruptedException {// 线程中断,抛出异常if (Thread.interrupted())throw new InterruptedException();// 获取共享锁,由CountDownLatch实现if (tryAcquireShared(arg) < 0)// state > 0,说明有线程在持有锁资源,将当前线程添加到AQS等待队列中doAcquireSharedInterruptibly(arg);
}

CountDownLatch#Sync#tryAcquireShared(),详情如下:


// 获取共享锁protected int tryAcquireShared(int acquires) {// 线程全部执行完成,返回 1;未全部执行完成,返回-1return (getState() == 0) ? 1 : -1;}

AbstractQueuedSynchronizer#acquireSharedInterruptibly(),详情如下:


// 将当前线程添加到AQS等待队列中
private void doAcquireSharedInterruptibly(int arg) throws InterruptedException {// 当前线程封装成Node,添加到AQS等待队列中final Node node = addWaiter(Node.SHARED);boolean failed = true;try {// 自旋for (;;) {// 获取当前线程节点的前驱节点final Node p = node.predecessor();// 前驱节点为等待队列头节点if (p == head) {// 调用 CountDownLatch 实现的方法int r = tryAcquireShared(arg);// 返回值为1,表示 state 为 0 ,所有线程都释放了锁,无其他线程持有锁资源if (r >= 0) {// state = 0,将当前线程和后面所有排队的线程都唤醒。setHeadAndPropagate(node, r);p.next = null;failed = false;return;}}// *** 线程在此处被挂起,待所有线程释放锁资源后,即state = 0 ,线程被唤醒,再继续往下执行// 挂起获取锁资源失败的线程,并且挂起的线程被中断,抛出InterruptedException异常if (shouldParkAfterFailedAcquire(p, node) &&parkAndCheckInterrupt())throw new InterruptedException();}} finally {if (failed)cancelAcquire(node);}
}

countDown()-释放锁资源

CountDownLatch#countDown(),详情如下:


// countDown方法, 实际上调用了AQS的释放共享锁操作
2 public void countDown() {
3     sync.releaseShared(1);
4 }

AbstractQueuedSynchronizer#releaseShared(),详情如下:


// AQS提供的释放共享锁方法,CountDownLatch实现了 tryReleaseShared 方法
public final boolean releaseShared(int arg) {// 尝试释放锁资源if (tryReleaseShared(arg)) {// 没有线程持有锁资源,唤醒等待队列中的其他挂起线程doReleaseShared();return true;}return false;
}

CountDownLatch#Sync#tryReleaseShared(),详情如下:


protected boolean tryReleaseShared(int releases) {// 自旋for (;;) {// 获取当前持有锁资源的线程数int c = getState();// state已为0,返回false,那么再次执行countDown,什么事情也不做if (c == 0)return false;// count - 1int nextc = c-1;// CAS 完成赋值操作if (compareAndSetState(c, nextc))// 没有线程持有锁资源,返回truereturn nextc == 0;}
}

AbstractQueuedSynchronizer#doReleaseShared(),详情如下:


// 没有线程持有锁资源的处理
private void doReleaseShared() {// 自旋for (;;) {// 获取等待队列的头节点Node h = head;// 等待队列中有挂起线程待唤醒if (h != null && h != tail) {int ws = h.waitStatus;// 线程待唤醒if (ws == Node.SIGNAL) {if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0))continue;// 唤醒线程unparkSuccessor(h);}// CAS失败else if (ws == 0 &&!compareAndSetWaitStatus(h, 0, Node.PROPAGATE))continue;}// 等待队列头节点被改变,结束循环if (h == head)break;}
}

总结

  CountDownLatch基于AQS+CAS实现,CountDownLatch的构造函数中必须指定count,同时初始继承AQS的内部类Sync,通过Sync对象将count赋值给AQS的state属性,这样就可以基于AQS提供的方法完成CountDownLatch的功能。

  调用countDown()方法,实际上是将AQS中state减1。所有线程执行完成,state会被修改为0 ,在countDown()中会唤醒等待队列中挂起的线程。

  调用await()方法,实际上是判断AQS中的state是否为0。state>0,表示有线程仍在执行,此时await()会阻塞线程。当最后一个线程执行结束,state变为0,countDown()唤醒线程后,await()正常执行结束,不再阻塞。
atch的功能。

  调用countDown()方法,实际上是将AQS中state减1。所有线程执行完成,state会被修改为0 ,在countDown()中会唤醒等待队列中挂起的线程。

  调用await()方法,实际上是判断AQS中的state是否为0。state>0,表示有线程仍在执行,此时await()会阻塞线程。当最后一个线程执行结束,state变为0,countDown()唤醒线程后,await()正常执行结束,不再阻塞。

这篇关于9、深入理解AQS之闭锁CountDownLatch的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1100310

相关文章

深入解析Spring TransactionTemplate 高级用法(示例代码)

《深入解析SpringTransactionTemplate高级用法(示例代码)》TransactionTemplate是Spring框架中一个强大的工具,它允许开发者以编程方式控制事务,通过... 目录1. TransactionTemplate 的核心概念2. 核心接口和类3. TransactionT

深入理解Apache Airflow 调度器(最新推荐)

《深入理解ApacheAirflow调度器(最新推荐)》ApacheAirflow调度器是数据管道管理系统的关键组件,负责编排dag中任务的执行,通过理解调度器的角色和工作方式,正确配置调度器,并... 目录什么是Airflow 调度器?Airflow 调度器工作机制配置Airflow调度器调优及优化建议最

一文带你理解Python中import机制与importlib的妙用

《一文带你理解Python中import机制与importlib的妙用》在Python编程的世界里,import语句是开发者最常用的工具之一,它就像一把钥匙,打开了通往各种功能和库的大门,下面就跟随小... 目录一、python import机制概述1.1 import语句的基本用法1.2 模块缓存机制1.

深入理解C语言的void*

《深入理解C语言的void*》本文主要介绍了C语言的void*,包括它的任意性、编译器对void*的类型检查以及需要显式类型转换的规则,具有一定的参考价值,感兴趣的可以了解一下... 目录一、void* 的类型任意性二、编译器对 void* 的类型检查三、需要显式类型转换占用的字节四、总结一、void* 的

深入理解Redis大key的危害及解决方案

《深入理解Redis大key的危害及解决方案》本文主要介绍了深入理解Redis大key的危害及解决方案,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着... 目录一、背景二、什么是大key三、大key评价标准四、大key 产生的原因与场景五、大key影响与危

深入理解C++ 空类大小

《深入理解C++空类大小》本文主要介绍了C++空类大小,规定空类大小为1字节,主要是为了保证对象的唯一性和可区分性,满足数组元素地址连续的要求,下面就来了解一下... 目录1. 保证对象的唯一性和可区分性2. 满足数组元素地址连续的要求3. 与C++的对象模型和内存管理机制相适配查看类对象内存在C++中,规

【前端学习】AntV G6-08 深入图形与图形分组、自定义节点、节点动画(下)

【课程链接】 AntV G6:深入图形与图形分组、自定义节点、节点动画(下)_哔哩哔哩_bilibili 本章十吾老师讲解了一个复杂的自定义节点中,应该怎样去计算和绘制图形,如何给一个图形制作不间断的动画,以及在鼠标事件之后产生动画。(有点难,需要好好理解) <!DOCTYPE html><html><head><meta charset="UTF-8"><title>06

认识、理解、分类——acm之搜索

普通搜索方法有两种:1、广度优先搜索;2、深度优先搜索; 更多搜索方法: 3、双向广度优先搜索; 4、启发式搜索(包括A*算法等); 搜索通常会用到的知识点:状态压缩(位压缩,利用hash思想压缩)。

深入探索协同过滤:从原理到推荐模块案例

文章目录 前言一、协同过滤1. 基于用户的协同过滤(UserCF)2. 基于物品的协同过滤(ItemCF)3. 相似度计算方法 二、相似度计算方法1. 欧氏距离2. 皮尔逊相关系数3. 杰卡德相似系数4. 余弦相似度 三、推荐模块案例1.基于文章的协同过滤推荐功能2.基于用户的协同过滤推荐功能 前言     在信息过载的时代,推荐系统成为连接用户与内容的桥梁。本文聚焦于

【生成模型系列(初级)】嵌入(Embedding)方程——自然语言处理的数学灵魂【通俗理解】

【通俗理解】嵌入(Embedding)方程——自然语言处理的数学灵魂 关键词提炼 #嵌入方程 #自然语言处理 #词向量 #机器学习 #神经网络 #向量空间模型 #Siri #Google翻译 #AlexNet 第一节:嵌入方程的类比与核心概念【尽可能通俗】 嵌入方程可以被看作是自然语言处理中的“翻译机”,它将文本中的单词或短语转换成计算机能够理解的数学形式,即向量。 正如翻译机将一种语言