AbstractQueuedSynchronizer의 소스 코드 분석 (1)

실제로, 두 개의 내부 AbstractQueuedSynchronizer의 큐 영역에 존재하는 동기 큐는 큐 상태이다. 도면으로부터 알 수있는 바와 같이, 하나 개의 동기 큐 및 큐 여러 조건을 가질 수있다. 노드 전에 기준 노드를 유지 한 후 동기 큐이고, 노드 큐 상태 만 참조가 후임 노드를 가리키는.

T 스레드를 포함하는 각 노드는, 스레드 우선 데려 도면 스레드를 나타내는 실패 후에 로크, 작업을 보유해야 로크 큐 실에 들어가는 조건을 취득하는 큐 동기화. 다음으로 우리는 각 노드의 큐의 구조를 살펴 봅니다.

    static final class Node {
        //表示当前线程以共享模式持有锁
        static final Node SHARED = new Node();
        //表示当前线程以独占模式持有锁
        static final Node EXCLUSIVE = null;

        /** waitStatus value to indicate thread has cancelled */
        //表示当前结点已经取消获取锁
        static final int CANCELLED =  1;
        /** waitStatus value to indicate successor's thread needs unparking */
        //表示后继结点的线程需要运行
        static final int SIGNAL    = -1;
        /** waitStatus value to indicate thread is waiting on condition */
        //表示当前结点在条件队列中排队
        static final int CONDITION = -2;
        /**
         * waitStatus value to indicate the next acquireShared should
         * unconditionally propagate
         */
        //表示后继结点可以直接获取锁
        static final int PROPAGATE = -3;
      
        //表示当前结点的等待状态
        volatile int waitStatus;

        //表示同步队列中的前继结点
        volatile Node prev;

     
        //当前结点持有的线程引用
        volatile Thread thread;

        //表示条件队列中的后继结点
        Node nextWaiter;

        /**
         * Returns true if node is waiting in shared mode.
         */
        //当前结点状态是否是共享模式
        final boolean isShared() {
            return nextWaiter == SHARED;
        }

        //返回当前结点的前继结点
        final Node predecessor() throws NullPointerException {
            Node p = prev;
            if (p == null)
                throw new NullPointerException();
            else
                return p;
        }
        //构造器1
        Node() {    // Used to establish initial head or SHARED marker
        }
        //构造器2, 默认用这个构造器
        Node(Thread thread, Node mode) {     // Used by addWaiter
            //注意持有模式是赋值给nextWaiter
            this.nextWaiter = mode;
            this.thread = thread;
        }
        //构造器3, 只在条件队列中用到
        Node(Thread thread, int waitStatus) { // Used by Condition
            this.waitStatus = waitStatus;
            this.thread = thread;
        }
    }

结点进入同步队列时会进行哪些操作？

/**
 * Inserts node into queue, initializing if necessary. See picture above.
 * @param node the node to insert
 * @return node's predecessor
 * 结点入队操作, 返回前一个结点
 * 注意，入队操作使用一个死循环，只有成功将结点添加到同步队列尾部才会返回，返回结果是同步队列原先的尾结点。
 * 读者需要注意添加尾结点的顺序，分为三步：指向尾结点，CAS更改尾结点，将旧尾结点的后继指向当前结点。
 * 在并发环境中这三步操作不一定能保证完成，所以在清空同步队列所有已取消的结点这一操作中，为了寻找非取消状态的结点，
 * 不是从前向后遍历而是从后向前遍历的。还有就是每个结点进入队列中时它的等待状态是为0，只有后继结点的线程需要挂起时才会将前面结点的等待状态改为SIGNAL。
 */
private Node enq(final Node node) {
    for (;;) {
        //获取同步队列尾结点引用
        Node t = tail;
        //如果尾结点为空说明同步队列还没有初始化
        if (t == null) { // Must initialize
            //初始化同步队列
            if (compareAndSetHead(new Node()))
                tail = head;
        } else {
            //1.指向当前尾结点
            node.prev = t;
            //2.CAS更改尾结点
            if (compareAndSetTail(t, node)) {
                //3.将旧尾结点的后继指向当前结点
                t.next = node;
                //for循环唯一的出口
                return t;
            }
        }
    }
}

 https://mp.weixin.qq.com/s?__biz=MzI4Njc5NjM1NQ==&mid=2247485225&idx=1&sn=21641556bc68b8edf1bade0ff4c625f9&chksm=ebd63805dca1b1131c8ea1c13c662fc406df0f261f51c6df9aa254802c4cd6353a0f221949c1&scene=21#wechat_redirect

AbstractQueuedSynchronizer의 소스 코드 분석 (1)

추천