Java并发之ReentrantLock类源码解析

ReentrantLock内部由Sync类实例实现。

Sync类定义于ReentrantLock内部。

Sync继承于AbstractQueuedSynchronizer。

AbstractQueuedSynchronizer继承于AbstractOwnableSynchronizer。

AbstractOwnableSynchronizer类中只定义了一个exclusiveOwnerThread变量，表示当前拥有的线程。

除了Sync类，ReentrantLock内部还定义了两个实现类。

NonfairSync是非公平锁。FairSync 是公平锁。

ReentrantLock两个构造方法如下：

ReentrantLock的lock方法

非公平锁的lock方法

compareAndSetState方法是一个CAS方法。该方法尝试去更新对象内的一个变量。变量期望是0，更新为1。

若更新成功，则将exclusiveOwnerThread变量设置为当前线程。然后lock方法会立刻返回。

若更新不成功，则调用acquire(1)。

acquire方法中首先调用tryAcquire()再次尝试更新。

非公平锁的tryAcquire()方法如下：

非公平锁的tryAcquire()方法内部调用nonfairTryAcquire方法如下：

若tryAcquire()方法再次尝试不成功。则首先会调用addWaiter()方法，将当前线程加入等待队列。addWaiter方法返回一个Node节点。

返回节点后，acquireQueued(node,1)会再次尝试去做更新。

若还是无法更新，则通过parkAndCheckInterrupt将线程挂起。

ReentrantLock的unlock方法

查看release()方法。

若队列的head不为空，且head的等待状态不为0，则调用unparkSuccessor()方法。

unparkSuccessor()方法如下：

使node的next从后向前遍历，获取到队列中最前面的一个waitStatus小于0的线程。然后将节点上的线程继续执行。