JAVA 什么是AQS？

AQS，全称AbstractQueuedSynchronizer，即抽象队列同步器，是Java并发包（java.util.concurrent）中用于构建锁和其他同步组件的基础框架。它提供了一个实现阻塞锁和一系列依赖于先进先出（FIFO）等待队列的同步器的框架。AQS的主要应用场景在于帮助开发者更容易地实现自定义的同步器（如锁机制），而无需从头开始设计复杂的同步逻辑。

内部结构

AQS的核心在于其内部维护的一个FIFO队列（同步队列），用于管理等待获取同步状态的线程。这个队列是一个双向链表结构，每个节点代表一个尝试获取同步状态但暂时失败而被挂起的线程。此外，AQS还包含了一些关键的属性来支持同步状态的管理和线程的调度。

主要属性

1. state：这是AQS中最重要的属性，是一个volatile int类型的变量，表示当前同步状态。不同的同步器可以赋予这个状态不同的含义。例如，在ReentrantLock中，这个状态值表示锁的持有计数；在Semaphore中，它表示剩余的许可数量。

2. head 和 tail：这两个属性分别指向同步队列的头节点和尾节点。它们都是Node类型的变量。新加入的线程会被封装成一个新的节点，并添加到队列的尾部。

3. Node类：这是AQS内部定义的一个静态内部类，用于封装等待获取同步状态的线程。Node类有几个重要的属性：

   • waitStatus：表示节点的状态，可能的值包括CANCELLED、SIGNAL、CONDITION等，用于控制线程的行为。
   • thread：指向当前节点所封装的线程。
   • prev 和 next：分别指向前一个节点和后一个节点，用于构建双向链表结构。

4. exclusiveOwnerThread：虽然这不是AQS直接拥有的属性，但在基于AQS实现的独占锁（如ReentrantLock）中，会有一个这样的属性来记录当前持有锁的线程。

工作机制

• 当一个线程尝试获取同步状态时，如果成功，则继续执行；如果失败，则需要构造一个Node并将其插入到同步队列的尾部，然后当前线程进入等待状态。
• 当同步状态释放时，AQS会从队列头部唤醒一个或多个线程，让它们再次尝试获取同步状态。

通过这些内部结构和属性，AQS为各种同步器提供了高效、可靠的实现基础。开发者可以基于AQS提供的接口和抽象方法来实现自定义的同步逻辑，同时利用其内置的高效线程调度机制。

AQS的核心概念

1. 状态管理：AQS使用一个int类型的变量表示同步状态，可以通过getState()、setState()和compareAndSetState()方法来操作这个状态。这个状态对于不同的同步器有不同的含义。例如，在ReentrantLock中，这个状态代表了锁的持有计数。

2. FIFO队列：当线程尝试获取锁但失败时（因为其他线程已经持有了该锁），AQS会将该线程封装成一个节点加入到一个FIFO队列中，并将当前线程挂起。当锁被释放时，AQS会唤醒队列中的第一个节点，允许其尝试获取锁。

3. 独占模式与共享模式：AQS支持两种模式的锁——独占模式和共享模式。在独占模式下，只有一个线程可以获取锁（如ReentrantLock）。而在共享模式下，多个线程可以同时获取锁（如Semaphore或CountDownLatch）。

AQS的应用实例

AQS是许多Java标准库中同步工具的基础，包括但不限于：

• ReentrantLock：可重入锁。
• Semaphore：信号量，控制同时访问某一资源的线程数量。
• CountDownLatch：闭锁，允许一个或多个线程等待直到其他线程执行的一组操作完成为止。
• ReentrantReadWriteLock：读写锁，允许多个线程同时读取数据，但在写入时只允许一个线程进行。

通过AQS，开发者可以避免直接处理底层线程调度和同步细节的复杂性，从而更专注于业务逻辑的实现。同时，基于AQS构建的同步器通常具有良好的性能和可靠性。