-So-easy!多图详解CLH锁的原理与实现,轻松把握AQS

node.locked = false;
System.out.println(“线程” + Thread.currentThread().getName() + “释放了锁!!!”);
// 小伙伴们可以思考下,下面两句代码的作用是什么??
CLHNode newCurNode = new CLHNode();
curNode.set(newCurNode);

// 【优化】能提高GC效率和节省内存空间,请思考:这是为什么?
// curNode.set(predNode.get());
}
}

4.1 CLH锁的初始化逻辑

通过上面代码,我们缕一缕CLH锁的初始化逻辑先:

  1. 定义了一个CLHNode节点,里面有一个locked属性,表示线程线程是否获得锁,默认为falsefalse表示线程没有获取到锁或已经释放锁;true表示线程获取到了锁或者正在自旋等待。

注意,为了保证locked属性线程间可见,该属性被volatile修饰。

  1. CLHLock有三个重要的成员变量尾节点指针tailNode,当前线程的前继节点preNode和当前节点curNode。其中tailNodeAtomicReference类型,目的是为了保证尾节点的线程安全性;此外,preNodecurNode都是ThreadLocal类型即线程本地变量类型,用来保存每个线程的前继CLHNode和当前CLHNode节点。
  2. 最重要的是我们新建一把CLHLock对象时,此时会执行构造函数里面的初始化逻辑。此时给尾指针tailNode和当前节点curNode初始化一个locked状态为falseCLHNode节点,此时前继节点preNode存储的是null

4.2 CLH锁的加锁过程

我们再来看看CLH锁的加锁过程,下面再贴一遍加锁lock方法的代码:

// CLHLock.java

/**

  • 获取锁
    */
    public void lock() {
    // 取出当前线程ThreadLocal存储的当前节点,初始化值总是一个新建的CLHNode,locked状态为false。
    CLHNode currNode = curNode.get();
    // 此时把lock状态置为true,表示一个有效状态,
    // 即获取到了锁或正在等待锁的状态
    currNode.locked = true;
    // 当一个线程到来时,总是将尾结点取出来赋值给当前线程的前继节点;
    // 然后再把当前线程的当前节点赋值给尾节点
    // 【注意】在多线程并发情况下,这里通过AtomicReference类能防止并发问题
    // 【注意】哪个线程先执行到这里就会先执行predNode.set(preNode);语句,因此构建了一条逻辑线程等待链
    // 这条链避免了线程饥饿现象发生
    CLHNode preNode = tailNode.getAndSet(currNode);
    // 将刚获取的尾结点(前一线程的当前节点)付给当前线程的前继节点ThreadLocal
    // 【思考】这句代码也可以去掉吗,如果去掉有影响吗?
    predNode.set(preNode);
    // 【1】若前继节点的locked状态为false,则表示获取到了锁,不用自旋等待;
    // 【2】若前继节点的locked状态为true,则表示前一线程获取到了锁或者正在等待,自旋等待
    while (preNode.locked) {
    try {
    Thread.sleep(1000);
    } catch (Exception e) {

}
System.out.println(“线程” + Thread.currentThread().getName() + “没能获取到锁,进行自旋等待。。。”);
}
// 能执行到这里,说明当前线程获取到了锁
System.out.println(“线程” + Thread.currentThread().getName() + “获取到了锁!!!”);
}

虽然代码的注释已经很详细,我们还是缕一缕线程加锁的过程:

  1. 首先获得当前线程的当前节点curNode,这里每次获取的CLHNode节点的locked状态都为false
  2. 然后将当前CLHNode节点的locked状态赋值为true,表示当前线程的一种有效状态,即获取到了锁或正在等待锁的状态;
  3. 因为尾指针tailNode的总是指向了前一个线程的CLHNode节点,因此这里利用尾指针tailNode取出前一个线程的CLHNode节点,然后赋值给当前线程的前继节点predNode,并且将尾指针重新指向最后一个节点即当前线程的当前CLHNode节点,以便下一个线程到来时使用;
  4. 根据前继节点(前一个线程)的locked状态判断,若lockedfalse,则说明前一个线程释放了锁,当前线程即可获得锁,不用自旋等待;若前继节点的locked状态为true,则表示前一线程获取到了锁或者正在等待,自旋等待。

为了更通俗易懂,我们用一个图里来说明。

**假如有这么一个场景:**有四个并发线程同时启动执行lock操作,假如四个线程的实际执行顺序为:threadA<–threadB<–threadC<–threadD

第一步,线程A过来,执行了lock操作,获得了锁,此时locked状态为true,如下图:

