java并发编程基础:CLH锁的原理及实现

最新推荐文章于 2024-03-15 09:05:15 发布
最新推荐文章于 2024-03-15 09:05:15 发布
阅读量336 收藏 2
点赞数
分类专栏： DeepIn JavaCore 高并发、多线程
原文链接：https://blog.csdn.net/claram/article/details/83828768
版权

 CLH、MCS 队列锁简介

一、自旋锁简介

通常情况下解决多线程共享资源逻辑一致性问题有两种方式：

  • 互斥锁：当发现资源被占用的时候，会阻塞自己直到资源解除占用，然后再次尝试获取；
  • 自旋锁：当发现占用时，一直尝试获取锁（线程没有被挂起的过程，也就没有线程调度切换的消耗）；

对于这两种方式没有优劣之分，只有是否适合当前的场景；具体的对比就不在继续深入了，如果你很感兴趣可以查看 《多处理器编程的艺术》 提取码：rznn ；

但是如果竞争非常激烈的时候，使用自旋锁就会产生一些额外的问题：

  • 可能导致一些线程始终无法获取锁（争抢的时候必然是当前活跃线程获得锁的几率大），也就是饥饿现象；
  • 因为自旋锁会依赖一个共享的锁标识，所以竞争激烈的时候，锁标识的同步也需要消耗大量的资源；
  • 如果要用自旋锁实现公平锁（即先到先获取），此时就还需要额外的变量，也会比较麻烦；

解决这些问题其中的一种办法就是使用队列锁，简单来讲就是让这些线程排队获取；下面我们介绍常用的两种，即 CLH 锁 和 MCS 锁；

二、CLH 锁

CLH 是 Craig、Landin 和 Hagersten 三位作者的缩写，具体内容在 《Building FIFO and Priority-Queuing Spin Locks from Atomic Swap》 论文中有详细介绍，大家可以自行查看；我们 JDK 中 java.util.concurrent.locks.AbstractQueuedSynchronizer 就是根据 CLH 锁的变种实现的；

简单实现：

public class CLH implements Lock {
  private final ThreadLocal<Node> preNode = ThreadLocal.withInitial(() -> null);
  private final ThreadLocal<Node> node = ThreadLocal.withInitial(Node::new);
  private final AtomicReference<Node> tail = new AtomicReference<>(new Node());

  private static class Node {
    private volatile boolean locked;
  }

  @Override
  public void lock() {
    final Node node = this.node.get();
    node.locked = true;
    Node pre = this.tail.getAndSet(node);
    this.preNode.set(pre);
    while (pre.locked) ;
  }

  @Override
  public void unlock() {
    final Node node = this.node.get();
    node.locked = false;
    this.node.set(this.preNode.get());
  }
}

clh

三、MCS 锁

同样 MCS 是 John M. Mellor-Crummey 和 Michael L. Scott 名字的缩写，具体内容可以在 《Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors》 论文中查看；

简单实现：

public class MCS implements Lock {
  private final ThreadLocal<Node> node = ThreadLocal.withInitial(Node::new);
  private final AtomicReference<Node> tail = new AtomicReference<>();

  private static class Node {
    private volatile boolean locked = false;
    private volatile Node next = null;
  }

  @Override
  public void lock() {
    Node node = this.node.get();
    node.locked = true;
    Node pre = tail.getAndSet(node);
    if (pre != null) {
      pre.next = node;
      while (node.locked) ;
    }
  }

  @Override
  public void unlock() {
    Node node = this.node.get();
    if (node.next == null) {
      if (tail.compareAndSet(node, null)) {
        return;
      }
      while (node.next == null) ;
    }
    node.next.locked = false;
    node.next = null;
  }
}

clh

总结

  • 以上的代码我已经测试过，大家可以直接拿下来自行实验；
  • CLH 锁和 MCS 锁区别主要有两点：1. 链表结构的区别；2. 自旋对象的区别，CLH 是在前驱节点上自旋，而 MCS 是在自身节点上自旋；这里第二点才是最重要的，主要体现在 SMP(Symmetric Multi-Processor) 和 NUMA(Non-Uniform Memory Access) 不同的处理器架构上；

CLH详解:

