从Condition开始，回顾AQS

cloudfly03

已于 2024-12-25 22:30:18 修改

阅读量973

点赞数 23

文章标签： java 开发语言

于 2024-12-25 22:29:41 首次发布

本文链接：https://blog.youkuaiyun.com/LFY20031120/article/details/144726722

版权

Synchronized和Reentrantlock的挂起逻辑

synchronized中有两个核心的结构

EntryList + cxq：等待拿锁的线程存储位置
Waitset：被执行wait方法的线程存储位置

流转：

线程获取锁资源失败，扔到EntryList + cxq
线程持有锁资源，执行了wait方法，扔到WaitSet
其他线程执行了notify/notifyAll方法，WaitSet中的线程会扔到EntryList/cxq中

ReetrantLock中的Condition中支持了类似上述的功能

ReetrantLock中有两个核心的结构

AQS的同步队列：等待拿锁的线程存储位置
AQS内部的Condition单向链表：被执行await方法的线程存储位置

流转：

线程获取锁资源失败，扔到同步队列
线程持有锁资源，执行了await方法，扔到Condition单向链表
其他线程执行了signal/signalAll方法，WaitSet中的线程会扔到同步队列中

AQS的Condition支持

AQS是JUC包下的一个抽象类，单独聊AQS没什么，但是他是AQS很多JUC包下的工具类的父类

AQS有三个核心点：

int类型的state属性
AQS内部的同步队列
Condition的单向链表

本文主要细看Condition单向链表：

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;

    /*
        Node只要在Condition单向链表中，状态就是上面的-2
        waitStatus简写wt
     */
    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() {    // Used to establish initial head or SHARED marker
    }

    Node(Thread thread, Node mode) {     // Used by addWaiter
        this.nextWaiter = mode;
        this.thread = thread;
    }

    Node(Thread thread, int waitStatus) { // Used by Condition
        this.waitStatus = waitStatus;
        this.thread = thread;
    }
}