第二步,线程B过来,执行了lock操作,由于线程A还未释放锁,此时自旋等待,locked状态也为true,如下图:

第三步,线程C过来,执行了lock操作,由于线程B处于自旋等待,此时线程C也自旋等待(因此CLH锁是公平锁),locked状态也为true,如下图:

第四步,线程D过来,执行了lock操作,由于线程C处于自旋等待,此时线程D也自旋等待,locked状态也为true,如下图:

这就是多个线程并发加锁的一个过程图解,当前线程只要判断前一线程的locked状态如果是true,那么则说明前一线程要么拿到了锁,要么也处于自旋等待状态,所以自己也要自旋等待。而尾指针tailNode总是指向最后一个线程的CLHNode节点。

4.3 CLH锁的释放锁过程

前面用图解结合代码说明了CLH锁的加锁过程,那么,CLH锁的释放锁的过程又是怎样的呢? 同样,我们先贴下释放锁的代码:

// CLHLock.java

/**

  • 释放锁
    */
    public void unLock() {
    // 获取当前线程的当前节点
    CLHNode node = curNode.get();
    // 进行解锁操作
    // 这里将locked至为false,此时执行了lock方法正在自旋等待的后继节点将会获取到锁
    // 【注意】而不是所有正在自旋等待的线程去并发竞争锁
    node.locked = false;
    System.out.println(“线程” + Thread.currentThread().getName() + “释放了锁!!!”);
    // 小伙伴们可以思考下,下面两句代码的作用是什么???
    CLHNode newCurNode = new CLHNode();
    curNode.set(newCurNode);

// 【优化】能提高GC效率和节省内存空间,请思考:这是为什么?
// curNode.set(predNode.get());
}

可以看到释放CLH锁的过程代码比加锁简单多了,下面同样缕一缕:

  1. 首先从当前线程的线程本地变量中获取出当前CLHNode节点,同时这个CLHNode节点被后面一个线程的preNode变量指向着;
  2. 然后将locked状态置为false即释放了锁;

注意:locked因为被volitile关键字修饰,此时后面自旋等待的线程的局部变量preNode.locked也为false,因此后面自旋等待的线程结束while循环即结束自旋等待,此时也获取到了锁。这一步骤也在异步进行着。

  1. 然后给当前线程的表示当前节点的线程本地变量重新赋值为一个新的CLHNode

思考:这一步看上去是多余的,其实并不是。请思考下为什么这么做?我们后续会继续深入讲解。

我们还是用一个图来说说明CLH锁释放锁的场景,接着前面四个线程加锁的场景,假如这四个线程加锁后,线程A开始释放锁,此时线程B获取到锁,结束自旋等待,然后线程C和线程D仍然自旋等待,如下图:

以此类推,线程B释放锁的过程也跟上图类似,这里不再赘述。

4.4 考虑同个线程加锁释放锁再次正常获取锁的情况

在前面4.3小节讲到释放锁unLock方法中有下面两句代码:

CLHNode newCurNode = new CLHNode();
curNode.set(newCurNode);

这两句代码的作用是什么?这里先直接说结果:若没有这两句代码,若同个线程加锁释放锁后,然后再次执行加锁操作,这个线程就会陷入自旋等待的状态。这是为啥,可能有些下伙伴也没明白,劲越也是搞了蛮久才搞明白,嘿嘿。

下面我们同样通过一步一图的形式来分析这两句代码的作用。 假如有下面这样一个场景:线程A获取到了锁,然后释放锁,然后再次获取锁。

第一步: 线程A执行了lock操作,获取到了锁,如下图:

上图的加锁操作中,线程A的当前CLHNode节点的locked状态被置为true;然后tailNode指针指向了当前线程的当前节点;最后因为前继节点的locked状态为false,不用自旋等待,因此获得了锁。

第二步: 线程A执行了unLock操作,释放了锁,如下图:

上图的释放锁操作中,线程A的当前CLHNode节点的locked状态被置为false,表示释放了锁;然后新建了一个新的CLHNode节点newCurNode,线程A的当前节点线程本地变量值重新指向了newCurNode节点对象。

第三步: 线程A再次执行lock操作,重新获得锁,如下图:

上图的再次获取锁操作中,首先将线程A的当前CLHNode节点的locked状态置为true;然后首先通过tailNode尾指针获取到前继节点即第一,二步中的curNode对象,然后线程A的前继节点线程本地变量的值重新指向了重新指向了curNode对象;然后tailNode尾指针重新指向了新创建的CLHNode节点newCurNode对象。最后因为前继节点的locked状态为false,不用自旋等待,因此获得了锁。

