ReentrantLock实现原理-公平锁

在ReentrantLock实现原理(1)一节中，我们了解了ReentrantLock非公平锁的获取流程，在本节中我们来看下ReentrantLock公平锁的创建以及锁管理流程

创建ReentrantLock公平锁

创建公平锁代码如下：

ReentrantLock reentrantLock = new ReentrantLock(true);

公平锁ReentrantLock.lock流程分析

使用上文创建的ReentrantLock公平锁，执行lock，流程如下所示：

从图中可以看出，相对非公平锁而言，公平锁代码中主要有以下区别：

1. 在lock函数实现上，非公平锁会直接先通过CAS操作锁状态标记，操作失败才会将请求提交给AQS，而公平锁会直接将请求提交给AQS

   

2. 在tryAcquire函数流程中(非公平锁调用父类的nonfairTryAcquire)，非公平锁是在锁状态标记为0时，直接通过CAS修改锁标记为1，公平锁是在锁状态标记为0且等待队列为空时，才通过CAS操作锁状态标记

   

   同时这里也可以看出不管是公平锁实现还是非公平锁实现，当前线程是持有锁线程时，都是直接获取锁的，充分体现了ReentrantLock的可重入性的特点

通过这两处变动，就保证了在公平锁实现中，新来的线程必然是先排队，随后按照队列顺序获取锁的，接下里的线程排入等待队列的流程，两种锁的实现是完全重用的，这里不再赘述，需要了解可以再详细看非公平锁部分的内容。

结合lock的时序图，我们可以得到获取公平锁的流程如下图所示：

公平锁ReentrantLock.unlock流程分析

查看代码，两种锁的unlock流程完全一致，这里不再赘述，需要了解可以在详细看下非公平锁部分的内容。