一、背景
1.1 SMP(Symmetric Multi-Processor)
对称多处理器结构，它是相对非对称多处理技术而言的、应用十分广泛的并行技术。在这种架构中，一台计算机由多个CPU组成，并共享内存和其他资源，所有的CPU都可以平等地访问内存、I/O和外部中断。虽然同时使用多个CPU，但是从管理的角度来看，它们的表现就像一台单机一样。操作系统将任务队列对称地分布于多个CPU之上，从而极大地提高了整个系统的数据处理能力。但是随着CPU数量的增加，每个CPU都要访问相同的内存资源，共享资源可能会成为系统瓶颈，导致CPU资源浪费。

SMP：对称多处理器结构

1.2 NUMA(Non-Uniform Memory Access)
非一致存储访问，将CPU分为CPU模块，每个CPU模块由多个CPU组成，并且具有独立的本地内存、I/O槽口等，模块之间可以通过互联模块相互访问，访问本地内存（本CPU模块的内存）的速度将远远高于访问远地内存(其他CPU模块的内存)的速度，这也是非一致存储访问的由来。NUMA较好地解决SMP的扩展问题，当CPU数量增加时，因为访问远地内存的延时远远超过本地内存，系统性能无法线性增加。

NUMA：非一致存储访问


1.3 CLH、MCS命名来源

MCS：John Mellor-Crummey and Michael Scott
CLH：Craig，Landin andHagersten
二、CLH锁定义
CLH是一种基于单向链表的高性能、公平的自旋锁。申请加锁的线程通过前驱节点的变量进行自旋。在前置节点解锁后，当前节点会结束自旋，并进行加锁。在SMP架构下，CLH更具有优势。在NUMA架构下，如果当前节点与前驱节点不在同一CPU模块下，跨CPU模块会带来额外的系统开销，而MCS锁更适用于NUMA架构。

在这里插入图片描述


锁值：我把自旋条件定义为锁值 locked。locked == true 表示节点的处于加锁状态或者等待加锁状态，locked == false 表示节点处于解锁状态。

基于线程当前节点的前置节点的锁值（locked）进行自旋，locked == true 自旋，locked == false 加锁成功。
locked == true 表示节点处于加锁状态或者等待加锁状态。
locked == false 表示节点处于解锁状态。
每个节点在解锁时更新自己的锁值（locked），在这一时刻，该节点的后置节点会结束自旋，并进行加锁。
2.1 加锁逻辑

获取当前线程的锁节点，如果为空则进行初始化。
通过同步方法获取尾节点，并将当前节点置为尾节点，此时获取到的尾节点为当前节点的前驱节点。
如果尾节点为空，则表示当前节点为第一个节点，加锁成功。
如果尾节点不为空，则基于前驱节点的锁值（locked==true）进行自旋，直到前驱节点的锁值 locked == false。
2.2 解锁逻辑

获取当前线程的锁节点，如果节点为空或者锁值（locked== false）则无需解锁，直接返回。
使用同步方法为尾节点赋空值，赋值不成功则表示当前节点不是尾节点，需要将当前节点的 locked == false 已保证解锁该节点。如果当前节点为尾节点，则无需设置该节点的锁值。因为该节点没有后置节点，即使设置了，也没有实际意义。
2.3 Java代码

package org.learn.lock;

import java.util.concurrent.atomic.AtomicReference;

/**
 * MCS：John Mellor-Crummey and Michael Scott
 * CLH：Craig，Landin and Hagersten
 * @author zhibo
 * @version 1.0
 * @date 2018/11/7 10:39
 */
public class CLHLock implements Lock {
    private AtomicReference<CLHNode> tail;
    private ThreadLocal<CLHNode> threadLocal;

    public CLHLock() {
        this.tail = new AtomicReference<>();
        this.threadLocal = new ThreadLocal<>();
    }

    @Override
    public void lock() {
        CLHNode curNode = threadLocal.get();
        if(curNode == null){
            curNode = new CLHNode();
            threadLocal.set(curNode);
        }

        CLHNode predNode = tail.getAndSet(curNode);
        if(predNode != null){
            while (predNode.getLocked()){

            }
        }
    }

    @Override
    public void unlock() {
        CLHNode curNode = threadLocal.get();
        threadLocal.remove();

        if(curNode == null || curNode.getLocked() == false){
            return;
        }

        if(!tail.compareAndSet(curNode, null)){
            curNode.setLocked(false);
        }
    }

    public static void main(String[] args) {
        final Lock clhLock = new CLHLock();

        for (int i = 0; i < 10; i++) {
            new Thread(new DemoTask(clhLock, i + "")).start();
        }
    }

    class CLHNode {
        private volatile boolean locked = true;

