AQS(AbstractQueuedSynchronizer)
AQS的概念
AQS (AbstractQuenedSynchronizer)抽象的队列式同步器。是除了java自带的synchronized关键字之外的锁机制,这个类在java.util.concurrent包下。AQS定义了一套多线程访问共享资源的同步器框架。
AQS是将每一条请求共享资源的线程封装成一个CLH锁队列的一个结点(Node),来实现锁的分配。
通俗来说,AQS就是基于CLH队列锁实现的,用volatile修饰共享变量state,用CAS(CompareAndSwap)来改变state。state改变成功,则获得锁;改变失败,则进入CLH队列,等待被唤醒。
CLH(Craig,Landin,and Hagersten): CLH队列是一个虚拟双向队列,即不存在队列实例,仅存在节点之间关联关系。
注: AQS是自旋锁,在等待唤醒的时候,经常会使用自旋(while(!cas()))的方式,不停地尝试获取锁,直到被其他线程获取成功。
AQS具备的特性
- 可重入性
- 公平/非公平性
- 阻塞队列等待
- 共享/独占
- 允许中断
自定义同步器
AQS框架中的普遍实现:
- 一般通过定义内部类Sync继承AQS。
- 将同步器所有调用都映射到Sync对应的方法。
AQS内部维护属性 volatile int state
- state(32位)表示资源的可用状态
State三种访问方式:
- getState()
- setState()
- compareAndSetState()
AQS 定义两种资源共享方式:
- Exclusive:独占,只有一个线程能执行,如ReentrantLock(可重入互斥锁)
- Share:共享,多个线程可以同时执行,如Semaphore(信号量)、CountDownLatch(门闩)、ReadWriteLock(读写锁),CyclicBarrier(环形栅栏)
AQS定义两种队列
-
同步等待队列:
AQS当中的同步等待队列也称CLH队列,CLH队列是Craig、Landin、Hagersten三人 发明的一种基于双向链表数据结构的队列,是FIFO先入先出线程等待队列,Java中的CLH 队列是原CLH队列的一个变种,线程由原自旋机制改为阻塞机制。
-
条件等待队列:
Condition是一个多线程间协调通信的工具类,使得某个,或者某些线程一起等待某个 条件(Condition),只有当该条件具备时,这些等待线程才会被唤醒,从而重新争夺锁。
总结
不同的自定义同步器争夺共享资源的方式也不同。自定义同步器在实现时只需要实现共享资源state的获取和释放方式即可,至于具体线程等待队列的维护(如获取资源失败入队/唤醒出队等),AQS已经在顶层实现好了。
自定义同步器实现时,主要实现以下几种方法:
- isHeldExclusively() : 该线程是否正在独占资源。只有用到condition才需要去实现它。
- tryAcquire(int):独占方式。尝试获取资源,成功则返回true,失败则返回false。
- tryRelease(int): 独占方式。尝试释放资源,成功则返回true,失败则返回fasle。
- tryAcquireShared(int):共享方式。尝试获取资源。负数表示失败;0表示成功。但没有剩余可用资源;正数表示成功,有剩余可用资源。
- tryReleaseShared(int):共享方式。尝试释放资源,如果释放后允许唤醒后续等待节点返回true;否则返回fasle。
ReentranLock
ReentrantLock是一种基于AQS框架的应用实现,是JDK中的一种线程并发访问的同步 手段,它的功能类似于synchronized是一种互斥锁,可以保证线程安全。而且它具有比 synchronized更多的特性,比如它支持手动加锁与解锁,支持加锁的公平性。
//使用ReentrantLock进行同步
//false为非公平锁, true为公平锁
ReentrantLock lock = new ReentrantLock(false);
lock.lock() //加锁
lock.unlock() //解锁
在ReentrantLock内部定义了一个Sync的内部类,该类继承AbstractQueuedSynchronized,对该抽象类的部分方法做了实现;并且还定义了两个子类:
1、FairSync 公平锁的实现
2、NonfairSync 非公平锁的实现
这两个类都继承自Sync,也就是间接继承了AbstractQueuedSynchronized,所以这一个ReentrantLock同时具备公平与非公平特性。
Semaphore
Semaphore是什么?
Semaphore字面意思是信号量的意思,它的作用是控制访问特定资源的线程数目,底层依赖AQS的状态State,是生产中比较常用的一个工具类。
构造方法
public Semaphore(int permits)
public Semaphore(int permits,boolean fair)
- permits 表示许可线程的数量
- fair 表示公平性,默认是非公平,如果这个设为true,下次执行的线程会是等待最久的线程
重要方法
//阻塞并获取许可
public void acquire() throws InterruptedException
//释放许可
public void release()
tryAcquire(long time,TimeUnit unit)
原理
Semaphore在构造时,需要出入许可线程数量,最后传递给了AQS的state值。线程在调用acquire()方法获取许可时,如果Semaphore中许可证的数量大于0,许可证的数量减1,线程继续运行;当线程运行结束调用release方法时释放许可证,许可证的数量加1。如果获取许可证时,Semaphore中许可证的数量为0,则获取失败,线程进入AQS的等待队列中,等待被其它释放许可证的线程唤醒。
CountDownLatch
CountDownLatch是什么?
CountDownLatch能使一个线程等待其他线程完成各自的任务后再执行。
例如,陪朋友去医院,一个去看病用时3秒,同时,一个去交钱用时5秒,最后一起回家(回归主线程)。
构造方法
public CountDownLatch(int count)
- count作为计数器,为线程的数量。每当 一个线程完成了自己的任务后,计数器的值就会减1。当计数器值到达0时,它表示所有的 线程已经完成了任务。
重要方法
//当调用countDown方法时,计数器会被减1
public void countDown()
//当调用await方法时,如果计数器大于0时,线程会被阻塞,
//一直到计数器被countDown方法减到0时,线程才会继续执行。
public boolean await() throws InterruptedException
//await方法的重载,当计数器减到0或超过超时时间,线程继续执行。
public boolean await(long timeout,TimeUnit unit) throws InterruptedException
原理
CountDownLatch在构造时,传入计数器值,作为AQS中state的值。当调用countDown(),计数器减1。当计数器值减到0时,表示所有线程已经完成了任务,然后调用await()的线程,也就是在等待的线程就可以恢复执行任务。
CyclicBarrier
CyclicBarrier是什么?
栅栏屏障,CyclicBarrier可以让一组线程到达一个屏障(同步点)时被阻塞,直到最后一个线程到达屏障时,屏障才会放开,所有被屏障拦截的线程继续执行。
构造方法
public CyclicBarrier(int parties)
public CyclicBarrier(int parties,Runnable barrierAction)
- parties 指让多少个线程或者任务等待至barrier状态。
- barrierAction 为当这些线程都达到barrier状态时会执行的内容。
重要方法
//比较常用,用来挂起当前线程。
//直至所有线程都到达barrier状态再同时执行后续任务;
public int await() throws InterruptedException, BrokenBarrierException
//让这些线程等待至一定的时间,如果超时,还有线程没有到达barrier状态就直接让到达barrier的线程执行后续任务。
public int await(long timeout, TimeUnit unit) throws InterruptedException, BrokenBarrierException, TimeoutException
原理
CyclicBarrier在构造时,传入屏障拦截的线程数量(parties),作为AQS中state的值。每个线程调用await()告诉CyclicBarrier到达了屏障,parties减1,然后当前线程被阻塞。当所有线程都到达了屏障,也就是parties减到0,所有被拦截的线程继续执行任务。
扩展:CyclicBarrier与CountDownLatch的区别
-
CountDownLatch的计数器只能使用一次,而CyclicBarrier的计数器可以使用reset()方法重置,可以使用多次,所以CyclicBarrier能够处理更为复杂的场景;
-
CyclicBarrier还提供了一些其他有用的方法,比如getNumberWaiting()方法可以获得CyclicBarrier阻塞的线程数量,isBroken()方法用来了解阻塞的线程是否被中断;
-
CountDownLatch允许一个或多个线程等待一组事件的产生,而CyclicBarrier用于等待其他线程运行到栅栏位置。