JUC之AQS

已于 2022-04-24 20:49:38 修改
阅读量160 收藏
点赞数
分类专栏： java基础 文章标签： AQS
于 2020-04-17 00:10:38 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/fall_hat/article/details/105569352
版权

JUCL下的锁和synchronized提供的锁的区别

1、锁的获取和释放是显示的靠程序员用代码来控制的，增加了灵活性，可以实现更加复杂的应用场景

2、尝试非堵塞式的获取锁

3、可中断的获取锁

4、可超时的获取锁

5、等待队列可按条件分类（Condition），这样可以实现更加精确的按组唤醒操作

AQS提供的能力

1、使用了一个int成员变量来表示同步状态

2、提供了一个FIFO队列来支持竞争线程的排队工作

3、通过模板方法设计模式来对外提供能力（子类覆盖某些步骤抽象方法）

4、定义三个方法来修改 同步状态值（getState（）、setState（int newState）、compareAndSetState（int expect，int update））

5、支持独占式的获取同步状态，也支持共享式的获取同步状态

6、支持条件等待队列

AQS是什么

AQS = AbstractQueuedSynchronizer 队列同步器
AQS是JDK5.0 引入的一个抽象类，它对常见的lock场景进行了抽象，目的是对各种场景的lock提供基础支持，使锁实现起来更加容易(排队与唤醒功能)。
AQS位于java.util.concurrent.locks包中，可以看出它就是为lock服务的，ReentrantLock（独占式可重入锁）、Semaphore（共享式锁）、ReentrantReadWriteLock（混合式锁）、等都是基于它来实现的，还有CountDownLatch和ThreadPoolExecutor.Worker中也有AQS的影子。

工作过程

AQS通过内置的FIFO同步队列来完成资源获取线程的排队工作，如果当前线程获取同步状态（锁）失败时，AQS则会将当前线程以及等待状态等信息构造成一个节点（Node）并将其加入同步队列，同时会阻塞当前线程，当同步状态释放时，则会把节点中的线程唤醒，使其再次尝试获取同步状态。

AQS提供的方法

  • getState()：返回同步状态的当前值；
  • setState(int newState)：设置当前同步状态；
  • compareAndSetState(int expect, int update)：使用CAS设置当前状态，该方法能够保证状态设置的原子性；
  • tryAcquire(int arg)：独占式获取同步状态，获取同步状态成功后，其他线程需要等待该线程释放同步状态才能获取同步状态；
  • tryRelease(int arg)：独占式释放同步状态；
  • tryAcquireShared(int arg)：共享式获取同步状态，返回值大于等于0则表示获取成功，否则获取失败；
  • tryReleaseShared(int arg)：共享式释放同步状态；
  • isHeldExclusively()：当前同步器是否在独占式模式下被线程占用，一般该方法表示是否被当前线程所独占；
  • acquire(int arg)：独占式获取同步状态，如果当前线程获取同步状态成功，则由该方法返回，否则，将会进入同步队列等待，该方法将会调用可重写的tryAcquire(int arg)方法；
  • acquireInterruptibly(int arg)：与acquire(int arg)相同，但是该方法响应中断，当前线程为获取到同步状态而进入到同步队列中，如果当前线程被中断，则该方法会抛出InterruptedException异常并返回；
  • tryAcquireNanos(int arg,long nanos)：超时获取同步状态，如果当前线程在nanos时间内没有获取到同步状态，那么将会返回false，已经获取则返回true；
  • acquireShared(int arg)：共享式获取同步状态，如果当前线程未获取到同步状态，将会进入同步队列等待，与独占式的主要区别是在同一时刻可以有多个线程获取到同步状态；
  • acquireSharedInterruptibly(int arg)：共享式获取同步状态，响应中断；
  • tryAcquireSharedNanos(int arg, long nanosTimeout)：共享式获取同步状态，增加超时限制；
  • release(int arg)：独占式释放同步状态，该方法会在释放同步状态之后，将同步队列中第一个节点包含的线程唤醒；
  • releaseShared(int arg)：共享式释放同步状态；

