ReentrantLock-公平锁
公平锁
当线程CAS失败之后会进入Node双链表的阻塞队列中,Node大概结构如下:
thread:线程
waitestate节点的生命状态:信号量
SIGNAL = -1 //可被唤醒
CANCELLED = 1 //代表出现异常,中断引起的,需要废弃结束
CONDITION = -2 // 条件等待
PROPAGATE = -3 // 传播
0 - 初始状态Init状态
一个Head头,一个Tail尾部,这两个节点thread均为空
需要注意head.waitState保存的是下一个节点的生命状态,出了head其他节点的waitState均为0.
线程进入阻塞队列中后,waitState=0
当lock.unlock()解锁后只会让head尝试去获取锁,而不是所有节点线程,这时如果有第三个线程来抢锁CAS的话是不会成功的,只会让head的下一个节点获取锁(head节点线程为null,只是表示下一个节点的状态)
非公平锁
当lock.unlock()去释放锁后,会让head去尝试获取锁(CAS),此时如果有一个新的线程来与head抢锁并且成功了,head就需要再次被阻塞
ReentrantLock又是怎样通过waitStatus状态实现的呢?
waitStatus状态切换
当节点进来的时候初始值为0,如果头节点被唤醒那么下一个节点(也就是新的头节点)就会wS就会变为-1(可被唤醒状态)。
当unlock()后会先将头节点变为0
在公平锁情况下,一定是head节点获取锁然后出列
在非公平锁情况下是可能由第三个线程获取,那么头节点被唤醒后就会在自旋的时候wS又变为-1,然后进入阻塞队列