一.ReentrantLock简介
可重入锁(可以多次加锁,同样需要多次解锁),有lock,和unlock方法,自己去控制加锁释放锁,可以设置公平和非公平锁,相比synchronized更加灵活
二.源码分析
根据fair属性true:false选择是否是公平锁
2.1 公平锁
尝试获取锁方法
tryAcquire(arg) :尝试加锁
获取当前state,state=0表示锁没有被占用,并且队列中没有其他线程,并且cas通过,设置当前线程为线程持有者,加锁成功
else if 当前线程就是占有锁的线程,继续加锁(重入),返回加锁成功
否则加锁失败
acquireQueued(addWaiter(Node.EXCLUSIVE), arg):加入线程的等待队列
new一个新的节点,节点为互斥锁
如果当前队列有尾部节点
直接设置当前节点为尾部节点后的节点
如果当前队列没有尾部节点,证明队列还没有初始化
开始自旋(确保节点能够正常入队)
如果此时尾部还是为空,初始化队列,设置头尾
否则设置上一个节点为尾巴,通过cas来设置下一个节点为当前节点,设置尾部节点
acquireQueued(addWaiter(Node.EXCLUSIVE), arg))要开始阻塞当前节点
开始自旋
如果上一个节点是头部节点,并且加锁成功了,设置头部节点为当前节点,把之前的头部节点的下一个节点制空。
如果不能获取锁,阻塞等待被唤醒
1.首先第1轮循环、修改head的状态,修改成sinal=-1标记处可以被唤醒.
2.第2轮循环,阻塞线程,并且需要判断线程是否是有中断信号唤醒的!
shouldParkAfterFailedAcquire(p, node)
waitestate = 0 - > -1 head节点为什么改到-1,因为持有锁的线程T0在释放锁的时候,得判断head节点的waitestate是否!=0,如果!=0成立,会再把waitstate = -1->0,要想唤醒排队的第一个线程T1,T1被唤醒再接着走循环,去抢锁,可能会再失败(在非公平锁场景下),此时可能有线程T3持有了锁!T1可能再次被阻塞,head的节点状态需要再一次经历两轮循环:waitState = 0 -> -1
Park阻塞线程唤醒有两种方式:
1、中断
2、release()