详解AQS

目录

1、概述

2、AQS的原理

3、AQS对资源的共享方式

4、AQS底层使用模板方法模式

5、ReentrantLock的实现

---

1、概述

AQS，全称是 AbstractQueuedSynchronizer，是阻塞式锁和相关的同步器工具的框架。这个类在 java.util.concurrent.locks 包下面。

这是Java中除了synchronized之外的另一种锁机制。

使用AQS能简单地构造出各种同步器，ReentrantLock就是基于AQS的。

2、AQS的原理

AQS的核心思想是：

• 给每个共享资源设置一把锁，线程在访问共享资源前需要先获取锁。

• 如果被请求的共享资源空闲，就将请求该资源的线程设置为工作线程，并设置该共享资源为锁定状态。

• 如果被请求的共享资源正在被占用，就需要一套线程阻塞等待和唤醒时锁分配的机制。

做法是：

• 通过维护一个共享资源的状态state，和一个先进先出的线程等待队列，实现多线程访问共享资源。

CLH队列

CLH，虚拟的双向队列，没有队列实例，只有节点间的连接关系。

AQS将每个请求共享资源的线程都封装成一个CLH锁队列中的节点，来实现锁的分配，以及线程的排队工作。

资源状态

AQS使用一个int类型成员变量，来表示共享资源的状态。

状态信息通过propected类型的getState，setState，compareAndSetState进行操作

//返回同步状态的当前值
protected final int getState() {
    return state;
}

// 设置同步状态的值
protected final void setState(int newState) {
    state = newState;
}

//原⼦地（CAS操作）将同步状态值设置为给定值update如果当前同步状态的值等于expect（期望值）
protected final boolean compareAndSetState(int expect, int update) {
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

等待队列

当获得锁的线程需要等待某个条件时，会进入 condition 的等待队列，等待队列可以有多个。

当 condition 条件满足时，线程会从等待队列重新进入同步队列进行获取锁的竞争。

3、AQS对资源的共享方式

AQS定义了两种资源的共享方式：

• Exclusive（独占）：某一时刻只有一个线程能获取该共享资源，比如RentrantLock。又分为公平锁和非公平锁
  • 公平锁：按照线程在队列中的排队顺序，先入先拿到锁
  • 非公平锁：队列中的线程都参与争抢，谁竞争到就是谁的
• Share（共享）：多个线程可以同时访问共享资源，比如ReadWriteLock、Semaphore和CountDownLatch

在自定义同步器时，只需要实现共享资源state的获取和释放方式即可。不用考虑线程等待队列的维护，AQS已经在顶层定义好了。

4、AQS底层使用模板方法模式

自定义同步器的方式：

• 继承 AbstractQueuedSynchronizer 并重写指定的方法。
• 将 AQS 组合在自定义同步组件的实现中，并调用其模板方法。这些模板方法会调用使用者重写的方法。

AQS中其他方法都是final，只有这些模板方法能被其他类使用。

5、ReentrantLock的实现

state初始化为0，表示未锁定状态。

一个线程lock()时，会调用 tryAcquire() 独占该锁并将 state+1。

此后，其他线程再调用tryAcquire()就会失败，直到该线程unlock()到state = 0为止，其他线程才有机会获取到锁。

在释放锁之前，该线程可以多次调用lock()，也就是可重入。每次state+1。获取多少次，就要释放多少次。