什么是 AQS

灰太狼 2024-03-22 18:35 32阅读 0赞

**什么是** **AQS****（抽象的队列同步器）**

AbstractQueuedSynchronizer 类如其名，抽象的队列式的同步器，AQS 定义了一套多线程访问共享资

源的同步器框架，许多同步类实现都依赖于它，如常用的

ReentrantLock/Semaphore/CountDownLatch。它维护了一个 volatile int state（代表共享资源）和一个 FIFO 线程等待队列（多线程争用资源被阻塞时

会进入此队列）。这里 volatile 是核心关键词，具体 volatile 的语义，在此不述。state 的访问方式有三

种:

getState() setState()

compareAndSetState()

AQS 定义两种资源共享方式

**Exclusive**独占资源**-ReentrantLock**

Exclusive（独占，只有一个线程能执行，如 ReentrantLock）

**Share**共享资源**-Semaphore/CountDownLatch**

Share（共享，多个线程可同时执行，如 Semaphore/CountDownLatch）。

AQS只是一个框架，具体资源的获取/释放方式交由自定义同步器去实现，AQS这里只定义了一个接口，

具体资源的获取交由自定义同步器去实现了（通过state的get/set/CAS)之所以没有定义成 abstract，是

因为独占模式下只用实现 tryAcquire-tryRelease，而共享模式下只用实现 tryAcquireShared

tryReleaseShared。如果都定义成abstract，那么每个模式也要去实现另一模式下的接口。不同的自定

义同步器争用共享资源的方式也不同。自定义同步器在实现时只需要实现共享资源 state 的获取与释放

方式即可，至于具体线程等待队列的维护（如获取资源失败入队/ 唤醒出队等），AQS 已经在顶层实现

好了。自定义同步器实现时主要实现以下几种方法：

1． isHeldExclusively()：该线程是否正在独占资源。只有用到 condition 才需要去实现它。

2． tryAcquire(int)：独占方式。尝试获取资源，成功则返回 true，失败则返回 false。

3． tryRelease(int)：独占方式。尝试释放资源，成功则返回 true，失败则返回 false。

4． tryAcquireShared(int)：共享方式。尝试获取资源。负数表示失败；0 表示成功，但没有剩余可用资

源；正数表示成功，且有剩余资源。

5． tryReleaseShared(int)：共享方式。尝试释放资源，如果释放后允许唤醒后续等待结点返回 true，

否则返回 false。

同步器的实现是**ABS**核心（**state**资源状态计数）

同步器的实现是 ABS 核心，以 ReentrantLock 为例，state 初始化为 0，表示未锁定状态。A 线程

lock()时，会调用 tryAcquire()独占该锁并将 state+1。此后，其他线程再 tryAcquire()时就会失败，直到

A线程unlock()到state=0（即释放锁）为止，其它线程才有机会获取该锁。当然，释放锁之前，A 线程

自己是可以重复获取此锁的（state 会累加），这就是可重入的概念。但要注意，获取多少次就要释放多

么次，这样才能保证 state 是能回到零态的。以 CountDownLatch 以例，任务分为 N 个子线程去执行，state 也初始化为 N（注意 N 要与线程个数

一致）。这 N 个子线程是并行执行的，每个子线程执行完后 countDown()一次，state 会 CAS 减1。等

到所有子线程都执行完后(即state=0)，会 unpark()主调用线程，然后主调用线程就会从 await()函数返

回，继续后余动作。

**ReentrantReadWriteLock** 实现独占和共享两种方式

一般来说，自定义同步器要么是独占方法，要么是共享方式，他们也只需实现 tryAcquiretryRelease、

tryAcquireShared-tryReleaseShared 中的一种即可。但 AQS 也支持自定义同步器同时实现独占和共享

两种方式，如 ReentrantReadWriteLock。

发表评论取消回复

表情：

评论列表（有 0 条评论，32人围观）

还没有评论，来说两句吧...

相关阅读

相关什么是AQS

AQS是构建锁和其他同步组件的强大框架。它利用volatile变量state来控制同步状态，并通过内部的双向链表来维护等待获取资源的线程队列。通过扩展AQS并实现相关的获...

爱被打了一巴掌/ 2024年04月24日 23:03/ 0 赞/ 46 阅读

相关 Spring是什么？IoC是什么？DI又是什么？

Spring是什么？ `Spring`指的是`Spring Framework（Spring框架）`，是包含了众多工具方法的IoC容器。 1.什么是容器？

╰+哭是因爲堅強的太久メ/ 2024年03月23日 13:51/ 0 赞/ 137 阅读

相关什么是 AQS

什么是 AQS（抽象的队列同步器） AbstractQueuedSynchronizer 类如其名，抽象的队列式的同步器，AQS 定义了一套多线程访问共享资源的同步器

灰太狼/ 2024年03月22日 18:35/ 0 赞/ 33 阅读

相关面试官：ReentrantLock了解么，AQS类是什么？

![format_png][] 在Java中，`ReentrantLock`是常用的锁机制，是一种可重入的互斥锁（Reentrant Mutual Exclusion Loc

浅浅的花香味﹌/ 2023年10月08日 21:18/ 0 赞/ 31 阅读

相关 AQS中的Condition是什么？

今天来和大家聊聊Condition，Condition为AQS“家族”提供了等待与唤醒的能力，使AQS"家族"具备了像synchronized一样暂停与唤醒线程的能力。我们先来

女爷i/ 2023年09月27日 23:21/ 0 赞/ 110 阅读

相关 AQS为什么用双向链表？

首先，在AQS中，等待队列是通过Node类来表示的，每个Node节点包含了等待线程的信息以及等待状态。下面是Node类的部分源码： static final clas

﹏ヽ暗。殇╰゛Y/ 2023年09月27日 15:22/ 0 赞/ 52 阅读

相关 AQS源码解读（一）——AQS是什么？CLH变种体现在哪里？并发控制的核心在哪里？

> 天青色等烟雨，而我在等你，微信公众号搜索：徐同学呀，持续更新肝货，快来关注我，和我一起学习吧~ 更多JUC源码解读系列文章请持续关注[JUC源码解读文章目录JDK8][J

谁践踏了优雅/ 2022年12月10日 14:45/ 0 赞/ 163 阅读

相关什么是变量_什么是变量？

什么是变量 A variable is a name for a place in the computer's memory where you store some da

野性酷女/ 2022年12月06日 15:40/ 0 赞/ 442 阅读

相关什么是成熟？什么是世故？

人在外，电脑有所不能用，今天就写点随笔吧“什么是成熟？什么是世故？” 生活或者职场中，都希望自己越来越成熟，但什么才是成熟，有没有一套方法论，来时刻提醒自己，约束自己的行为和

今天药忘吃喽~/ 2022年11月18日 01:20/ 0 赞/ 415 阅读

相关什么是TPS，什么是QPS，区别是什么？

一、TPS：Transactions Per Second（每秒传输的事物处理个数），即服务器每秒处理的事务数。TPS包括一条消息入和一条消息出，加上一次用户数据库访问。（业务

绝地灬酷狼/ 2022年10月29日 03:22/ 0 赞/ 535 阅读