AQS是什么？

目录

AQS是什么

 AQS为什么是JUC内容中最重要的基石

 进一步理解锁和同步器的关系

AQS能干嘛

官网解释

 AQS内部体系架构

 体系架构​编辑

 队列结构

---

AQS是什么

是用来构建锁或者其它同步器组件的重量级基础框架及整个JUC体系的基石，通过内置的FIFO队列来完成资源获取线程的排队工作，并通过一个int类变量state表示持有锁的状态

通过CAS完成对status值的修改(0表示没有,1表示阻塞)

CLH：Craig、Landin and Hagersten 队列，是一个单向链表，AQS中的队列是CLH变体的虚拟双向队列FIFO 

 AQS为什么是JUC内容中最重要的基石

(ReentrantLock | CountDownLatch | ReentrantReadWriteLock | Semaphore)

 ReentrantLock中的sync成员变量继承了AQS

 CountDownLatch静态内部类Sync继承AQS

 ReentrantReadWriteLock抽象静态内部类Sync继承AQS

 Semaphore抽象静态内部类Sync继承AQS

 进一步理解锁和同步器的关系

锁，面向锁的使用者

定义了程序员和锁交互的使用层API，隐藏了实现细节，你调用即可。

同步器，面向锁的实现者

比如Java并发大神DougLee，提出统一规范并简化了锁的实现，

屏蔽了同步状态管理、阻塞线程排队和通知、唤醒机制等。

AQS能干嘛

有阻塞就需要排队，实现排队必然需要队列

抢到资源的线程直接使用处理业务，抢不到资源的必然涉及一种排队等候机制 。抢占资源失败的线程继续去等待，但等候线程仍然保留获取锁的可能且获取锁流程仍在继续

既然说到了排队等候机制 ，那么就一定会有某种队列形成，这样的队列是什么数据结构呢？ 

如果共享资源被占用， 就需要一定的阻塞等待唤醒机制来保证锁分配 。这个机制主要用的是CLH队列的变体（AQS）实现的，将暂时获取不到锁的线程加入到队列中，这个队列就是AQS的抽象表现。

• 它将请求共享资源的线程封装成队列的结点（ Node ），通过CAS、自旋以及LockSupport.park()的方式，维护state变量的状态，使并发达到同步的效果。 

官网解释

 AQS内部体系架构

 体系架构

  AQS使用一个volatile的int类型的成员变量来表示同步状态，通过内置的FIFO队列来完成资源获取的排队工作将每条要去抢占资源的线程封装成一个Node节点来实现锁的分配，通过CAS完成对State值的修改。

 

 队列结构

先抢到锁的线程state修改为1，没抢到的线程封装成Node进入队列等待，从尾进入，从头出。