深入底层理解 AQS

最新推荐文章于 2024-08-07 09:58:43 发布

以后再换个名字

最新推荐文章于 2024-08-07 09:58:43 发布

阅读量1.6k

点赞数 1

分类专栏： Java 多并发

本文链接：https://blog.csdn.net/u014642412/article/details/106732984

版权

AQS（AbstractQueuedSynchronizer）是Java并发库中的一个基础框架，用于构建锁和同步器。它采用CLH队列锁实现线程同步，支持独占和共享两种资源模式。AQS的核心是通过一个int状态变量来表示同步状态，并通过模板方法模式让用户自定义获取和释放资源的逻辑。条件变量允许更灵活的等待/通知机制，提供signal()和signalAll()方法来唤醒等待线程。

摘要由CSDN通过智能技术生成

文章目录

概览

AQS的全称为（AbstractQueuedSynchronizer），这个类在java.util.concurrent.locks包下面。

在这里插入图片描述

AQS是一个用来构建锁和同步器的框架，使用AQS能简单且高效地构造出应用广泛的大量的同步器，比如我们提到的ReentrantLock，Semaphore，其他的诸如ReentrantReadWriteLock，SynchronousQueue，FutureTask等等皆是基于AQS的。当然，我们自己也能利用AQS非常轻松容易地构造出符合我们自己需求的同步器。

原理分析

AQS核心思想是，如果被请求的资源空闲，则将当前请求资源的线程设置为有效的工作线程，并且将资源设置为锁定状态或者减一。如果被请求的资源被占用，那么就需要一套线程阻塞等待以及被唤醒时锁分配的机制，这个机制AQS是用CLH队列锁实现的，即将暂时获取不到锁的线程加入到队列中。

CLH(Craig,Landin,and Hagersten)队列是一个虚拟的双向队列（虚拟的双向队列即不存在队列实例，仅存在结点之间的关联关系）。AQS是将每条请求共享资源的线程封装成一个CLH锁队列的一个结点（Node）来实现锁的分配。

在这里插入图片描述

AQS使用一个int成员变量来表示同步状态，通过内置的FIFO队列来完成获取资源线程的排队工作。AQS使用CAS对该同步状态进行原子操作实现对其值的修改。

private volatile int state;//共享变量，使用volatile修饰保证线程可见性

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

//返回同步状态的当前值
protected final int getState() {
     
        return state;
}
 // 设置同步状态的值
protected final void setState(int newState) {
    
        state = newState;
}
//原子地（CAS操作）将同步状态值设置为给定值update如果当前同步状态的值等于expect（期望值）
protected final boolean compareAndSetState(