AQS详解4-源码解读(下)

此片源码讲解一共分为两篇博客,第一篇博客在这里,AQS详解3-源码解读(上)
以ReentrantLock以切入点,研究非公平锁的加锁的具体过程,
以两个线程a和b争抢锁为场景,详细的进行了说明.
此文章主要讲解解锁的过程,目前的流程是这样的.

1.线程a先抢到了锁,在执行自己的业务逻辑,
2.线程b没有抢到锁,处于阻塞状态

现有的阻塞队列是这样的:

1.现在a已经执行完业务逻辑,开始执行unlock()操作.
执行unlock方法其实是执行AQS的release()方法

执行release方法,开始释放锁,并唤醒头节点(头节点线程为null)的下一个节点中的线程,这里就是b线程.

2.现在a线程已经释放锁完毕,b线程被唤醒后开始执行抢锁和退出队列操作.

现在b线程被唤醒,开始执行后面的操作,进行返回.

现在b线程首先开始争抢锁,成功之后开始从队列中移除,执行完这两步之后,b线程真正由阻塞线程变为持有锁的线程
b线程从队列中移除后的前后对比:

可以看到b线程节点其实并没有从队列中移除,只是将其内置的thread置为null,也达到了移除的效果,同时这样还有一个好处,就是促进垃圾回收,否则如果仅仅将b节点从队列中移除,内部的thread还持有引用,不利于gc,可能造成内存泄漏,这也是我在上一篇博客中说的为什么加入到队列中第一个节点不是当前线程封装的节点,而是一个空节点的答案.