通过对API的分析可以知道，AQS主要提供了：

1、独占式的获取与释放同步状态

2、共享式的获取与释放同步状态

3、查询同步队列中的线程排队情况

独占式锁：同一时刻只能由一个线程获取到，其它线程只能进入队列排队，等待。

共享式锁：同一时刻可以由多个线程持有。

混合式锁：当有读锁被其它线程持有期间，写锁线程只能堵塞等待前面所有的读锁释放，写锁堵塞之后进来的读锁只能排队到写锁线程后面，当读锁释放完毕后写锁获取成功，写锁释放完毕后，排在写锁后面的读锁可以同时获取到读锁。

AQS的原理

在基于AQS构建的同步器中，只能在一个时刻发生阻塞，从而降低上下文切换的开销，提高了吞吐量。同时在设计AQS时充分考虑了可伸缩性，因此J.U.C中所有基于AQS构建的同步器均可以获得这个优势。AQS的主要使用方式是继承，子类通过继承同步器并实现它的抽象方法来管理同步状态。AQS使用一个int类型的成员变量state来表示同步状态，当state>0时表示已经获取了锁，当state = 0时表示释放了锁。它提供了三个方法（getState()、setState(int newState)、compareAndSetState(int expect,int update)）来对同步状态state进行操作，当然AQS可以确保对state的操作是安全的。

定义(源码分析)

public abstract class AbstractQueuedSynchronizer extends
    AbstractOwnableSynchronizer implements java.io.Serializable { 
    //等待队列的头节点
    private transient volatile Node head; //注：被transient修饰的变量不能序列化
    //等待队列的尾节点
    private transient volatile Node tail;
    //同步状态
    private volatile int state;
    protected final int getState() { return state;}
    protected final void setState(int newState) { state = newState;}
    ...
}

队列同步器AQS是用来构建锁或其他同步组件的基础框架，内部使用一个int成员变量表示同步状态，通过内置的FIFO队列来完成资源获取线程的排队工作，其中内部状态state，等待队列的头节点head和尾节点head，都是通过volatile修饰，保证了多线程之间的可见。在深入实现原理之前，我们先看看内部的FIFO队列是如何实现的。

static final class Node {
    //该等待同步的节点处于共享模式
    static final Node SHARED = new Node();
    //该等待同步的节点处于独占模式
    static final Node EXCLUSIVE = null;
    static final int CANCELLED =  1;
    static final int SIGNAL    = -1;
    static final int CONDITION = -2;
    static final int PROPAGATE = -3;
    //等待状态,这个和state是不一样的:有1,0,-1,-2,-3五个值
    volatile int waitStatus;
    volatile Node prev;//前驱节点
    volatile Node next;//后继节点
    volatile Thread thread;//等待锁的线程
    Node nextWaiter;//和节点是否共享有关
    ...
    }

在这里插入图片描述
黄色节点是默认head节点，其实是一个空节点，我觉得可以理解成代表当前持有锁的线程，每当有线程竞争失败，都是插入到队列的尾节点，tail节点始终指向队列中的最后一个元素。
每个节点中， 除了存储了当前线程，前后节点的引用以外，还有一个waitStatus变量，用于描述节点当前的状态。多线程并发执行时，队列中会有多个节点存在，这个waitStatus其实代表对应线程的状态：有的线程可能获取锁因为某些原因放弃竞争；有的线程在等待满足条件，满足之后才能执行等等。
一共有4种状态：

  1. CANCELLED = 1 取消状态该节点的线程可能由于超时或被中断而处于被取消(作废)状态,一旦处于这个状态,节点状态将一直处于CANCELLED(作废),因此应该从队列中移除.
  2. SIGNAL = -1 等待触发状态当前节点为SIGNAL时,后继节点会被挂起,因此在当前节点释放锁或被取消之后必须被唤醒(unparking)其后继结点.
  3. CONDITION = -2 等待条件状态该节点的线程处于等待条件状态，不会被当作是同步队列上的节点,直到被唤醒(signal)，设置其值为0,重新进入阻塞状态
  4. PROPAGATE 状态需要向后传播等待队列是FIFO先进先出，只有前一个节点的状态为SIGNAL时，当前节点的线程才能被挂起

