AQS其实是Java并发包的基础组件,它提供了一种实现阻塞锁和一系列依赖FIFO等待队列的同步器的框架,ReentrantLock、Semaphore、CountDownLatch、CyclicBarrier等并发类均是基于AQS来实现的。AQS包含了state变量、加锁线程、等待队列等并发问题的核心组件。参考文献穿插在了文中。 |
---|
1、ReentrantLock与AQS的关系
首先回忆一下ReentrantLock在同步问题中的使用,其实主要使用ReentrantLock的lock()和unlock(),有时还会配合Condition使用。
Lock lock = new ReentrantLock();
Condition con = lock.newCondition();
lock.lock();
//业务代码
lock.unlock()
好像看上去ReentrantLock和AQS也没有什么关系,其实不然,Java并发包下的很多API的加锁和释放锁都是基于AQS,的,ReentrantLock也不例外。
2、ReentrantLock加锁的过程和原理
当一个线程过来尝试用ReentrantLock的lock()进行加锁的时候整个流程如下:
AQS内部有个state变量,是int类型,代表了加锁状态,默认状态下state=0,另外AQS中还有个变量记录当前加锁的线程,默认情况下null。
(1)当一个线程1过来的时候,调用ReentrantLock的lock()方法,这个加锁的过程就是直接利用CAS操作将state变成1,并将当前线程设置为自己。
(2)线程2过来以后,发现state1,这个时候用CAS改变state为1的操作就会失败,然后线程2会判断一下当前线程是不是自己,不是自己则加锁失败,线程2进入等待队列。当线程1释放锁后,线程2就可以竞争锁了(非公平锁的情况),当然如果是公平锁的情况,当线程1释放锁后线程2自然就会得到锁。
(3)在这简单说一下线程1释放锁的过程,释放锁的过程就是将state变量减1,当减为0时彻底释放,并将加锁线程变量设置为null。(值得注意的是,可重入锁的情况下state的值并不一定是1,有可能是 2 3 4,这种情况下state直到减为0的时候才会释放锁)。
(4)线程1彻底释放锁后,线程2重新尝试加锁,这时进行CAS操作将state由0变成1,并设置加锁线程变量。同时加锁成功后会出队列。
参考文献:
https://www.bilibili.com/video/BV1V7411H7kC/?spm_id_from=333.788.videocard.5