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

相关文章

Java Spring的依赖注入理解及@Autowired用法示例详解

《JavaSpring的依赖注入理解及@Autowired用法示例详解》文章介绍了Spring依赖注入(DI)的概念、三种实现方式(构造器、Setter、字段注入),区分了@Autowired(注入... 目录一、什么是依赖注入(DI)?1. 定义2. 举个例子二、依赖注入的几种方式1. 构造器注入(Con

深入理解Go语言中二维切片的使用

《深入理解Go语言中二维切片的使用》本文深入讲解了Go语言中二维切片的概念与应用,用于表示矩阵、表格等二维数据结构,文中通过示例代码介绍的非常详细,需要的朋友们下面随着小编来一起学习学习吧... 目录引言二维切片的基本概念定义创建二维切片二维切片的操作访问元素修改元素遍历二维切片二维切片的动态调整追加行动态

从原理到实战深入理解Java 断言assert

《从原理到实战深入理解Java断言assert》本文深入解析Java断言机制,涵盖语法、工作原理、启用方式及与异常的区别,推荐用于开发阶段的条件检查与状态验证,并强调生产环境应使用参数验证工具类替代... 目录深入理解 Java 断言(assert):从原理到实战引言:为什么需要断言?一、断言基础1.1 语

一文深入详解Python的secrets模块

《一文深入详解Python的secrets模块》在构建涉及用户身份认证、权限管理、加密通信等系统时,开发者最不能忽视的一个问题就是“安全性”,Python在3.6版本中引入了专门面向安全用途的secr... 目录引言一、背景与动机:为什么需要 secrets 模块?二、secrets 模块的核心功能1. 基

Go学习记录之runtime包深入解析

《Go学习记录之runtime包深入解析》Go语言runtime包管理运行时环境,涵盖goroutine调度、内存分配、垃圾回收、类型信息等核心功能,:本文主要介绍Go学习记录之runtime包的... 目录前言:一、runtime包内容学习1、作用:① Goroutine和并发控制:② 垃圾回收:③ 栈和

深入解析 Java Future 类及代码示例

《深入解析JavaFuture类及代码示例》JavaFuture是java.util.concurrent包中用于表示异步计算结果的核心接口,下面给大家介绍JavaFuture类及实例代码,感兴... 目录一、Future 类概述二、核心工作机制代码示例执行流程2. 状态机模型3. 核心方法解析行为总结:三

spring IOC的理解之原理和实现过程

《springIOC的理解之原理和实现过程》:本文主要介绍springIOC的理解之原理和实现过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、IoC 核心概念二、核心原理1. 容器架构2. 核心组件3. 工作流程三、关键实现机制1. Bean生命周期2.

MySQL数据库约束深入详解

《MySQL数据库约束深入详解》:本文主要介绍MySQL数据库约束,在MySQL数据库中,约束是用来限制进入表中的数据类型的一种技术,通过使用约束,可以确保数据的准确性、完整性和可靠性,需要的朋友... 目录一、数据库约束的概念二、约束类型三、NOT NULL 非空约束四、DEFAULT 默认值约束五、UN

Java Stream流使用案例深入详解

《JavaStream流使用案例深入详解》:本文主要介绍JavaStream流使用案例详解,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录前言1. Lambda1.1 语法1.2 没参数只有一条语句或者多条语句1.3 一个参数只有一条语句或者多

深入理解Apache Kafka(分布式流处理平台)

《深入理解ApacheKafka(分布式流处理平台)》ApacheKafka作为现代分布式系统中的核心中间件,为构建高吞吐量、低延迟的数据管道提供了强大支持,本文将深入探讨Kafka的核心概念、架构... 目录引言一、Apache Kafka概述1.1 什么是Kafka?1.2 Kafka的核心概念二、Ka