从ReentrantLock解读AQS

从ReentrantLock解读AQS

AQS的作用：

• 加锁会导致阻塞，有阻塞就需要排队，实现排队必然需要有某种形式的队列来进行管理。

---

AQS使用一个volatile的int类型的成员变量state来表示同步状态，通过内置的 FIFO队列来完成资源获取的排队工作将每条要去抢占资源的线程封装成 一个Node节点来实现锁的分配，通过CAS完成对State值的修改。

---

ReentrantLock类中有Sync内部类，继承AbstractQueuedSynchronizer类

Sync类中有两个子类FairSync(公平同步类)和NonfairSync(非公平同步类)

---

FairSync和NonfairSync都有一个lock()方法，都会调用acquire()方法

---

比如当A线程(第一个线程)调用lock方法时，那么会在If条件判断中使用CAS的方法(两个参数期待值为0和更新值为1)把state状态设置为1。当B线程调用lock方法时，由于A线程已经把state状态设置为1，那么B线程只能调用acquire()方法，acquire()传的参数值为1。

---

acquire()方法中有一个if条件判断，里面有布尔类型的tryAcquire()方法


通过调用nonfairTryAcquire()方法,其中state状态已经被A线程设置为1，那么给tryAcquire()方法最终会return回一个false值，!tryAcquire(arg)=true，就调用addWaiter方法，其中参数为node节点类型的，会创建双向链表，其中第一个节点为虚节点(也叫哨兵节点)，其实并不存储任何信息，只是占位。 真正的第一个有数据的节点，是从第二个节点开始的。这样没有线程抢到锁的线程就在等待队列中了，等待的线程阻塞在一个LockSupport.park()中。

---

当A线程调用unlock方法时，sync类调用release()方法，传的参数是1

---

release()中有个if判断语句，里面的tryRelease()中使state状态值1减去releases参数值1，得到结果为0，把0设置给state变量，最后会调用LockSupport.unpark()解除其他等待线程阻塞状态。

---

问题

• State的值有三个，3个状态：没占用是0，占用了是1，大于1是可重入锁
• 如果AB两个线程进来了以后，请问这个总共有多少个Node节点？答案是3个