AQS与ReentrantLock

AQS与ReentrantLock

AQS抽象队列同步器

AQS利用一个FIFO双向队列(CLH队列的变体)来完成线程同步状态的管理，同步队列的节点包括以下属性(AQS的内部类)：

waitStatus的状态：

• CANCELLED 1 表示线程获取锁的请求已经取消了
• SIGNAL -1 表示线程已经准备好了，就等资源释放了
• CONDITION -2 表示节点在等待队列中，节点线程等待唤醒
• PROPAGATE -3 当前线程处于SHARE情况下，该字段才会使用

资源共享方式：

• EXCLUSIVE 独占 如：ReentrantLock
• SHARE 共享 如：Semaphore/CountDownLatch

AQS 使用 int 成员变量 state 表示同步状态，使用volatile关键字保证可见性和有序性，通过内置的FIFO队列来完成获取资源线程的排队工作：

AQS使用了模板方法模式，自定义同步器的时候需要重写以下函数(并不一定全部实现)：

//独占方式。尝试获取资源，成功则返回true，失败则返回false。
protected boolean tryAcquire(int)
//独占方式。尝试释放资源，成功则返回true，失败则返回false。
protected boolean tryRelease(int)
//共享方式。尝试获取资源。负数表示失败；0表示成功，但没有剩余可用资源；正数表示成功，且有剩余资源。
protected int tryAcquireShared(int)
//共享方式。尝试释放资源，成功则返回true，失败则返回false。
protected boolean tryReleaseShared(int)
//该线程是否正在独占资源。只有用到condition才需要去实现它。
protected boolean isHeldExclusively()

ReentrantLock

ReentrantLock属于独占锁，其中包含内部类Sync实现了AQS，同时FairSync和NonfairSync继承于Sync分别实现了公平锁和非公平锁。

获取锁过程Lock

整体流程图如下：

释放锁过程unLock

参考资料

• 【死磕Java并发】-----J.U.C之AQS：CLH同步队列-CSDN博客

• AQS 万字图文全面解析 - 知乎 (zhihu.com)

• 从ReentrantLock的实现看AQS的原理及应用 - 美团技术团队