Java并发编程面试问题之谈谈你对AQS的理解

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