AQS实现原理——Node节点

概述

在介绍AQS之前，我们需要先来了解下Node节点类。

AQS中的核心同步队列(CLH队列的变体)以及条件队列都是依靠Node节点来实现的。

在线程没有竞争到锁资源时，会将线程信息包装成一个Node节点数据，该节点不仅记录了线程信息，还记录了线程的等待状态以及上下节点

引申

AQS作为java中同步器的基石，为了满足不同场景提供了许多不同的基础功能，使用AQS能简单且高效的构造出同步器。

像熟知的ReentrantLock、Semaphore、ReentrantReadWriteLock等，都是基于AQS来实现锁机制的，这个以后有时间也会写。

而为了实现AQS的复杂功能，Node节点类中也是定义了相对较多的常量及变量。

源码

以下是我们Node节点的源代码：

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;

        volatile int waitStatus;

        volatile Node prev;

        volatile Node next;

        volatile Thread thread;

        Node nextWaiter;

        final boolean isShared() {
            return nextWaiter == SHARED;
        }

        final Node predecessor() throws NullPointerException {
            Node p = prev;
            if (p == null)
                throw new NullPointerException();
            else
                return p;
        }

        Node() {    
        }
        //同步队列时，使用该构造方法创建新的节点
        Node(Thread thread, Node mode) {     
            this.nextWaiter = mode;
            this.thread = thread;
        }
        //条件队列时，使用该构造方法创建新的节点
        Node(Thread thread, int waitStatus) { 
            this.waitStatus = waitStatus;
            this.thread = thread;
        }
    }

其中每个常量的含义我已经写了注释，它只被当作预先定义的值赋给其他字段

下面我们来看看Node节点其他字段的含义

• waitStatus：存储节点的状态，可能的值有
  • 0：同步队列节点初始化时的状态，默认为0
  • CANCELLED：表示当前节点的线程被中断或者因超时而取消操作，节点为该状态时不可再更新为其他状态了
  • SIGNAL：表示当前节点需要去唤醒下一个节点
  • CONDITIOIN：表示该节点属于等待状态（仅在条件队列中使用该状态）
  • PROPAGATE：表示下一个被获取对象应该无条件传播的状态（仅在共享模式时使用）
• prev：存储当前节点上一个节点（前任节点或前驱节点）的指针
  • 反向遍历时可以根据尾节点向上遍历

• next：存储当前节点下一个节点（后继节点）的指针
• thread：存储线程信息
• nextWaiter：存储节点的指针，可能出现两种情况
  • 同步队列中，通过将该值设置成SHARED或EXCLUSIVE来区分该节点处于独占模式还是共享模式
  • 条件队列中，用于存储下一个节点的指针（所以条件队列中使用的是单向链表，只能根据节点找到下一节点，无法反向遍历）

Node节点还提供了以下两个方法，以便在AQS中能更方便的使用Node

• isShared()：判断当前节点是否处于共享模式
• predecessor()：获取该节点的前任节点