ReentrantLock-AQS加锁过程

true

false

prev

next

获取到锁，设置当前线程持有锁

NonfairSync#lock

tail尾节点

将当前线程封装的Node节点放入队列尾

Node：n1thread：nullprev：nullnext：n2

Node：n2thread：t2prev：n1next：n3

队列示意图

park逻辑

getState() == 0

aqs队列（链表）

Node：n2thread：t2prev：n1next：null

方法返回false，获取锁失败

尝试获取锁，如果获取不到就等待

非公平锁

2

当前是第一个等待的线程，需要初始化队列并将当前线程加进去

acquireQueued逻辑

否，表示锁被占有了

p == head判断当前节点的前节点是否是head节点，即判断当前节点是否是第一个排队的节点

初始化示意图

tryAcquire

源码

方法返回true，尝试获取锁成功

公平锁和非公平锁逻辑大致相同，只不过在尝试获取锁的tryAcquire方法中会先判断下是否有等待的节点，有就直接获取锁失败

FairSync#lock

enq方法

return false

ReentrantLock

重新设置state的值（线程占有锁）重入锁

false循环

判断占有锁的线程是否是当前线程

尝试获取锁失败，会执行排队逻辑addWaiter方法

sync继承了AbstractQueuedSynchronizer。所以又叫做AQS嘛

结束阻塞

head头节点

尝试获取锁流程

获取到锁，返回

否

    public void lock() { sync.lock(); }

排队逻辑

Node：n3thread：t3prev：n2next：null

cas获取锁

return true

这里是设置prev节点的waitState=-1，而不是当前节点。-1表示阻塞状态。因为线程调用park之后，无法设置当前线程的这个状态，而在park之前设置，可能导致不一致，所以设置的都是上个节点

公平锁

设置pred.waitStatus=-1

头节点，也叫哨兵节点

parkAndCheckInterrupt()线程阻塞

重新判断是否轮到当前节点

流程

是

lock

获取到锁。将当前节点设置为head节点，之前的head节点没有引用会回收

pred.waitStatus>0

如果acquireQueued方法能正常返回，就代表获取到锁，否则会一直阻塞，直到获取到锁。

将当前线程封装成一个Node节点放入队列中。tail表示队尾1、队尾不为空（即等待队列中已经存在等待的线程），将当前线程加到队列尾2、队尾为空（即当前线程是第一个需要等待的线程），执行enq方法进行初始化

tryAcquire方法执行流程

current == getExclusiveOwnerThread()重入锁的逻辑

这里个人觉得设计得很巧妙，用了for(;;)。流程：    首先判断node的前节点是否是head节点，如果是，表示当前是排最前面的线程，就尝试获取一下锁，如果锁获取成功，就重新维护下链表，将head设置为当前节点，并将head节点的next设置为null，这样当前节点就成了新的head节点，之前的head节点没有了引用就会被回收；    如果没有获取到锁或者是node节点的前节点不是head节点，就会在判断前节点的waitStatus属性是否是SIGNAL状态，如果是，执行park操作，线程阻塞；如果不是：    1、== 0，设置为SIGNAL    2、ws > 0，当前节点的前节点被取消了，会重新维护链表（进入第二次for(;;)）

tryAcquire方法的执行逻辑

获取锁成功，设置当前占有锁线程exclusiveOwnerThread的值为当前线程

abstract void lock();

tryAcquire方法会尝试获取锁，以下几种情况会导致获取锁失败：1、锁已经被其他线程占有2、锁没有被占有，但是当前线程需要等待（公平锁的情况）3、cas失败属性c（state，表示锁的状态，1代表被占有，0代表没被占有）。公平锁和非公平锁的区别：非公平锁上来直接尝试获取，而公平锁还会通过hasQueuedPredecessors方法判断等待队列中是否有线程排队。

acquire(1)

需要做的事情是初始化等待队列，并将当前线程加进去

1

是，表示锁没被占用

pred != null

acquireQueued

> 0，只能是==1，即CANCELLED状态，表示prev节点已经取消，此时需要重新维护链表。

pred.waitStatus == Node.SIGNAL（-1）