实现原理

子类重写tryAcquire和tryRelease方法通过CAS指令修改状态变量state。

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

线程获取锁过程

下列步骤中线程A和B进行竞争。

  1. 线程A执行CAS执行成功，state值被修改并返回true，线程A继续执行。
  2. 线程A执行CAS指令失败，说明线程B也在执行CAS指令且成功，这种情况下线程A会执行步骤3。
  3. 生成新Node节点node，并通过CAS指令插入到等待队列的队尾（同一时刻可能会有多个Node节点插入到等待队列中），如果tail节点为空，则将head节点指向一个空节点（代表线程B），具体实现如下：
private Node addWaiter(Node mode) {
    //把当前线程包装为node,设为独占模式
    Node node = new Node(Thread.currentThread(), mode);
    // Try the fast path of enq; backup to full enq on failure
    Node pred = tail;
    //如果tail不为空,把node插入末尾
    if (pred != null) {
        node.prev = pred;
        //此时可能有其他线程插入,所以重新判断tail
        if (compareAndSetTail(pred, node)) {
            pred.next = node;
            return node;
        }
    }
    enq(node);
    return node;
}
private Node enq(final Node node) {
    for (;;) {
        Node t = tail;
        //此时可能有其他线程插入,所以重新判断tail是否为空
        if (t == null) { // Must initialize
            if (compareAndSetHead(new Node()))
                tail = head;
        } else {
            node.prev = t;
            if (compareAndSetTail(t, node)) {
                t.next = node;
                return t;
            }
        }
    }
}
  1. node插入到队尾后，该线程不会立马挂起，会进行自旋操作。因为在node的插入过程，线程B（即之前没有阻塞的线程）可能已经执行完成，所以要判断该node的前一个节点pred是否为head节点（代表线程B），如果pred == head，表明当前节点是队列中第一个“有效的”节点，因此再次尝试tryAcquire获取锁，
    a. 如果成功获取到锁，表明线程B已经执行完成，线程A不需要挂起。
    b. 如果获取失败，表示线程B还未完成，至少还未修改state值。进行步骤5。
  2. 前面我们已经说过只有前一个节点pred的线程状态为SIGNAL时，当前节点的线程才能被挂起。
    a. 如果pred的waitStatus == 0，则通过CAS指令修改waitStatus为Node.SIGNAL。
    b. 如果pred的waitStatus > 0，表明pred的线程状态CANCELLED，需从队列中删除。
    c. 如果pred的waitStatus为Node.SIGNAL，则通过LockSupport.park()方法把线程A挂起，并等待被唤醒，被唤醒后进入步骤6。
    具体实现如下：
private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
    int ws = pred.waitStatus;
    if (ws == Node.SIGNAL)
        /*
         * This node has already set status asking a release
         * to signal it, so it can safely park.
         */
        return true;
    if (ws > 0) {
        /*
         * Predecessor was cancelled. Skip over predecessors and
         * indicate retry.
         */
        do {
            node.prev = pred = pred.prev;
        } while (pred.waitStatus > 0);
        pred.next = node;
    } else {
        /*
         * waitStatus must be 0 or PROPAGATE.  Indicate that we
         * need a signal, but don't park yet.  Caller will need to
         * retry to make sure it cannot acquire before parking.
         */
        compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
    }
    return false;
}
  1. 线程每次被唤醒时，都要进行中断检测，如果发现当前线程被中断，那么抛出InterruptedException并退出循环。从无限循环的代码可以看出，并不是被唤醒的线程一定能获得锁，必须调用tryAccquire重新竞争，因为锁是非公平的，有可能被新加入的线程获得，从而导致刚被唤醒的线程再次被阻塞，这个细节充分体现了“非公平”的精髓。

