前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >基于AQS实现自己的同步工具

基于AQS实现自己的同步工具

作者头像
用户9927510
发布2022-07-29 08:48:21
2750
发布2022-07-29 08:48:21
举报
文章被收录于专栏:六脉神剑的程序人生

前言

❝文本已收录至我的GitHub仓库,欢迎Star:https://github.com/bin392328206/six-finger 「种一棵树最好的时间是十年前,其次是现在」

絮叨

这篇文章,基于子路老师的AQS,在这之前我对AQS,对它的源码大部分是似懂非懂的感觉,但是看了子路老师的文章,好像顿悟了,哈哈,其实怎么说呢?AQS这个大家一定要会,并发编程的基础就是AQS,只要你对并发有点点基础,小六六这篇文档保证让你有对并发编程,对AQS有不一样的认知。

分析

Java的内置锁一直都是备受争议的,在JDK 1.6之前,synchronized这个重量级锁其性能一直都是较为低下,虽然在1.6后,进行大量的锁优化策略,但是与Lock相比synchronized还是存在一些缺陷的:虽然synchronized提供了便捷性的隐式获取锁释放锁机制(基于JVM机制),但是它却缺少了获取锁与释放锁的可操作性,可中断、超时获取锁,且它为独占式在高并发场景下性能大打折扣。目前大部分公司的jdk肯定是1.8,所以我想说的是,对于sync 和 lock 的使用,都是看各种的场景,并没有好坏之说。

如何自己来实现一个同步

我们知道AQS就是一个资源竞争排队的一种实现手段,就好比做地铁排队进站,买票排队一样,那我们自己如何来实现这种同步的机制呢?

通过自旋来实现

代码语言:javascript
复制
volatile int status=0;//标识---是否有线程在同步块-----是否有线程上锁成功
void lock(){
	while(!compareAndSet(0,1)){
	}
	//lock
}
void unlock(){
	status=0;
}
boolean compareAndSet(int except,int newValue){
	//cas操作,修改status成功则返回true
}

上面的伪代码其实很简单,我们来一个线程就去自旋去拿锁,采用一直自旋的方式+valatile+cas的方式就可以实现资源的安全访问了,但是我们看上面的伪代码其实是有一点点缺点的,就是自旋的时候会非常消耗cpu的资源,如果竞争的线程非常多的话,那系统肯定扛不住了,那我们有没有其他的改进方案呢?

❝缺点:耗费cpu资源。没有竞争到锁的线程会一直占用cpu资源进行cas操作,假如一个线程获得锁后要花费Ns处理业务逻辑,那另外一个线程就会白白的花费Ns的cpu资源 解决思路:让得不到锁的线程让出CPU ❞

yield+自旋实现同步

代码语言:javascript
复制
volatile int status=0;
void lock(){
	while(!compareAndSet(0,1)){
     yield();//自己实现
	}
	//lock

}
void unlock(){
	status=0;
}

❝要解决自旋锁的性能问题必须让竞争锁失败的线程不空转,而是在获取不到锁的时候能把cpu资源给让出来,yield()方法就能让出cpu资源,当线程竞争锁失败时,会调用yield方法让出cpu。自旋+yield的方式并没有完全解决问题,当系统只有两个线程竞争锁时,yield是有效的。需要注意的是该方法只是当前让出cpu,有可能操作系统下次还是选择运行该线程,比如里面有2000个线程,想想会有什么问题? ❞

sleep+自旋方式实现同步

代码语言:javascript
复制
volatile int status=0;
void lock(){
	while(!compareAndSet(0,1)){
		sleep(10);
	}
	//lock

}
void unlock(){
	status=0;
}

❝缺点:sleep的时间为什么是10?怎么控制呢?很多时候就算你是调用者本身其实你也不知道这个时间是多少 ❞

park+自旋方式实现同步

代码语言:javascript
复制
volatile int status=0;
Queue parkQueue;//集合 数组  list

void lock(){
	while(!compareAndSet(0,1)){
		//
		park();
	}
	//lock    10分钟
   。。。。。。
   unlock()
}

void unlock(){
	lock_notify();
}

void park(){
	//将当期线程加入到等待队列
	parkQueue.add(currentThread);
	//将当期线程释放cpu  阻塞
	releaseCpu();
}
void lock_notify(){
	//得到要唤醒的线程头部线程
	Thread t=parkQueue.header();
	//唤醒等待线程
	unpark(t);
}

❝看看这种方案,我们采用了一个Queue 和一个volatile的 status +cas+ pack(unsafe) 来实现这个同步队列,事实上我们的JUC下面的lock的实现原理的思路其实也是差不多,但是人家的复杂层度就是不一样了 ❞

ReentrantLock源码分析之上锁过程

AQS(AbstractQueuedSynchronizer)类的设计主要代码(具体参考源码)

代码语言:javascript
复制
private transient volatile Node head; //队首
private transient volatile Node tail;//尾
private volatile int state;//锁状态,加锁成功则为1,重入+1 解锁则为0