        public boolean getLocked() {
            return locked;
        }

        public void setLocked(boolean locked) {
            this.locked = locked;
        }
    }
}


package org.learn.lock;

/**
 * @author zhibo
 * @version 1.0
 * @date 2018/11/7 14:22
 */
public class DemoTask implements Runnable {
    private Lock lock;
    private String taskId;

    public DemoTask(final Lock lock, final String taskId){
        this.lock = lock;
        this.taskId = taskId;
    }

    @Override
    public void run() {
        try {
            lock.lock();
            Thread.sleep(500);
            System.out.println(String.format("Thread %s Completed", taskId));
        } catch (Exception e) {
            e.printStackTrace();
        } finally {
            lock.unlock();
        }
    }
}
CLH锁就介绍到这里，后续会对MCS锁进行介绍，如有不正之处，欢迎批评指正，谢谢大家。

AQS基础——多图详解CLH锁的原理与实现

原创 源码笔记 源码笔记 2020-08-24

收录于话题

#JUC源码专题

3个

JDK1.8源码分析项目（中文注释）Github地址：

https://github.com/yuanmabiji/jdk1.8-sourcecode-blogs

1 什么是自旋锁和互斥锁？

由于CLH锁是一种自旋锁，那么我们先来看看自旋锁是什么？

自旋锁说白了也是一种互斥锁，只不过没有抢到锁的线程会一直自旋等待锁的释放，处于busy-waiting的状态，此时等待锁的线程不会进入休眠状态，而是一直忙等待浪费CPU周期。因此自旋锁适用于锁占用时间短的场合。

这里谈到了自旋锁，那么我们也顺便说下互斥锁。这里的互斥锁说的是传统意义的互斥锁，就是多个线程并发竞争锁的时候，没有抢到锁的线程会进入休眠状态即sleep-waiting，当锁被释放的时候，处于休眠状态的一个线程会再次获取到锁。缺点就是这一些列过程需要线程切换，需要执行很多CPU指令，同样需要时间。如果CPU执行线程切换的时间比锁占用的时间还长，那么可能还不如使用自旋锁。因此互斥锁适用于锁占用时间长的场合。

2 什么是CLH锁？

CLH锁其实就是一种是基于逻辑队列非线程饥饿的一种自旋公平锁，由于是 Craig、Landin 和 Hagersten三位大佬的发明，因此命名为CLH锁。

CLH锁原理如下：

  1. 首先有一个尾节点指针，通过这个尾结点指针来构建等待线程的逻辑队列，因此能确保线程线程先到先服务的公平性，因此尾指针可以说是构建逻辑队列的桥梁；此外这个尾节点指针是原子引用类型，避免了多线程并发操作的线程安全性问题；

  2. 通过等待锁的每个线程在自己的某个变量上自旋等待，这个变量将由前一个线程写入。由于某个线程获取锁操作时总是通过尾节点指针获取到前一线程写入的变量，而尾节点指针又是原子引用类型，因此确保了这个变量获取出来总是线程安全的。

这么说肯定很抽象，有些小伙伴可能不理解，没关系，我们心中可以有个概念即可，后面我们会一步一图来彻彻底底把CLH锁弄明白。

3 为什么要学习CLH锁？

好了，前面我们对CLH锁有了一个概念后，那么我们为什么要学习CLH锁呢？

研究过AQS源码的小伙伴们应该知道，AQS是JUC的核心，而CLH锁又是AQS的基础，说核心也不为过，因为AQS就是用了变种的CLH锁。如果要学好Java并发编程，那么必定要学好JUC；学好JUC，必定要先学好AQS；学好AQS，那么必定先学好CLH。因此，这就是我们为什么要学习CLH锁的原因。

4 CLH锁详解

那么，下面我们先来看CLH锁实现代码，然后通过一步一图来详解CLH锁。

// CLHLock.java

public class CLHLock {
    /**
     * CLH锁节点
     */
    private static class CLHNode {
        // 锁状态：默认为false，表示线程没有获取到锁；true表示线程获取到锁或正在等待
        // 为了保证locked状态是线程间可见的，因此用volatile关键字修饰
        volatile boolean locked = false;
    }
    // 尾结点，总是指向最后一个CLHNode节点
    // 【注意】这里用了java的原子系列之AtomicReference，能保证原子更新
    private final AtomicReference<CLHNode> tailNode;
    // 当前节点的前继节点
    private final ThreadLocal<CLHNode> predNode;
    // 当前节点
    private final ThreadLocal<CLHNode> curNode;