线程释放锁过程

  1. 如果头结点head的waitStatus值为-1，则用CAS指令重置为0；
  2. 找到waitStatus值小于0的节点s，通过LockSupport.unpark(s.thread)唤醒线程。
public final boolean release(int arg) {
    if (tryRelease(arg)) {
        Node h = head;
        if (h != null && h.waitStatus != 0)
            unparkSuccessor(h);
        return true;
    }
    return false;
}
如果node的后继节点不为空且不是作废状态,则唤醒这个后继节点,否则
从末尾开始寻找合适的节点,如果找到,则唤醒
private void unparkSuccessor(Node node) {
    int ws = node.waitStatus;
    if (ws < 0)
        compareAndSetWaitStatus(node, ws, 0);
    Node s = node.next;
    if (s == null || s.waitStatus > 0) {
        s = null;
        for (Node t = tail; t != null && t != node; t = t.prev)
            if (t.waitStatus <= 0)
                s = t;
    }
    if (s != null)
        LockSupport.unpark(s.thread);
}

总结

对获取独占式锁过程总结

AQS的模板方法acquire通过调用子类自定义实现的tryAcquire获取同步状态失败后
->将线程构造成Node节点(addWaiter)
->将Node节点添加到同步队列对尾(addWaiter)
->节点以自旋的方法获取同步状态(acquirQueued)。在节点自旋获取同步状态时，只有其前驱节点是头节点的时候才会尝试获取同步状态，如果该节点的前驱不是头节点或者该节点的前驱节点是头节点单获取同步状态失败，则判断当前线程需要阻塞，如果需要阻塞则需要被唤醒过后才返回。

释放锁过程总结

首先调用子类的tryRelease()方法释放锁,然后唤醒后继节点,在唤醒的过程中,需要判断后继节点是否满足情况,如果后继节点不为且不是作废状态,则唤醒这个后继节点,否则从tail节点向前寻找合适的节点,如果找到,则唤醒.

总结

1、AQS提供一个int变量作为 同步状态（锁的本质就是一个内存变量），提供了CAS的方式安全修改state变量；

2、AQS提供了排队能力，对没有获取到锁的线程提供一个FIFO队列，来管理这些线程，它通过Unsafe提供的CAS能力来实现多线程下无锁的入队和出队，达到一个高性能的目的；

3、AQS对于入队成功的线程采取 LockSupport.park（thread）提供的能力 使某个线程休眠，降低CPU消耗，在合适的时机再通过 LockSupport.unpark（thread）操作唤醒休眠的线程来继续运行；

4、AQS提供了条件队列的支持（仅支持独占模式），根据条件对象的不同来将等待的线程分类管理（多队列），这样的好处是可以更精细化的管理这些线程，避免不必要的唤醒，减少对CPU的消耗。

5、AQS对独占锁提供线程锁定来支持可重入的特性；

6、公平锁模式下如果前面有排队的就加入到队尾，按先后顺序获取锁；非公平锁模式下不管前面有没有排队的，都会先尝试获取锁，失败后再入队尾；