AQS当中的队列示意图

Node类的设计

代码语言:javascript
复制
public class Node{
    volatile Node prev;
    volatile Node next;
    volatile Thread thread;
    volatile int waitStatus; //Node 对于普通同步节点,该字段初始化为0,对于条件节点,该字段初始化为* CONDITION。使用CAS *(或在可能时进行无条件的易失性写操作)对其进行修改
}

上锁过程重点

❝锁对象:其实就是ReentrantLock的实例对象,下文应用代码第一行中的lock对象就是所谓的锁 自由状态:自由状态表示锁对象没有被别的线程持有,计数器为0 计数器:再lock对象中有一个字段state用来记录上锁次数,比如lock对象是自由状态则state为0,如果大于零则表示被线程持有了,当然也有重入那么state则>1 waitStatus:仅仅是一个状态而已;ws是一个过渡状态,在不同方法里面判断ws的状态做不同的处理,所以ws=0有其存在的必要性 tail:队列的队尾 head:队列的对首 ts:第二个给lock加锁的线程 tf:第一个给lock加锁的线程 tc:当前给线程加锁的线程 tl:最后一个加锁的线程 tn:随便某个线程 当然这些线程有可能重复,比如第一次加锁的时候tf=tc=tl=tn 节点:就是上面的Node类的对象,里面封装了线程,所以某种意义上node就等于一个线程 ❞

首先一个简单的应用

跟着一个个往下跟下去,小六六建议大家一起跟着dubug 最少设计3个线程 分别看看 交替进行,和并发进行的区别,每种线程下的队列 和各个线程封装的Node的变化。

代码语言:javascript
复制
 final ReentrantLock lock = new ReentrantLock(true);
 Thread t1= new Thread("t1"){
     @Override
     public void run() {
         lock.lock();
         logic();
         lock.unlock();
     }
 };
t1.start();

公平锁lock方法的源码分析

代码语言:javascript
复制
final void lock() {
    acquire(1);//1------标识加锁成功之后改变的值
}

非公平锁的looc方法

代码语言:javascript
复制
final void lock() {
	if (compareAndSetState(0, 1))
		setExclusiveOwnerThread(Thread.currentThread());
	else
		 acquire(1);
}

公平和非公平的逻辑图

❝公平锁的上锁是必须判断自己是不是需要排队;而非公平锁是直接进行CAS修改计数器看能不能加锁成功;如果加锁不成功则乖乖排队(调用acquire);所以不管公平还是不公平;只要进到了AQS队列当中那么他就会排队;一朝排队;永远排队记住这点 ❞

这个之前也有一篇文章写的非常好了

  • 一张图读懂公平与非公平

acquire方法方法源码分析

接下来,其实非公平锁,只是比公平锁多了一次机会去获取锁,如果它这次失败了,那么它也只能说乖乖去排队,那么接下来需要调用的就是acquire 方法了