    // CLHLock构造函数，用于新建CLH锁节点时做一些初始化逻辑
    public CLHLock() {
        // 初始化时尾结点指向一个空的CLH节点
        tailNode = new AtomicReference<>(new CLHNode());
        // 初始化当前的CLH节点
        curNode = new ThreadLocal() {
            @Override
            protected CLHNode initialValue() {
                return new CLHNode();
            }
        };
        // 初始化前继节点，注意此时前继节点没有存储CLHNode对象，存储的是null
        predNode = new ThreadLocal();
    }

    /**
     * 获取锁
     */
    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) {
            System.out.println("线程" + Thread.currentThread().getName() + "没能获取到锁，进行自旋等待。。。");
        }
        // 能执行到这里，说明当前线程获取到了锁
        System.out.println("线程" + Thread.currentThread().getName() + "获取到了锁！！！");
    }

    /**
     * 释放锁
     */
    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());
    }
}

4.1 CLH锁的初始化逻辑

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

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

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

  1. CLHLock有三个重要的成员变量尾节点指针tailNode,当前线程的前继节点preNode和当前节点curNode。其中tailNode是AtomicReference类型，目的是为了保证尾节点的线程安全性；此外，preNode和curNode都是ThreadLocal类型即线程本地变量类型，用来保存每个线程的前继CLHNode和当前CLHNode节点。

  2. 最重要的是我们新建一把CLHLock对象时，此时会执行构造函数里面的初始化逻辑。此时给尾指针tailNode和当前节点curNode初始化一个locked状态为false的CLHNode节点，此时前继节点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状态判断，若locked为false，则说明前一个线程释放了锁，当前线程即可获得锁，不用自旋等待；若前继节点的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的当前CLHNode的locked状态置为false了，但是在第三步线程A再次获取锁的过程中，将当前CLHNode的locked状态又置为true了，且尾指针tailNode指向的依然还是线程A的当前当前CLHNode节点。又因为每次都是将尾指针tailNode指向的CLHNode节点取出来给当前线程的前继CLHNode节点，之后执行while(predNode.locked) {}语句时，此时因为predNode.locked = true，因此线程A就永远自旋等待了。

5 测试CLH锁

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

// CLHLockTest.java

/**
 * 用来测试CLHLocke生不生效
 *
 * 定义一个静态成员变量cnt，然后开10个线程跑起来，看能是否会有线程安全问题
 */
public class CLHLockTest {
    private static int cnt = 0;

    public static void main(String[] args) throws Exception {
        final CLHLock lock = new CLHLock();

        for (int i = 0; i < 100; i++) {
            new Thread(() -> {
                lock.lock();

                cnt++;

                lock.unLock();
            }).start();
        }
        // 让main线程休眠10秒，确保其他线程全部执行完
        Thread.sleep(10000);
        System.out.println();
        System.out.println("cnt----------->>>" + cnt);

    }
}

下面附运行结果截图：图片

PS： 这里为了截图全面，因此只开了10个线程。经过劲越测试，开100个线程，1000个线程也不会存在线程安全问题。

6 小结

好了，前面我们通过多图详细说明了CLH锁的原理与实现，那么我们再对前面的知识进行一次小结：

  1. 首先我们学习了自旋锁和互斥锁的概念与区别；

  2. 然后我们学习了什么是CLH锁以及为什么要学习CLH锁；

  3. 最后我们通过图示+代码实现的方式来学习CLH锁的原理，从而为学习后面的AQS打好坚实的基础。

原创不易，若您觉得不错，请无情的转发和点赞吧！

【源码笔记】Github地址：

https://github.com/yuanmabiji/Java-SourceCode-Blogs

【往期精选】

Java是如何实现自己的SPI机制的？JDK源码（一）

SpringBoot的启动流程是怎样的？SpringBoot源码（七）

SpringApplication对象是如何构建的？SpringBoot源码（八）

SpringBoot事件监听机制源码分析(上) SpringBoot源码(九)

SpringBoot内置生命周期事件详解 SpringBoot源码(十)

