深入理解AQS--jdk层面管程实现【管程详解的补充】

本文详细介绍了Java并发编程中的AbstractQueuedSynchronizer(AQS)框架,它作为许多同步器如Lock、Latch、Barrier的底层实现。AQS具备阻塞等待队列、共享/独占、公平/非公平、可重入和中断等特点,并通过CLH同步队列管理线程。文章重点讲解了同步等待队列和条件等待队列的工作原理,以及AQS中节点的状态管理。同时,对源码进行了分析,包括AbstractQueuedSynchronizer、Node类和ConditionObject类的解析。
摘要由CSDN通过智能技术生成

🚀 优质资源分享 🚀

学习路线指引(点击解锁) 知识定位 人群定位
🧡 Python实战微信订餐小程序 🧡 进阶级 本课程是python flask+微信小程序的完美结合,从项目搭建到腾讯云部署上线,打造一个全栈订餐系统。
💛Python量化交易实战💛 入门级 手把手带你打造一个易扩展、更安全、效率更高的量化交易系统

什么是AQS

1.java.util.concurrent包中的大多数同步器实现都是围绕着共同的基础行为,比如等待队列、条件队列、独占获取、共享获取等,而这些行为的抽象就是基于AbstractQueuedSynchronizer(简称AQS)实现的,AQS是一个抽象同步框架,可以用来实现一个依赖状态的同步器。

2.JDK中提供的大多数的同步器如Lock, Latch, Barrier等,都是基于AQS框架来实现的

【1】一般是通过一个内部类Sync继承 AQS

【2】将同步器所有调用都映射到Sync对应的方法

AQS具备的特性:

1.阻塞等待队列  , 2.共享/独占  , 3.公平/非公平  , 4.可重入  , 5.允许中断

AQS定义两种资源共享方式

1.Exclusive-独占,只有一个线程能执行,如ReentrantLock(详情可查看 深入理解ReentrantLock类锁

2.Share-共享,多个线程可以同时执行,如Semaphore/CountDownLatch

AQS定义两种队列

1.同步等待队列【主要用于维护获取锁失败时入队的线程】

【1】AQS当中的同步等待队列也称CLH队列,CLH队列是Craig、Landin、Hagersten三人发明的一种基于双向链表数据结构的队列,是FIFO先进先出线程等待队列,Java中的CLH队列是原CLH队列的一个变种,线程由原自旋机制改为阻塞机制。

【2】AQS 依赖CLH同步队列来完成同步状态的管理:

1)当前线程如果获取同步状态失败时,AQS则会将当前线程已经等待状态等信息构造成一个节点(Node)并将其加入到CLH同步队列,同时会阻塞当前线程

2)当同步状态释放时,会把首节点唤醒(公平锁),使其再次尝试获取同步状态。

3)通过signal或signalAll将条件队列中的节点转移到同步队列。(由条件队列转化为同步队列)

【3】图示:

2.条件等待队列【调用await()的时候会释放锁,然后线程会加入到

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值