代码语言:javascript
复制
public final void acquire(int arg) {
    //tryAcquire(arg)尝试加锁,如果加锁失败则会调用acquireQueued方法加入队列去排队,如果加锁成功则不会调用
    //acquireQueued方法下文会有解释
    //加入队列之后线程会立马park,等到解锁之后会被unpark,醒来之后判断自己是否被打断了;被打断下次分析
    //为什么需要执行这个方法?下文解释
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

acquire方法中 有三个核心方法,我们先大致来了解一下他们

  • tryAcquire(arg) 尝试加锁,如果加锁失败则会调用acquireQueued方法加入队列去排队,如果加锁成功则不会调用
  • addWaiter 添加到AQS的队列中
  • acquireQueued 到队列中之后,它需要做的事情

❝acquire方法首先会调用tryAcquire方法,注意tryAcquire的结果做了取反 ❞

tryAcquire方法源码分析

代码语言:javascript
复制
protected final boolean tryAcquire(int acquires) {
    //获取当前线程
    final Thread current = Thread.currentThread();
    //获取lock对象的上锁状态,如果锁是自由状态则=0,如果被上锁则为1,大于1表示重入
    int c = getState();
    if (c == 0) {//没人占用锁--->我要去上锁----1、锁是自由状态
        //hasQueuedPredecessors,判断自己是否需要排队这个方法比较复杂,
        //下面我会单独介绍,如果不需要排队则进行cas尝试加锁,如果加锁成功则把当前线程设置为拥有锁的线程
        //继而返回true
        if (!hasQueuedPredecessors() &&
            compareAndSetState(0, acquires)) {
            //设置当前线程为拥有锁的线程,方面后面判断是不是重入(只需把这个线程拿出来判断是否当前线程即可判断重入)    
            setExclusiveOwnerThread(current);
            return true;
        }
    }
    //如果C不等于0,而且当前线程不等于拥有锁的线程则不会进else if 直接返回false,加锁失败
    //如果C不等于0,但是当前线程等于拥有锁的线程则表示这是一次重入,那么直接把状态+1表示重入次数+1
    //那么这里也侧面说明了reentrantlock是可以重入的,因为如果是重入也返回true,也能lock成功
    else if (current == getExclusiveOwnerThread()) {
        int nextc = c + acquires;
        if (nextc < 0)
            throw new Error("Maximum lock count exceeded");
        setState(nextc);
        return true;
    }
    return false;
}

总结一下他们的几点功能

  • 首先拿到当前线程和AQS status的状态。如果AQS状态为0 说明没人用,中间还要一个方法是判断自己是否需要排队,如果不需要排队的话,那我当前线程是不是可以直接cas去获取锁,对吧
  • 如果status 不等于0,并且占有的线程和当前线程不一样,这个地方就是可重复锁的判断,如果是一样的就是可重复锁,如果不是,直接返回false,去排队。

hasQueuedPredecessors判断是否需要排队的源码分析

接着上面的方法看,如果tryacquire的status的状态为0的时候,我们是不是说我们需要判断一下我们是否怕排队,排队这个还是有点复杂,我们来看看大佬的分析

代码语言:javascript
复制
public final boolean hasQueuedPredecessors() {
    Node t = tail; 
    Node h = head;
    Node s;
    /**
     * 下面提到的所有不需要排队,并不是字面意义,我实在想不出什么词语来描述这个“不需要排队”;不需要排队有两种情况
     * 一:队列没有初始化,不需要排队,不需要排队,不需要排队;直接去加锁,但是可能会失败;为什么会失败呢?
     * 假设两个线程同时来lock,都看到队列没有初始化,都认为不需要排队,都去进行CAS修改计数器;有一个必然失败
     * 比如t1先拿到锁,那么另外一个t2则会CAS失败,这个时候t2就会去初始化队列,并排队
     *
     * 二:队列被初始化了,但是tc过来加锁,发觉队列当中第一个排队的就是自己;比如重入;
     * 那么什么叫做第一个排队的呢?下面解释了,很重要往下看;
     * 这个时候他也不需要排队,不需要排队,不需要排队;为什么不需要排对?
     * 因为队列当中第一个排队的线程他会去尝试获取一下锁,因为有可能这个时候持有锁锁的那个线程可能释放了锁;
     * 如果释放了就直接获取锁执行。但是如果没有释放他就会去排队,
     * 所以这里的不需要排队,不是真的不需要排队
     *
     * h != t 判断首不等于尾这里要分三种情况
     * 1、队列没有初始化,也就是第一个线程tf来加锁的时候那么这个时候队列没有初始化,
     * h和t都是null,那么这个时候判断不等于则不成立(false)那么由于是&&运算后面的就不会走了,
     * 直接返回false表示不需要排队,而前面又是取反(if (!hasQueuedPredecessors()),所以会直接去cas加锁。
     * ----------第一种情况总结:队列没有初始化没人排队,那么我直接不排队,直接上锁;合情合理、有理有据令人信服;
     * 好比你去火车站买票,服务员都闲的蛋疼,整个队列都没有形成;没人排队,你直接过去交钱拿票
     *
     * 2、队列被初始化了,后面会分析队列初始化的流程,如果队列被初始化那么h!=t则成立;(不绝对,还有第3中情况)
     * h != t 返回true;但是由于是&&运算,故而代码还需要进行后续的判断
     * (有人可能会疑问,比如队列初始化了;里面只有一个数据,那么头和尾都是同一个怎么会成立呢?
     * 其实这是第3种情况--对头等于对尾;但是这里先不考虑,我们假设现在队列里面有大于1个数据)
     * 大于1个数据则成立;继续判断把h.next赋值给s;s有是对头的下一个Node,
     * 这个时候s则表示他是队列当中参与排队的线程而且是排在最前面的;
     * 为什么是s最前面不是h嘛?诚然h是队列里面的第一个,但是不是排队的第一个;下文有详细解释
     * 因为h也就是对头对应的Node对象或者线程他是持有锁的,但是不参与排队;
     * 这个很好理解,比如你去买车票,你如果是第一个这个时候售票员已经在给你服务了,你不算排队,你后面的才算排队;
     * 队列里面的h是不参与排队的这点一定要明白;参考下面关于队列初始化的解释;
     * 因为h要么是虚拟出来的节点,要么是持有锁的节点;什么时候是虚拟的呢?什么时候是持有锁的节点呢?下文分析
     * 然后判断s是否等于空,其实就是判断队列里面是否只有一个数据;
     * 假设队列大于1个,那么肯定不成立(s==null---->false),因为大于一个Node的时候h.next肯定不为空;
     * 由于是||运算如果返回false,还要判断s.thread != Thread.currentThread();这里又分为两种情况
     *        2.1 s.thread != Thread.currentThread() 返回true,就是当前线程不等于在排队的第一个线程s;
     *              那么这个时候整体结果就是h!=t:true; (s==null false || s.thread != Thread.currentThread() true  最后true)
     *              结果:true && true 方法最终放回true,所以需要去排队
     *              其实这样符合情理,试想一下买火车票,队列不为空,有人在排队;
     *              而且第一个排队的人和现在来参与竞争的人不是同一个,那么你就乖乖去排队
     *        2.2 s.thread != Thread.currentThread() 返回false 表示当前来参与竞争锁的线程和第一个排队的线程是同一个线程
     *             这个时候整体结果就是h!=t---->true; (s==null false || s.thread != Thread.currentThread() false-----> 最后false)
     *            结果:true && false 方法最终放回false,所以不需要去排队
     *            不需要排队则调用 compareAndSetState(0, acquires) 去改变计数器尝试上锁;
     *            这里又分为两种情况(日了狗了这一行代码;有同学课后反应说子路老师老师老是说这个AQS难,
     *            你现在仔细看看这一行代码的意义,真的不简单的)
     *             2.2.1  第一种情况加锁成功?有人会问为什么会成功啊,如这个时候h也就是持有锁的那个线程执行完了
     *                      释放锁了,那么肯定成功啊;成功则执行 setExclusiveOwnerThread(current); 然后返回true 自己看代码
     *             2.2.2  第二种情况加锁失败?有人会问为什么会失败啊。假如这个时候h也就是持有锁的那个线程没执行完
     *                       没释放锁,那么肯定失败啊;失败则直接返回false,不会进else if(else if是相对于 if (c == 0)的)
     *                      那么如果失败怎么办呢?后面分析;
     *
     *----------第二种情况总结,如果队列被初始化了,而且至少有一个人在排队那么自己也去排队;但是有个插曲;
     * ----------他会去看看那个第一个排队的人是不是自己,如果是自己那么他就去尝试加锁;尝试看看锁有没有释放
     *----------也合情合理,好比你去买票,如果有人排队,那么你乖乖排队,但是你会去看第一个排队的人是不是你女朋友;
     *----------如果是你女朋友就相当于是你自己(这里实在想不出现实世界关于重入的例子,只能用男女朋友来替代);
     * --------- 你就叫你女朋友看看售票员有没有搞完,有没有轮到你女朋友,因为你女朋友是第一个排队的
     * 疑问:比如如果在在排队,那么他是park状态,如果是park状态,自己怎么还可能重入啊。
     * 希望有同学可以想出来为什么和我讨论一下,作为一个菜逼,希望有人教教我
     *  
     * 
     * 3、队列被初始化了,但是里面只有一个数据;什么情况下才会出现这种情况呢?ts加锁的时候里面就只有一个数据?
     * 其实不是,因为队列初始化的时候会虚拟一个h作为头结点,tc=ts作为第一个排队的节点;tf为持有锁的节点
     * 为什么这么做呢?因为AQS认为h永远是不排队的,假设你不虚拟节点出来那么ts就是h,
     *  而ts其实需要排队的,因为这个时候tf可能没有执行完,还持有着锁,ts得不到锁,故而他需要排队;
     * 那么为什么要虚拟为什么ts不直接排在tf之后呢,上面已经时说明白了,tf来上锁的时候队列都没有,他不进队列,
     * 故而ts无法排在tf之后,只能虚拟一个thread=null的节点出来(Node对象当中的thread为null);
     * 那么问题来了;究竟什么时候会出现队列当中只有一个数据呢?假设原队列里面有5个人在排队,当前面4个都执行完了
     * 轮到第五个线程得到锁的时候;他会把自己设置成为头部,而尾部又没有,故而队列当中只有一个h就是第五个
     * 至于为什么需要把自己设置成头部;其实已经解释了,因为这个时候五个线程已经不排队了,他拿到锁了;
     * 所以他不参与排队,故而需要设置成为h;即头部;所以这个时间内,队列当中只有一个节点
     * 关于加锁成功后把自己设置成为头部的源码,后面会解析到;继续第三种情况的代码分析
     * 记得这个时候队列已经初始化了,但是只有一个数据,并且这个数据所代表的线程是持有锁
     * h != t false 由于后面是&&运算,故而返回false可以不参与运算,整个方法返回false;不需要排队
     *
     *
     *-------------第三种情况总结:如果队列当中只有一个节点,而这种情况我们分析了,
     *-------------这个节点就是当前持有锁的那个节点,故而我不需要排队,进行cas;尝试加锁
     *-------------这是AQS的设计原理,他会判断你入队之前,队列里面有没有人排队;
     *-------------有没有人排队分两种情况;队列没有初始化,不需要排队
     *--------------队列初始化了,但是只有一个节点,也是没人排队,自己先也不排队
     *--------------只要认定自己不需要排队,则先尝试加锁;加锁失败之后再排队;
     *--------------再一次解释了不需要排队这个词的歧义性
     *-------------如果加锁失败了,在去park,下文有详细解释这样设计源码和原因
     *-------------如果持有锁的线程释放了锁,那么我能成功上锁
     *
     **/
    return h !=  &&
        ((s = h.next) == null || s.thread != Thread.currentThread());
}

❝代码只有2三行,但是因为是并发编程,它的意义和情况就是非常多,这就是并发编程的魅力,我们来总结一下 ❞

  • h!=t 这个是啥意思呢?这个AQS队首 和队尾为null 那么返回的就是false 说明不要排队,这就是第一种情况 也就是当我们队列还没初始化的时候,我们是不需要排队的, 好比你去火车站买票,服务员都闲的蛋疼,整个队列都没有形成;没人排队,你直接过去交钱拿票,如果都没人排队,难道你还会去排队,傻傻的等着服务员来问你是否需要买票?
  • 小六六看得也很懵逼,这行代码要考虑的太多了。延申的情况太多了上面的注释大家可以好好,当status为0时,判断自己是否需要排队的场景还是很牛逼的

到此我们已经解释完了!tryAcquire(arg)方法,为了方便我再次贴一下代码

代码语言:javascript
复制
public final void acquire(int arg) {
    //tryAcquire(arg)尝试加锁,如果加锁失败则会调用acquireQueued方法加入队列去排队,如果加锁成功则不会调用
    //acquireQueued方法下文会有解释
    //加入队列之后线程会立马park,等到解锁之后会被unpark,醒来之后判断自己是否被打断了
    //为什么需要执行这个方法?下次解释
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

acquireQueued(addWaiter(Node.exclusive),arg))方法解析

代码语言:javascript
复制
public final void acquire(int arg) {
    //tryAcquire(arg)尝试加锁,如果加锁失败则会调用acquireQueued方法加入队列去排队,如果加锁成功则不会调用
    //acquireQueued方法下文会有解释
    //加入队列之后线程会立马park,等到解锁之后会被unpark,醒来之后判断自己是否被打断了;被打断下次分析
    //为什么需要执行这个方法?下文解释
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

❝如果代码能执行到这里说tc需要排队 需要排队有两种情况—换言之代码能够执行到这里有两种情况:1、tf持有了锁,并没有释放,所以tc来加锁的时候需要排队,但这个时候—队列并没有初始化 2、tn(无所谓哪个线程,反正就是一个线程)持有了锁,那么由于加锁tn!=tf(tf是属于第一种情况,我们现在不考虑tf了),所以队列是一定被初始化了的,tc来加锁,那么队列当中有人在排队,故而他也去排队 ❞

这边说明什么呢?就是如果代码还能往下走,那在当前来说肯定是需要去排队的,对吧,那要排队,我们想一想第一步是要干嘛,当然是用当前线程去封装一个Node 然后通过这个Node把它放到AQS里面 并且把AQS 本身的head tail 改变之类的。

addWaiter(Node.EXCLUSIVE)源码分析

代码语言:javascript
复制
private Node addWaiter(Node mode) {
    //由于AQS队列当中的元素类型为Node,故而需要把当前线程tc封装成为一个Node对象,下文我们叫做nc
    Node node = new Node(Thread.currentThread(), mode);
    //tail为对尾,赋值给pred 
    Node pred = tail;
    //判断pred是否为空,其实就是判断对尾是否有节点,其实只要队列被初始化了对尾肯定不为空,
    //假设队列里面只有一个元素,那么对尾和对首都是这个元素
    //换言之就是判断队列有没有初始化
    //上面我们说过代码执行到这里有两种情况,1、队列没有初始化和2、队列已经初始化了
    //pred不等于空表示第二种情况,队列被初始化了,如果是第二种情况那比较简单
   //直接把当前线程封装的nc的上一个节点设置成为pred即原来的对尾
   //继而把pred的下一个节点设置为当nc,这个nc自己成为对尾了
    if (pred != null) {
        //直接把当前线程封装的nc的上一个节点设置成为pred即原来的对尾,对应 10行的注释
        node.prev = pred;
        //这里需要cas,因为防止多个线程加锁,确保nc入队的时候是原子操作
        if (compareAndSetTail(pred, node)) {
            //继而把pred的下一个节点设置为当nc,这个nc自己成为对尾了 对应第11行注释
            pred.next = node;
            //然后把nc返回出去,方法结束
            return node;
        }
    }
    //如果上面的if不成了就会执行到这里,表示第一种情况队列并没有初始化---下面解析这个方法
    enq(node);
    //返回nc
    return node;
}


private Node enq(final Node node) {//这里的node就是当前线程封装的node也就是nc
    //死循环
    for (;;) {
        //对尾复制给t,上面已经说过队列没有初始化,
        //故而第一次循环t==null(因为是死循环,因此强调第一次,后面可能还有第二次、第三次,每次t的情况肯定不同)
        Node t = tail;
        //第一次循环成了成立
        if (t == null) { // Must initialize
            //new Node就是实例化一个Node对象下文我们称为nn,
            //调用无参构造方法实例化出来的Node里面三个属性都为null,可以关联Node类的结构,
            //compareAndSetHead入队操作;把这个nn设置成为队列当中的头部,cas防止多线程、确保原子操作;
            //记住这个时候队列当中只有一个,即nn
            if (compareAndSetHead(new Node()))
                //这个时候AQS队列当中只有一个元素,即头部=nn,所以为了确保队列的完整,设置头部等于尾部,即nn即是头也是尾
                //然后第一次循环结束;接着执行第二次循环,第二次循环代码我写在了下面,接着往下看就行
                tail = head;
        } else {
            node.prev = t;
            if (compareAndSetTail(t, node)) {
                t.next = node;
                return t;
            }
        }
    }
}


//为了方便 第二次循环我再贴一次代码来对第二遍循环解释
private Node enq(final Node node) {//这里的node就是当前线程封装的node也就是nc
    //死循环
    for (;;) {
        //对尾复制给t,由于第二次循环,故而tail==nn,即new出来的那个node
        Node t = tail;
        //第二次循环不成立
        if (t == null) { // Must initialize
            if (compareAndSetHead(new Node()))
                tail = head;
        } else {
            //不成立故而进入else
            //首先把nc,当前线程所代表的的node的上一个节点改变为nn,因为这个时候nc需要入队,入队的时候需要把关系维护好
            //所谓的维护关系就是形成链表,nc的上一个节点只能为nn,这个很好理解
            node.prev = t;
            //入队操作--把nc设置为对尾,对首是nn,
            if (compareAndSetTail(t, node)) {
                //上面我们说了为了维护关系把nc的上一个节点设置为nn
                //这里同样为了维护关系,把nn的下一个节点设置为nc
                t.next = node;
                //然后返回t,即nn,死循环结束,enq(node);方法返回
                //这个返回其实就是为了终止循环,返回出去的t,没有意义
                return t;
            }
        }
    }
}

  //这个方法已经解释完成了
  enq(node);
  //返回nc,不管哪种情况都会返回nc;到此addWaiter方法解释完成
  return node;


//再次贴出node的结构方便大家查看
public class Node{
    volatile Node prev;
    volatile Node next;
    volatile Thread thread;
}



-------------------总结:addWaiter方法就是让nc入队-并且维护队列的链表关系,但是由于情况复杂做了不同处理
-------------------主要针对队列是否有初始化,没有初始化则new一个新的Node nn作为对首,nn里面的线程为null
-------------------接下来分析acquireQueued方法

总结一下这个方法,这个方法其实就是封装一下AQS的队列,addWaiter方法就是让nc入队-并且维护队列的链表关系,但是由于情况复杂做了不同处理,主要针对队列是否有初始化,没有初始化则new一个新的Node nn作为对首,nn里面的线程为null,接下来分析acquireQueued方法,这里面有一个点,就是在队首的元素 自旋2次再去看看有没有机会拿到锁, 就是enq方法 为啥是2次 不是3次 4次 这个是作者绝对的,还有为啥要去尝试拿锁,原因就是为了不park。

acquireQueued方法的源码分析

代码语言:javascript
复制
final boolean acquireQueued(final Node node, int arg) {//这里的node 就是当前线程封装的那个node 下文叫做nc
    //记住标志很重要
    boolean failed = true;
    try {
        //同样是一个标志
        boolean interrupted = false;
        //死循环
        for (;;) {
            //获取nc的上一个节点,有两种情况;1、上一个节点为头部;2上一个节点不为头部
            final Node p = node.predecessor();
            //如果nc的上一个节点为头部,则表示nc为队列当中的第二个元素,为队列当中的第一个排队的Node;
            //这里的第一和第二不冲突;我上文有解释;
            //如果nc为队列当中的第二个元素,第一个排队的则调用tryAcquire去尝试加锁---关于tryAcquire看上面的分析
            //只有nc为第二个元素;第一个排队的情况下才会尝试加锁,其他情况直接去park了,
            //因为第一个排队的执行到这里的时候需要看看持有有锁的线程有没有释放锁,释放了就轮到我了,就不park了
            //有人会疑惑说开始调用tryAcquire加锁失败了(需要排队),这里为什么还要进行tryAcquire不是重复了吗?
            //其实不然,因为第一次tryAcquire判断是否需要排队,如果需要排队,那么我就入队;
            //当我入队之后我发觉前面那个人就是第一个,持有锁的那个,那么我不死心,再次问问前面那个人搞完没有
            //如果他搞完了,我就不park,接着他搞我自己的事;如果他没有搞完,那么我则在队列当中去park,等待别人叫我
            //但是如果我去排队,发觉前面那个人在睡觉,前面那个人都在睡觉,那么我也睡觉把---------------好好理解一下
            if (p == head && tryAcquire(arg)) {
                //能够执行到这里表示我来加锁的时候,锁被持有了,我去排队,进到队列当中的时候发觉我前面那个人没有park,
                //前面那个人就是当前持有锁的那个人,那么我问问他搞完没有
                //能够进到这个里面就表示前面那个人搞完了;所以这里能执行到的几率比较小;但是在高并发的世界中这种情况真的需要考虑
                //如果我前面那个人搞完了,我nc得到锁了,那么前面那个人直接出队列,我自己则是对首;这行代码就是设置自己为对首
                setHead(node);
                //这里的P代表的就是刚刚搞完事的那个人,由于他的事情搞完了,要出队;怎么出队?把链表关系删除
                p.next = null; // help GC
                //设置表示---记住记加锁成功的时候为false
                failed = false;
                //返回false;为什么返回false?下次博客解释---比较复杂和加锁无关
                return interrupted;
            }
            //进到这里分为两种情况
            //1、nc的上一个节点不是头部,说白了,就是我去排队了,但是我上一个人不是队列第一个
            //2、第二种情况,我去排队了,发觉上一个节点是第一个,但是他还在搞事没有释放锁
            //不管哪种情况这个时候我都需要park,park之前我需要把上一个节点的状态改成park状态
            //这里比较难以理解为什么我需要去改变上一个节点的park状态呢?每个node都有一个状态,默认为0,表示无状态
            //-1表示在park;当时不能自己把自己改成-1状态?为什么呢?因为你得确定你自己park了才是能改为-1;
            //不然你自己改成自己为-1;但是改完之后你没有park那不就骗人?
            //你对外宣布自己是单身状态,但是实际和刘宏斌私下约会;这有点坑人
            //所以只能先park;在改状态;但是问题你自己都park了;完全释放CPU资源了,故而没有办法执行任何代码了,
            //所以只能别人来改;故而可以看到每次都是自己的后一个节点把自己改成-1状态
            //关于shouldParkAfterFailedAcquire这个方法的源码下次博客继续讲吧
            if (shouldParkAfterFailedAcquire(p, node) &&
                //改上一个节点的状态成功之后;自己park;到此加锁过程说完了
                parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}



public final void acquire(int arg) {
    if (!tryAcquire(arg) &&
        acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
        selfInterrupt();
}

这个方法就很重要了,所有要排队的队列,都是在这个方法里面调用了 unsafe 方法的park方法来 出让cpu ,但是呢这里面的情况也毕竟多,我们来稍微看看

  • 如果它发现它前面的那个节点是头节点,并且它去尝试获取锁,还拿到了,就好比买票,你知道你前面只有一个人了,那么过几分钟就会去问下你买好了嘛,然后它刚好买完,它就说好了,你去买吧,为啥要这样呢,就是有一种情况,前面哪个人它买完票了,但是它刚好要告诉下一个人的时候,刚好有人打个电话来了,那它就是打电话去了,如果你不主动去问,那么你就得等它电话打完。就是在代码中,我们unpack 和改status 当改完 status 的时候 刚好cpu的分片被分走了,我去就是这么巧,所以 我发现源码的每一行代码真的是精髓,太牛逼了。就是下面这段代码的意义
代码语言:javascript
复制
  if (p == head && tryAcquire(arg)) {
                //能够执行到这里表示我来加锁的时候,锁被持有了,我去排队,进到队列当中的时候发觉我前面那个人没有park,
                //前面那个人就是当前持有锁的那个人,那么我问问他搞完没有
                //能够进到这个里面就表示前面那个人搞完了;所以这里能执行到的几率比较小;但是在高并发的世界中这种情况真的需要考虑
                //如果我前面那个人搞完了,我nc得到锁了,那么前面那个人直接出队列,我自己则是对首;这行代码就是设置自己为对首
                setHead(node);
                //这里的P代表的就是刚刚搞完事的那个人,由于他的事情搞完了,要出队;怎么出队?把链表关系删除
                p.next = null; // help GC
                //设置表示---记住记加锁成功的时候为false
                failed = false;
                //返回false;为什么返回false?下次博客解释---比较复杂和加锁无关
                return interrupted;
            }

我们再来看看shouldParkAfterFailedAcquire(Node, Node)

代码语言:javascript
复制
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
    int ws = pred.waitStatus;//拿到前驱的状态
    if (ws == Node.SIGNAL)
        //如果已经告诉前驱拿完号后通知自己一下,那就可以安心休息了
        return true;
    if (ws > 0) {
        /*
         * 如果前驱放弃了,那就一直往前找,直到找到最近一个正常等待的状态,并排在它的后边。
         * 注意:那些放弃的结点,由于被自己“加塞”到它们前边,它们相当于形成一个无引用链,稍后就会被保安大叔赶走了(GC回收)!
         */
        do {
            node.prev = pred = pred.prev;
        } while (pred.waitStatus > 0);
        pred.next = node;
    } else {
         //如果前驱正常,那就把前驱的状态设置成SIGNAL,告诉它拿完号后通知自己一下。有可能失败,人家说不定刚刚释放完呢!
        compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
    }
    return false;
}

ReentrantLock解锁解析

首先调用模板方法sync.release(1)

由于公平锁和非公平锁的解锁过程一样,这里ReentrantLock都会调用sync.release(1) 方法。

代码语言:javascript
复制
public void unlock() {
        sync.release(1);
    }

模板方法 release(1) 分析

代码语言:javascript
复制
public final boolean release(int arg) {
		// 尝试释放锁,如果成功则会调用unparkSuccessor(h) 下文解析
        if (tryRelease(arg)) {
            Node h = head;
           // 如果队头不为空且后继线程存在某种状态,那么会唤醒第一个排队线程
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }

tryRelease(arg) 尝试解锁方法分析

代码语言:javascript
复制
protected final boolean tryRelease(int releases) {
			// 持有锁 state-1 ,判断之后是否为自由状态 (c=0?)
			// 可能会是重入,那么 state-1,之后也不能释放锁
            int c = getState() - releases;
            // 当前解锁线程不是持有锁的线程,这种情况很少出现
            if (Thread.currentThread() != getExclusiveOwnerThread())
                throw new IllegalMonitorStateException();
            boolean free = false;
            // 如果 state 可以为自由状态,那么就让持有线程变为null
            // 解锁成功,返回true
            if (c == 0) {
                free = true;
                setExclusiveOwnerThread(null);
            }
            // 最后还要重新设置 state 的状态
            setState(c);
            return free;
        }

unparkSuccessor(h) 唤醒队列等待线程方法分析

代码语言:javascript
复制
private void unparkSuccessor(Node node) {
		// 这里获取队头结点的下一个结点线程的状态 ws
        int ws = node.waitStatus;
        // 如果 ws=-1(SIGNAL),那么就置为初始状态 ws=0
        if (ws < 0)
            compareAndSetWaitStatus(node, ws, 0);
        // 获取队头结点的下一个线程结点,也就是第一个排队结点
        Node s = node.next;
        // 队列只有一个队头结点 或者 ws>0 s结点线程需要从同步队列中取消等待
        if (s == null || s.waitStatus > 0) {
            s = null;
            // 从队列中队尾往前,找到距离head最近 ws<=0 的结点(线程状态正常)
            // 如果遇到结点为null或者结点为队头,那么就结束循环
            for (Node t = tail; t != null && t != node; t = t.prev)
                if (t.waitStatus <= 0)
                    s = t;
        }
        // 如果找到的这个结点不为null,那就唤醒它
        if (s != null)
            LockSupport.unpark(s.thread);
    }

结尾

小六六觉得,越跟到后面越看不懂,后面子路老师的Thread.interrupted() 讲的也很牛逼 我现在的水平不够,看得蒙,反正小六六的水平肯定是够的,但是我觉得学习是螺旋上升的,一次学不会,那就等下次,很多人觉得说学一个东西,就一定要一次性全部弄懂,反正小六六没有那么牛逼,我只能说每次学习有不同的收获,多学习几次这样子。AQS的源码是真的优秀。后面还会继续学习的 B站搜AQS 播放量最多的就是它的,如果对AQS和小六六一样一知半解的可以去学习学习。

本文参与 腾讯云自媒体同步曝光计划,分享自微信公众号。
原始发表:2020-05-27,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 六脉神剑的程序人生 微信公众号,前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 前言
    • 絮叨
      • 分析
        • 如何自己来实现一个同步
          • 通过自旋来实现
          • yield+自旋实现同步
          • sleep+自旋方式实现同步
          • park+自旋方式实现同步
        • ReentrantLock源码分析之上锁过程
          • AQS(AbstractQueuedSynchronizer)类的设计主要代码(具体参考源码)
          • Node类的设计
          • 上锁过程重点
        • 首先一个简单的应用
          • 公平锁lock方法的源码分析
          • 非公平锁的looc方法
          • 公平和非公平的逻辑图
          • acquire方法方法源码分析
          • tryAcquire方法源码分析
          • hasQueuedPredecessors判断是否需要排队的源码分析
          • 到此我们已经解释完了!tryAcquire(arg)方法,为了方便我再次贴一下代码
          • acquireQueued(addWaiter(Node.exclusive),arg))方法解析
          • addWaiter(Node.EXCLUSIVE)源码分析
          • acquireQueued方法的源码分析
          • 我们再来看看shouldParkAfterFailedAcquire(Node, Node)
        • ReentrantLock解锁解析
          • 首先调用模板方法sync.release(1)
          • 模板方法 release(1) 分析
          • tryRelease(arg) 尝试解锁方法分析
          • unparkSuccessor(h) 唤醒队列等待线程方法分析
        • 结尾
        相关产品与服务
        腾讯云代码分析
        腾讯云代码分析(内部代号CodeDog)是集众多代码分析工具的云原生、分布式、高性能的代码综合分析跟踪管理平台,其主要功能是持续跟踪分析代码,观测项目代码质量,支撑团队传承代码文化。
        领券
        问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档