-
AbstractQueuedSynchronizer源码分析(ReentrantLock锁的实现)
1. 前言
Java中好多地方用到AbstractQueuedSynchronizer(PS:简称AQS),比如ReentrantLock、线程池,这部分在面试的时候也经常被问到,今天以ReentrantLock为例,通过源码来加深对AQS的理解
2. lock
通常,我们的用法是这样的:
那么lock(),unlock()到底做了什么,我们并不知晓,接下来一步一步揭开她的神秘面纱
2.1. lock
可以看到,ReentrantLock默认是NonfairSync(非公平锁)
2.2. NonfairSync
可以看到,首先判断同步状态是否是0,如果是0则临界资源没有被占用,并且将状态设为1,当前线程获得这个资源,可以访问;否则,调用acquire(1)方法尝试获取资源的访问控制权。
2.3. tryAcquire
尝试再获取一次
如果当前同步状态是0,则跟之前相同,将状态置为1,当前线程获得访问权,返回true
如果当前资源的所有者线程就是当前线程,则状态加1,当前线程仍然获得访问权,返回true
如果以上情况都不是(PS:资源被别的线程占用着),则返回false
2.4. acquireQueued
如果上一步tryAcquire方法返回false,则继续调用acquireQueued方法将线程添加到队列中(PS:链表的尾部)
在添加到链表之前,先封装成Node对象
将当前线程构造成Node对象,节点的模式是排它的,然后将其加到链表的尾部(或是说叫队列),最后将该结点返回
这里有两个特殊的节点:等待队列的头结点 和 等待队列的尾结点
接下来,将刚才构造的节点加到队列中
如果当前节点的前驱节点是头结点(head),并且当前节点再次尝试获取资源(tryAcquire方法),恰好成功了,于是皆大欢喜
如果当前节点的前驱节点既不是head,而且当前节点也没有抢占到资源,则循环直到前驱节点的状态变成SIGNAL,则挂起当前线程
3. unlock
如果资源的所有者线程不是当前线程的话,则抛出异常
如果当前资源同步状态减1恰好是0,则成功释放,同步状态置为0,资源所有者线程置为null,唤醒head的后继节点
4. 小结
加锁
1、默认非公平锁(PS:当前线程不是直接加到等待队列中,而是先尝试获取一次,如果不成功则加到队列中,在加的时候还会尝试一次)
2、临街资源有一个同步状态,0表示当前没有线程占用,则可以直接可以获取到资源(加锁成功)
3、如果资源所有者线程就是当前线程,则状态加1,仍然可以获得锁
3、加锁成功以后,将同步状态置为1,资源所有者线程置为当前线程
4、不成功,则封装成Node加入到等待队列(链表)中,此时,还会像前面一样再尝试(抢占)一次
5、抢占不成功,加到等待队列中,线程挂起
解锁
1、资源所有者线程不是当前线程,则抛异常
2、唤醒下一个结点
原文:https://www.cnblogs.com/cjsblog/p/9636379.html