扩展: 注意到以上图片的preNode对象此时没有任何引用,所以当下一次会被GC掉。前面是通过每次执行unLock操作都新建一个新的CLHNode节点对象newCurNode,然后让线程A的当前节点线程本地变量值重新指向newCurNode。因此这里完全不用重新创建新的CLHNode节点对象,可以通过curNode.set(predNode.get());这句代码进行优化,提高GC效率和节省内存空间。

4.5 考虑同个线程加锁释放锁再次获取锁异常的情况

现在我们把unLock方法的CLHNode newCurNode = new CLHNode();curNode.set(newCurNode);这两句代码注释掉,变成了下面这样:

// CLHLock.java

public void unLock() {
CLHNode node = curNode.get();
node.locked = false;
System.out.println(“线程” + Thread.currentThread().getName() + “释放了锁!!!”);
/CLHNode newCurNode = new CLHNode();
curNode.set(newCurNode);
/
}

那么结果就是线程A通过加锁,释放锁后,再次获取锁时就会陷入自旋等待的状态,这又是为什么呢?我们下面来详细分析。

第一步: 线程A执行了lock操作,获取到了锁,如下图:

上图的加锁操作中,线程A的当前CLHNode节点的locked状态被置为true;然后tailNode指针指向了当前线程的当前节点;最后因为前继节点的locked状态为false,不用自旋等待,因此获得了锁。这一步没有什么异常。

第二步: 线程A执行了unLock操作,释放了锁,如下图:

现在已经把unLock方法的CLHNode newCurNode = new CLHNode();curNode.set(newCurNode);这两句代码注释掉了,因此上图的变化就是线程A的当前CLHNode节点的locked状态置为false即!可。

第三步: 线程A再次执行lock操作,此时会陷入一直自旋等待的状态,如下图:

通过上图对线程A再次获取锁的lock方法的每一句代码进行分析,得知虽然第二步中将线程A的当前CLHNodelocked状态置为false了,但是在第三步线程A再次获取锁的过程中,将当前CLHNodelocked状态又置为true了,且尾指针tailNode指向的依然还是线程A的当前当前CLHNode节点。又因为每次都是将尾指针tailNode指向的CLHNode节点取出来给当前线程的前继CLHNode节点,之后执行while(predNode.locked) {}语句时,此时因为predNode.locked = true,因此线程A就永远自旋等待了。

5 测试CLH锁

下面我们通过一个Demo来测试前面代码实现的CLH锁是否能正常工作,直接上测试代码:

// CLHLockTest.java

/**
因为每次都是将尾指针tailNode指向的CLHNode节点取出来给当前线程的前继CLHNode节点,之后执行while(predNode.locked) {}语句时,此时因为predNode.locked = true,因此线程A就永远自旋等待了。

5 测试CLH锁

下面我们通过一个Demo来测试前面代码实现的CLH锁是否能正常工作,直接上测试代码:

// CLHLockTest.java

/**

  • 3
    点赞
  • 7
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
AQS(AbstractQueuedSynchronizer)是Java中实现同步器的框架,它提供了一种基于FIFO队列的阻塞和唤醒机制。AQS的阻塞队列原理是通过CLH(Craig, Landin, and Hagersten)队列来实现的。 CLH队列是一种虚拟的双向链表,它仅存在节点之间的关联关系,而不存在队列的实例。每个请求共享资源的线程都会被封装成一个CLH队列的节点(Node)。当线程请求共享资源时,它会被添加到CLH队列的尾部,并进入阻塞状态。 当共享资源被占用时,其他线程请求该资源的线程会被放入CLH队列的末尾,即排队等待。这种排队等待的方式可以保证请求资源的线程按照FIFO的顺序获得资源,避免了饥饿现象。当资源释放后,AQS会自动唤醒队列中的下一个线程,使其获得资源并继续执行。 需要注意的是,AQS的同步队列(Sync queue)是一个双向链表,包括头节点(head)和尾节点(tail),用于后续的调度。而条件队列(Condition queue)是一个单向链表,只有在使用Condition时才会存在,并且可能会有多个条件队列。 总结一下,AQS实现阻塞队列的原理是通过CLH队列来实现的,当共享资源被占用时,请求资源的线程会被添加到CLH队列中排队等待。当资源释放后,AQS会自动唤醒队列中的下一个线程,使其获得资源并继续执行。同步队列用于后续的调度,而条件队列只在使用Condition时才会存在。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值