fall_hat
关注
专栏目录
JUC之AQS框架
Lucene/Solr解密
02-08 3405
AQS是一个框架，一个提供锁或同步器依赖于`FIFO等待队列`所必要的“基础设施”的框架。**Dong Lea**之所以写个抽象类的目的是为了简化我们实现同步器的工作。 提供一个基于FIFO等待队列，可以用于构建锁或者其他同步装置的基础框架。意在能够成为实现大部分同步需求的基础。 AQS默认提供了独占式和共享式两种模式，JDK对应的实现有ReentrantLock和ReentrantReadWriteLock。即除
JUC之AQS原理-多线程与高并发
phs999的博客
10-17 242
AQS是AbstractQueuedSynchronizer的缩写，该类是java.util.concurrent.locks包下的一个核心基础类，实现的功能主要是控制多个线程进行排队获得锁。 AQS有很多具体的实现子类，比如ReentranLock、CountDownLatch、Semaphor 拿ReentranLock来说，其主要代码逻辑是依靠其内部抽象类Sync具体实现。Sync是AbstractQueuedSynchronizer的子类。
聊聊J.U.C - AQS
weixin_34121304的博客
05-08 197
java.util.concurrent（J.U.C）大大提高了并发性能，AQS 被认为是 J.U.C 的核心。AQS简介java的内置锁一直都是备受争议的，在JDK 1.6之前，synchronized这个重量级锁其性能一直都是较为低下，虽然在1.6后，进行大量的锁优化策略,但是与Lock相比synchronized还是存在一些缺陷的：虽然synchronized提供了便捷性的隐式获取锁释放锁机...
【JUC】同步器（AQS原理、ReentrantLock原理、ConcurrentHashMap原理）
最新发布
小新的博客
09-08 1592
AQS全称为AbstractQueuedSynchronizer(抽象队列同步器)。AQS是一个用来构建锁和其他同步组件的基础框架。使用AQS可以简单且高效地构造出应用广泛的同步器，例如ReentrantLock、Semaphore、ReentrantReadWriteLock和FutureTask等等。AbstractQueuedSynchronizer是一个用于构建锁和相关同步组件的基础框架。那我们来使用一下这个基础框架。我们定义一个类，来继承AQS这个类。
JUC中的AQS
热心的大肚皮的博客
08-30 319
AQS简介 java.util.concurrent中有许多可阻塞的类，如ReentrantLock、Semaphore、ReentrantReadWriteLock、CountDownLatch、SynchronousQueue和FutureTask等，这些阻塞类有一个共同点就是都是基于AQS构建的。 AQS(AbstractQueuedSynchronizer)即队列同步器。是用来构建锁或者...
AQS源码解读
bocli的博客
12-07 391
1.可重入锁 可重入锁又名递归锁，是指在同一个线程在外层方法获取锁的时候，再进入该线程的的内层方法会自动获取锁（前提是锁对象得是同一个对象），不会因为之前已经获取过还没释放而阻塞。 Java中ReentrantLock和synchronized都是可重入锁，可重入锁的一个优点是可一定程度避免死锁。 将字分开解释： 可：可以 重：再次 入：进入 锁：同步锁 进入什么? 进入同步域（即同步代码块/方法或显示锁锁定的代码） 一个线程中的多个流程可以获取同一把锁，持有这把同步锁可以再次进入。 自己可以获取自己
java并发编程：juc、aqs
08-09
`AQS`(AbstractQueuedSynchronizer)是JUC库中的一个关键组件，它是一个抽象基类，为构建自定义的同步器提供了基础框架。AQS通过内部维护一个基于链表的等待队列，有效地管理线程的同步和唤醒，从而实现锁和其他同步...
JUC——AQS原理分析
xiaowanziddd的博客
08-13 338
AQS在java源码中主要是指AbstractQueuedSynchronizer（抽象队列同步器）抽象类。它整体就是一个抽象的FIFO队列来完成资源获取线程的排队工作，并通过一个int类型变量表示持有锁的状态。
JUC——AQS实现原理
qq_33983753的博客
02-01 294
AQS的全称为AbstractQueuedSynchronizer，也就是抽象队列同步器，位于java.util.concurrent.locks包下它是一个抽象类，本身已经提供了许多的基础功能，我们可以通过继承它来很方便的实现自定义的同步器个人理解，简单来讲，AQS本质就是个用来实现资源同步器的基础组件。在资源空闲时，允许线程去获取它，且在成功后将资源设置为被占用的状态；在资源被占用时，提供一定的阻塞等待唤醒机制来保证资源的后续分配。
JUC系列之AQS
qq_39639186的博客
01-17 471
简介： AQS是一个用来构建锁和同步器的框架，使用AQS能简单且高效地构造出应用广泛的大量的同步器，比如我们提到的ReentrantLock，Semaphore，其他的诸如ReentrantReadWriteLock，SynchronousQueue，FutureTask等等皆是基于AQS的。当然，我们自己也能利用AQS非常轻松容易地构造出符合我们自己需求的同步器。 关注公众号即可获取上百本前沿技术电子书、最新面试资料。 AQS的核心思想 AQS核心思想是，如果被请求的共享资源空闲，则将当前请求资源的线程
JUC之AQS必知必会，这样说就够了
m0_64374605的博客
12-11 552
AQS是JDK并发工具包下的一个模板类，作为并发包下的工具工具基础实现，我们经常使用的ReentrantLock，CountDownLatch，CyclicBarrier等都是基于它实现的，并且通过它我们可以很容易的实现自己的同步机制。 作为JUC中这么重要的一个类，有些东西还是要掌握的。 主要内容： AQS原理 如何利用AQS编写自己的同步机制 基于AQS的重入锁和Synchronized有什么区别 从AQS源码中你学到了什么 AQS原理 JDK源码要说原理，首先要提到其内部数据结构。其内部
JUC之AQS解读
相逢一笑
07-07 618
AQS简介 AQS(AbstractQueuedSynchronizer)是一个模板类，其提供一个先进先出（FIFO）的等待队列，旨在为大多数依赖单个原子int值表示状态的同步器提供有用的基础。 AQS类支持默认的排他锁和共享锁之一或两者。在排他锁模式下获取时，其他线程尝试获取是不会成功的，共享模式由多个线程获取可能会（但不一定）成功。AQS类不会“理解”这些区别，只是锁意义上说，当成功获取共享模式时，下一个等待线程（如果存在）也必须确定它是否也能够获取。在不同模式下等待的线程共享相同的FIFO队列。 如果
JUC核心--AQS
qq_29376831的博客
05-03 1316
一.AQS原理 1.等待队列—CLH锁 AQS核心思想是，如果被请求的共享资源空闲，那么就将当前请求资源的线程设置为有效的工作线程，将共享资源设置为锁定状态；如果共享资源被占用，就需要一定的阻塞等待唤醒机制来保证锁分配。这个机制主要用的是CLH队列的变体实现的，将暂时获取不到锁的线程加入到队列中。 CLH：Craig、Landin and Hagersten队列，是单向链表，AQS中的队列是CLH变体的虚拟双向队列（FIFO），AQS是通过将每条请求共享资源的线程封装成一个节点来实现锁的分配。 主要原理图如
JUC中AQS简介
chijunmei7041的博客
03-23 138
原文链接 AQS，在java.util.concurrent.locks包中，AbstractQueuedSynchronizer这个类是并发包中的核心，了解其他类之前，需要先弄清楚AQS。在JUC的很多类中都会存在一个内部类Sync，Sync都是继承自AbstractQueuedSynchr...
JUC(一)之AQS
赵子的博客
11-11 156
JUC出现的契机是，JDK1.6之前，synchronized重量级锁到性能低下，虽然这1.6进行优化后性能大幅提升，但是灵活性仍然不足，因此才有了JUC中自定义锁大展拳脚的机会。 JUC中的锁，大部分都是基于AQS，也就是AbstractQueuedSynchronizer类实现，即队列同步器。它是其他同步组件的基础（ReentrantLock，ReentrantReadWriteLock，Se...
Java并发编程深度解析：JUC与AQS核心机制
"深入理解Java并发编程的JUC库与AQS机制对于提升多线程应用的性能至关重要。AQS（AbstractQueuedSynchronizer）作为JUC的核心组件，提供了构建自定义同步器的基础，支持独占锁和共享锁的实现。AQS内部维护的等待队列...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值