MayMatrix
关注
专栏目录
Java并发编程-AQS详解及案例实战（上篇）
program哲学
07-06 169
详细介绍AQS底层机制及相关应用案例实战
【Java并发编程系列9】锁
飞楼踏梦
08-05 167
​主要讲解Java中常见的锁。 前言 并发编程系列应该快接近尾声，锁可能是这个系列的最后一篇，重要的基本知识应该都涵盖了。然后对于书籍《Java并发编程实战》，最后面的几章，我也只看了锁的部分，这篇文章主要是对该书中锁的内容进行一个简单的总结。 死锁 死锁是指一组互相竞争资源的线程因互相等待，导致“永久”阻塞的现象。 锁顺序死锁 我们先看一个死锁的示例，我们先定义个BankAccount对象，来存储基本信息，代码如下： publicclassBankAccount{ ...
浅谈Java并发 J.U.C之AQS：CLH同步队列
08-26
AQS内部维护着一个FIFO队列，该队列就是CLH同步队列。下面小编来简单介绍下这个队列
算法：CLH锁的原理及实现
热门推荐
天将降大任于是人
11-07 1万+
一、背景 1.1 SMP(Symmetric Multi-Processor) 对称多处理器结构，它是相对非对称多处理技术而言的、应用十分广泛的并行技术。在这种架构中，一台计算机由多个CPU组成，并共享内存和其他资源，所有的CPU都可以平等地访问内存、I/O和外部中断。虽然同时使用多个CPU，但是从管理的角度来看，它们的表现就像一台单机一样。操作系统将任务队列对称地分布于多个CPU之上，从而极大地...
Java之CLH锁
faicm的专栏
05-29 686
package com.wang.lock; public class QNode { volatile boolean locked; } package com.wang.lock; public interface Lock { void lock(); void unlock(); } package com.wang.lock; import java.uti...
【Java】CLH 自旋锁
u010900754的专栏
08-22 521
看java重入锁的代码，遇到了CLH队列锁，发现实现很巧妙，学习一下。 什么是自旋锁？说的是锁等待的实现方式，可以改变线程的状态，让其进入等待或者睡眠（具体状态还没研究），这就是使用线程最原生的方式实现。也可以让线程进入一个while循环，这是一种轻量级实现，没有设计线程状态的转换，节省了转换的开销，但是cpu开销可能很大，进入循环的方式就是自旋锁。 下面是一段很常见的理解CLH的代码： c
Java 实现CLH锁/MCS锁
最新发布
lvyuanj的专栏
03-15 931
Java 实现CLH锁/MCS锁， spring 、springboot 算法
java并发编程：juc、aqs
08-09
Java并发编程中的`JUC`(Java Util Concurrency)库是Java平台中用于处理多线程问题的核心工具包，它提供了一系列高效、线程安全的工具类，帮助开发者编写并发应用程序。`AQS`(AbstractQueuedSynchronizer)是JUC库中的...
Java并发编程之锁原理
qq_28145603的博客
03-07 324
1、基础概念 根据对资源是否能够同时使用，把锁分为独占锁和共享锁。独占锁：与具体线程相关，一个线程获取到锁资源后，就会标记这个线程获取到了该资源，其他线程在尝试获取资源时，就会失败而被阻塞。共享锁：与具体线程不相关，当多个线程去请求资源时，通过CAS（compare and swap）方式竞争资源，当一个线程获取到资源后，其他线程再次去获取时如果当前资源还能满足它的要求，则当前线程只需要使用CAS方式进行获取即可。 2. AQS原理分析 2.1 AQS（abstract queue synchroni
Java并发编程解析 | 解析AQS基础同步器的设计与实现
java_lujj的博客
09-09 363
在Java领域中，我们可以将锁大致分为基于Java语法层面(关键词)实现的锁和基于JDK层面实现的锁。在Java领域中, 尤其是在并发编程领域，对于多线程并发执行一直有两大核心问题：同步和互斥。互斥(Mutual Exclusion)：一个公共资源同一时刻只能被一个进程或线程使用，多个进程或线程不能同时使用公共资源。即就是同一时刻只允许一个线程访问共享资源的问题。同步(Synchronization)：两个或两个以上的进程或线程在运行过程中协同步调，按预定的先后次序运行。
java clh_浅谈Java AQS实现——CLH锁
weixin_42506647的博客
02-16 168
在AQS源码的注释中提到AQS是CLH锁的一个变种，所以了解一下CLH锁有助于我们学习AQS。CLH锁是基于链表的、公平的的自旋锁。这里直接贴代码(代码来自《多处理器编程的艺术》机械工业出版社)// 这里只实现了Lock接口的部分方法public class CLHLock implements Lock {AtomicReference tail = new AtomicReference(ne...
Java CLH队列
kking_edc的博客
09-10 869
一、SMP和NUMA简要介绍 1.1 SMP SMP（Symmetric MultiProcessing）对称多处理是一种包括软硬件的多核计算机架构，会有两个或以上的相同的核心共享一块主存，这些核心在操作系统中地位相同，可以访问所有I/O设备。它的优点是内存等一些组件在核心之间是共享的，一致性可以保证，但也正因为内存一致性和共享对象，在拓展性上就受到限制了。 下图展示了SMP架构： 1.2 NUMA NUMA（Non-uniform memory access）非一致存储访问也是一种在多处理任务中使用的计
AQS基础——多图详解CLH锁的原理与实现
<sdffdsfsdfdfs>sfsfsfsdfsdffds</sdfsDS>Fsd
08-28 485
Python实战社群Java实战社群长按识别下方二维码，按需求添加扫码关注添加客服进Python社群▲扫码关注添加客服进Java社群▲作者丨源码笔记来源丨源码笔记JDK1.8源码分析...
java clh_CLH锁学习
weixin_39828331的博客
02-16 148
CLH锁即Craig, Landin, and Hagersten (CLH) locks，CLH锁是一个自旋锁，能确保无饥饿性，提供先来先服务的公平性。何谓自旋锁？它是为实现保护共享资源而提出一种锁机制。其实，自旋锁与互斥锁比较类似，它们都是为了解决对某项资源的互斥使用。无论是互斥锁，还是自旋锁，在任何时刻，最多只能有一个保持者，也就说，在任何时刻最多只能有一个执行单元获得锁。但是两者在调度机制...
java clh_Java小白系列（十）：CLH
weixin_29696451的博客
02-16 655
一、前言本篇内容是为之后的内容AQS打下基础，AQS又称 Abstract Queued Synchronizer ，即抽象队列同步器，Java中，基于 AQS 实现了很多著名的锁，如：重入锁(ReentrantLock)、读写锁(ReadWriteLock)、共享锁(CountDownLatch)若设置为1则等同于互斥锁，等。因此，为了深入分析AQS，我将重要的内容都拆解出来，从一个一个的知识点...
Java 并发编程学习笔记 理解CLH队列锁算法
weixin_34162228的博客
10-12 209
CLH算法实现 CLH队列中的结点QNode中含有一个locked字段，该字段若为true表示该线程需要获取锁，且不释放锁，为false表示线程释放了锁。结点之间是通过隐形的链表相连，之所以叫隐形的链表是因为这些结点之间没有明显的next指针，而是通过myPred所指向的结点的变化情况来影响myNode的行为。CLHLock上还有一个尾指针，始终指向队列的最后一个结点。CLHLock的类图如下所...
java clh_AQS基础——多图详解CLH锁的原理与实现
weixin_36036343的博客
02-16 148
1 什么是自旋锁和互斥锁？由于CLH锁是一种自旋锁，那么我们先来看看自旋锁是什么？自旋锁说白了也是一种互斥锁，只不过没有抢到锁的线程会一直自旋等待锁的释放，处于busy-waiting的状态，此时等待锁的线程不会进入休眠状态，而是一直忙等待浪费CPU周期。因此自旋锁适用于锁占用时间短的场合。这里谈到了自旋锁，那么我们也顺便说下互斥锁。这里的互斥锁说的是传统意义的互斥锁，就是多个线程并发竞争锁的时候...
java clh_【Java并发编程实战】-----“J.U.C”：CLH队列锁
weixin_29415667的博客
02-16 130
在前面介绍的几篇博客中总是提到CLH队列，在AQS中CLH队列是维护一组线程的严格按照FIFO的队列。他能够确保无饥饿，严格的先来先服务的公平性。下图是CLH队列节点的示意图： 在CLH队列的节点QNode中包含有一个locked的字段，该字段表示该节点是否需要获取锁，为true表示需要获取，为false表示不需要获取。在CLH队列中，节点与节点之间并不是通过next指针来连接的而是通过myPr...
多图详解CLH锁的原理与实现，java源码模拟面试解析指南
m0_61418142的博客
03-07 776
针对以上面试题，小编已经把面试题+答案整理好了。
Java并发编程精华：原理、实战与技巧总结
1. **并发编程基础知识**： - **Java并发**：涵盖了Java语言本身提供的多线程支持，如`synchronized`关键字和`java.util.concurrent`包中的`ReentrantLock`、`AQS（AbstractQueuedSynchronizer）`等高级并发控制...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值