91超碰碰碰碰久久久久久综合_超碰av人澡人澡人澡人澡人掠_国产黄大片在线观看画质优化_txt小说免费全本

溫馨提示×

溫馨提示×

您好,登錄后才能下訂單哦!

密碼登錄×
登錄注冊×
其他方式登錄
點擊 登錄注冊 即表示同意《億速云用戶服務條款》

怎么理解抽象同步隊列AQS

發布時間:2021-11-15 16:36:26 來源:億速云 閱讀:148 作者:iii 欄目:大數據

本篇內容介紹了“怎么理解抽象同步隊列AQS”的有關知識,在實際案例的操作過程中,不少人都會遇到這樣的困境,接下來就讓小編帶領大家學習一下如何處理這些情況吧!希望大家仔細閱讀,能夠學有所成!

AQS——鎖的底層支持

談到并發,不得不談ReentrantLock;而談到ReentrantLock,不得不談AbstractQueuedSynchronizer(AQS)!

類如其名,抽象的隊列式的同步器,AQS定義了一套多線程訪問共享資源的同步器框架,許多同步類實現都依賴于它,如常用的ReentrantLock/Semaphore/CountDownLatch...

并發包的底層就是使用AQS實現的,以下是AQS的類圖結構

怎么理解抽象同步隊列AQS

它維護了一個volatile int state(代表共享資源)和一個FIFO線程等待隊列(多線程競爭資源被阻塞會進入此隊列)。這里volatile保證線程可見性。

state的訪問方式有三種:

getState()

setState()

compareAndSetState()

這三種都是原子操作,其中compareAndSetState的實現依賴于Unsafe的compareAndSwapInt()方法。代碼如下:

protected final boolean compareAndSetState(int expect, int update) {
    // See below for intrinsics setup to support this
    return unsafe.compareAndSwapInt(this, stateOffset, expect, update);
}

自定義資源共享方式

AQS定義了兩種資源共享方式:Exclusive(獨占,只有一個線程能執行,如ReentantLock)和Share(共享,多個線程可同時執行,如Semaphore/CountDownLatch)。

不同的自定義同步器爭用共享資源的方式也不同,自定義同步器在實現時只需要實現共享資源state的獲取與釋放方式即可,至于具體線程等待隊列的維護(如獲取資源失敗入隊/喚醒出隊等),AQS已經在頂層實現好了。自定義同步器實現時主要實現以下幾種方法。

isHeldExclusively():該線程是否正在獨占資源。只有用到condition才需要去實現它。

tryAcquire(int):獨占方式。嘗試獲取資源,成功則返回true,失敗則返回false。

tryRelease(int):獨占方式。嘗試釋放資源,成功則返回true,失敗則返回false。

tryAcquireShared(int):共享方式。嘗試獲取資源,負數表示失敗;0表示成功,但沒用剩余可用資源;正數表示成功,且有剩余資源。

tryReleaseShared(int):共享方式。嘗試釋放資源,如果釋放后允許喚醒后續等待節點返回true,否則返回false。

以ReentrantLock為例,state初始化為0,表示未鎖定狀態。A線程lock()時,會調用tryAcquire()獨占該鎖并將state+1。此后,其他線程再tryAcquire()時就會失敗,直到A線程unlock()到state=0(即釋放鎖)為止,其它線程才有機會獲取該鎖。當然,釋放鎖之前,A線程自己是可以重復獲取此鎖的(state會累加),這就是可重入的概念。但要注意,獲取多少次就要釋放多么次,這樣才能保證state是能回到零態的。

再以CountDownLatch以例,任務分為N個子線程去執行,state也初始化為N(注意N要與線程個數一致)。這N個子線程是并行執行的,每個子線程執行完后countDown()一次,state會CAS減1。等到所有子線程都執行完后(即state=0),會unpark()主調用線程,然后主調用線程就會從await()函數返回,繼續后余動作。

一般來說,自定義同步器要么是獨占方法,要么是共享方式,他們也只需實現tryAcquire-tryRelease、tryAcquireShared-tryReleaseShared中的一種即可。但AQS也支持自定義同步器同時實現獨占和共享兩種方式,如ReentrantReadWriteLock。

源碼實現

接下來我們開始開始講解AQS的源碼實現。依照acquire-release、acquireShared-releaseShared的次序來。

1. acquire(int)

acquire是一種以獨占方式獲取資源,如果獲取到資源,線程直接返回,否則進入等待隊列,直到獲取到資源為止,且整個過程忽略中斷的影響。該方法是獨占模式下線程獲取共享資源的頂層入口。

獲取到資源后,線程就可以去執行其臨界區代碼了。下面是acquire()的源碼

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

通過注釋我們知道,acquire方法是一種互斥模式,且忽略中斷。該方法至少執行一次tryAcquire(int)方法,如果tryAcquire(int)方法返回true,則acquire直接返回,否則當前線程需要進入隊列進行排隊。函數流程如下

1、tryAcquire():嘗試直接獲取資源,如果成功則直接返回;

2、addWaiter():將該線程加入等待隊列的尾部,并標記為獨占模式;

3、acquireQueued():使線程在等待隊列中獲取資源,一直獲取到資源后才返回。如果在整個等待過程中被中斷過,則返回true,否則返回false。

4、如果線程在等待過程中被中斷過,它是不響應的。只有獲取資源后才再進行自我中斷selfInterrupt(),將中斷補上。

現在開始對這四個方法進行源碼分析

1.1 tryAcquire(int)

protected boolean tryAcquire(int arg) {
    throw new UnsupportedOperationException();
}

tryAcquire嘗試以獨占的方式獲取資源,如果獲取成功,則直接返回true,否則直接返回false。該方法可以用于實現Lock中的tryLock()方法。該方法的默認實現是拋出UnsupportedOperationException異常,

什么?直接throw異常?說好的功能呢?好吧,還記得概述里講的AQS只是一個框架,具體資源的獲取/釋放方式交由自定義同步器去實現嗎?就是這里了!!!AQS這里只定義了一個接口,具體資源的獲取交由

自定義同步器去實現了(通過state的get/set/CAS)!!!至于能不能重入,能不能加塞,那就看具體的自定義同步器怎么去設計了!!!當然,自定義同步器在進行資源訪問時要考慮線程安全的影響。

這里之所以沒有定義成abstract,是因為獨占模式下只用實現tryAcquire-tryRelease,而共享模式下只用實現tryAcquireShared-tryReleaseShared。如果都定義成abstract,那么每個模式也要去實現另一模式下的接口。

說到底,Doug Lea還是站在咱們開發者的角度,盡量減少不必要的工作量。

1.2 addWaiter(Node)

/**
 * Creates and enqueues node for current thread and given mode.
 *
 * @param mode Node.EXCLUSIVE for exclusive, Node.SHARED for shared
 * @return the new node
 */
private Node addWaiter(Node mode) {
    Node node = new Node(Thread.currentThread(), mode); //——以給定模式構造節點。mode有兩種:EXCLUSIVE(獨占)和SHARED(共享)
    // Try the fast path of enq; backup to full enq on failure
    Node pred = tail; //——嘗試快速方式直接放到隊尾
    if (pred != null) {
        node.prev = pred;
        if (compareAndSetTail(pred, node)) {
            pred.next = node;
            return node;
        }
    }
    enq(node); //——上一步失敗則通過enq入隊
    return node;
}

不用再說了,直接看注釋吧。這里我們說下Node。Node結點是對每一個訪問同步代碼的線程的封裝,其包含了需要同步的線程本身以及線程的狀態,如是否被阻塞,是否等待喚醒,是否已經被取消等。變量waitStatus則表示當前被封裝成Node結點的等待狀態,共有4種取值CANCELLED、SIGNAL、CONDITION、PROPAGATE。

  • CANCELLED:值為1,在同步隊列中等待的線程等待超時或被中斷,需要從同步隊列中取消該Node的結點,其結點的waitStatus為CANCELLED,即結束狀態,進入該狀態后的結點將不會再變化。

  • SIGNAL:值為-1,被標識為該等待喚醒狀態的后繼結點,當其前繼結點的線程釋放了同步鎖或被取消,將會通知該后繼結點的線程執行。說白了,就是處于喚醒狀態,只要前繼結點釋放鎖,就會通知標識為SIGNAL狀態的后繼結點的線程執行。

  • CONDITION:值為-2,與Condition相關,該標識的結點處于等待隊列中,結點的線程等待在Condition上,當其他線程調用了Condition的signal()方法后,CONDITION狀態的結點將從等待隊列轉移到同步隊列中,等待獲取同步鎖。

  • PROPAGATE:值為-3,與共享模式相關,在共享模式中,該狀態標識結點的線程處于可運行狀態。

  • 0狀態:值為0,代表初始化狀態。

AQS在判斷狀態時,通過用waitStatus>0表示取消狀態,而waitStatus<0表示有效狀態。

1.2.1 enq(node)

/**
 * Inserts node into queue, initializing if necessary. See picture above.
 * @param node the node to insert
 * @return node's predecessor
 */
private Node enq(final Node node) {
    for (;;) { //——CAS自旋,直到成功加入隊尾
        Node t = tail;
        if (t == null) { // Must initialize //——隊列為空,創建一個空的標示節點作為head節點,并將tail也指向它
            if (compareAndSetHead(new Node()))
                tail = head;
        } else { //——正常流程放入隊尾
            node.prev = t;
            if (compareAndSetTail(t, node)) {
                t.next = node;
                return t;
            }
        }
    }
}

enq(node)用于將當前節點插入到等待隊列,如果隊列為空,則初始化當前隊列。整個過程以CAS自旋的方式進行,直到成功加入隊尾為止。

1.3 acquireQueued(Node, int)

  OK,通過tryAcquire()和addWaiter(),該線程獲取資源失敗,已經被放入等待隊列尾部了。聰明的你立刻應該能想到該線程下一部該干什么了吧:進入等待狀態休息,直到其他線程徹底釋放資源后喚醒自己,自己再拿到資源,然后就可以去干自己想干的事了。沒錯,就是這樣!是不是跟醫院排隊拿號有點相似~~acquireQueued()就是干這件事:在等待隊列中排隊拿號(中間沒其它事干可以休息),直到拿到號后再返回。這個函數非常關鍵,還是上源碼吧:

final boolean acquireQueued(final Node node, int arg) {
    boolean failed = true;//——標記是否成功拿到資源,默認是false
    try {
        boolean interrupted = false;//——標記等待過程是否被中斷過
        for (;;) { //——又是一個自旋!
            final Node p = node.predecessor(); //——拿到前驅
            if (p == head && tryAcquire(arg)) { //——如果前驅是head,即該節點已成為老二,那么便有資源去嘗試獲取資源(可能是老大釋放完資源后喚醒自己的,當然也可能被interrupt了)
                setHead(node); //——拿到資源后,將head指向該節點。所以head所指向的標桿節點,就是當前獲取到資源的那個節點或null
                p.next = null; // help GC //setHead中的node.prev以置為null,此處再將head.next置為null,就是為了方便GC回收以前的head節點。也就意味著之前拿完資源的節點出隊了!
                failed = false;
                return interrupted; //——返回等待過程中是否被中斷過
            }
            //如果自己可以休息了,就進入waiting狀態,直到被unpark()
            if (shouldParkAfterFailedAcquire(p, node) &&
                parkAndCheckInterrupt())
                interrupted = true; //如果等待過程被中斷過了,哪怕只有那么一次,就將interrupted標記為true
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

到這里了,我們先不急著總結acquireQueued()的函數流程,先看看shouldParkAfterFailedAcquire()和parkAndCheckInterrupt()具體干些什么。

1.3.1 shouldParkAfterFailedAcquire(Node, Node)

此方法主要用于檢查狀態,看看自己是否真的可以去休息了,進入waiting狀態

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) { //——如果前驅放棄了,那就一直往前找,直到找到一個最近正常等待的狀態,并排在它的后邊,注意哪些放棄的節點,由于被自己加塞到他們前邊,他們相當于形成了一個無引用鏈,稍后GC回收。
        /*
         * 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); //——如果前驅正常,那就把前驅的狀態設置為SIGNAL,告訴它拿完號后通知自己一下,有可能失敗,人家說不定剛釋放完呢!
    }
    return false;
}

整個流程中,如果前驅結點的狀態不是SIGNAL,那么自己就不能安心去休息,需要去找個安心的休息點,同時可以再嘗試下看有沒有機會輪到自己拿號。

1.3.2 parkAndCheckInterrupt()

如果線程找好安全休息點后,那就可以安心去休息了。此方法就是讓線程去休息,真正進入等待狀態。

private final boolean parkAndCheckInterrupt() {
    LockSupport.park(this);
    return Thread.interrupted();
}

park()會讓當前線程進入waiting狀態。在此狀態下,有兩種途徑可以喚醒該線程:1)被unpark();2)被interrupt()。

1.3.3 小結

OK,看了shouldParkAfterFailedAcquire()和parkAndCheckInterrupt(),現在讓我們再回到acquireQueued(),總結下該函數的具體流程:

1、節點進入隊尾后,檢查狀態,找到安全休息點

2、調用park()進入waiting狀態,等待unpark()或interrupt()喚醒自己

3、被喚醒后,看自己是不是有資格能拿到號。如果能拿到,head指向當前節點,并返回從入隊到拿到號的整個過程中是否被中斷過;如果沒用拿到,繼續流程1

1.4 小結

OKOK,acquireQueued()分析完之后,我們接下來再回到acquire()!再貼上它的源碼吧:

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

再來總結下它的流程吧:

1、調用自定義同步器的tryAcquire()嘗試直接去獲取資源,如果成功則直接返回;

2、沒成功,則執行addWaiter()將線程加入等待隊列的尾部并標記為獨占模式;

3、acquireQueued()使線程在等待隊列中休息,有機會時(輪到自己,會被unpark())會去嘗試獲取資源。獲取到資源才返回。如果在整個等待過程中被中斷過,則會返回true,否則返回false。

4、如果線程在等待過程中被中斷過,他是不響應的。只是獲取資源后才進行自我中斷selfInterrupt(),將中斷補上。

由于此函數是重中之重,我再用流程圖總結一下:

怎么理解抽象同步隊列AQS

至此,acquire()的流程終于算是告一段落了。這也就是ReentrantLock.lock()的流程,不信你去看其lock()源碼吧,整個函數就是一條acquire(1)!!!

2.release(int)

上一小節已經把acquire()說完了,這一小節就來講講它的反操作release()吧。此方法是獨占模式下線程釋放共享資源的頂層入口。它會釋放指定量的資源,

如果徹底釋放了(即state=0),它會喚醒等待隊列里的其他線程來獲取資源。這也正是unlock()的語義,當然不僅僅只限于unlock()。下面是release()的源碼:

public final boolean release(int arg) {
    if (tryRelease(arg)) {
        Node h = head; //——找到頭節點
        if (h != null && h.waitStatus != 0)
            unparkSuccessor(h); //——喚醒等待隊列里的下一個線程
        return true;
    }
    return false;
}

邏輯并不復雜。它調用tryRelease()來釋放資源。有一點需要注意的是,它是根據tryRelease()的返回值來判斷該線程是否已經完成釋放掉資源了!所以自定義同步器在設計tryRelease()的時候要明確這一點!!

2.1 tryRelease(int)

此方法嘗試去釋放指定量的資源。下面是tryRelease()的源碼:

protected boolean tryRelease(int arg) {
    throw new UnsupportedOperationException();
}

跟tryAcquire()一樣,這個方法是需要獨占模式的自定義同步器去實現的。正常來說,tryRelease()都會成功的,因為這是獨占模式,該線程來釋放資源,那么它肯定已經拿到獨占資源了,直接減掉相應量的資源即可(state-=arg),也不需要考慮線程安全的問題。但要注意它的返回值,上面已經提到了,release()是根據tryRelease()的返回值來判斷該線程是否已經完成釋放掉資源了!所以自義定同步器在實現時,如果已經徹底釋放資源(state=0),要返回true,否則返回false。

2.2 unparkSuccessor(Node)

此方法用于喚醒等待隊列中下一個線程。下面是源碼:

private void unparkSuccessor(Node node) {

    int ws = node.waitStatus; //——這里node一般為當前線程所在的節點
    if (ws < 0) //——置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) //——這里看到<=0的結點,還是有效的結點
                s = t;
    }
    if (s != null)
        LockSupport.unpark(s.thread); //——喚醒
}

這個函數并不復雜。一句話概括:用unpark()喚醒等待隊列中最前邊的那個未放棄線程,這里我們也用s來表示吧。此時,再和acquireQueued()聯系起來,s被喚醒后,進入if (p == head && tryAcquire(arg))的判斷(即使p!=head也沒關系,它會再進入shouldParkAfterFailedAcquire()尋找一個安全點。這里既然s已經是等待隊列中最前邊的那個未放棄線程了,那么通過shouldParkAfterFailedAcquire()的調整,s也必然會跑到head的next結點,下一次自旋p==head就成立啦),然后s把自己設置成head標桿結點,表示自己已經獲取到資源了,acquire()也返回了!!And then, DO what you WANT!

2.3 小結

release()是獨占模式下線程釋放共享資源的頂層入口。它會釋放指定量的資源,如果徹底釋放了(即state=0),它會喚醒等待隊列里的其他線程來獲取資源。

3.acquireShared(int)

此方法是共享模式下線程獲取共享資源的頂層入口。它會獲取指定量的資源,獲取成功則直接返回,獲取失敗則進入等待隊列,直到獲取到資源為止,整個過程忽略中斷。下面是acquireShared()的源碼:

public final void acquireShared(int arg) {
    if (tryAcquireShared(arg) < 0)
        doAcquireShared(arg);
}
這里tryAcquireShared()依然需要自定義同步器去實現。但是AQS已經把其返回值的語義定義好了:負值代表獲取失敗;0代表獲取成功,但沒有剩余資源;正數表示獲取成功,還有剩余資源,其他線程還可以去獲取。所以這里acquireShared()的流程就是:

tryAcquireShared()嘗試獲取資源,成功則直接返回;
失敗則通過doAcquireShared()進入等待隊列,直到獲取到資源為止才返回。

3.1.doAcquireShared(int)

此方法用于將當前線程加入等待隊列尾部休息,直到其他線程釋放資源喚醒自己,自己成功拿到相應量的資源后才返回。下面是doAcquireShared()的源碼:

private void doAcquireShared(int arg) {
    final Node node = addWaiter(Node.SHARED); //——加入隊列尾部
    boolean failed = true; //——是否成功標志
    try {
        boolean interrupted = false; //——等待過程中是否被中斷的標志
        for (;;) {
            final Node p = node.predecessor(); //前驅
            if (p == head) { //如果到head的下一個,因為head是拿到資源的線程,此時node被喚醒,很可能是head用完資源來喚醒自己
                int r = tryAcquireShared(arg); //嘗試獲取資源
                if (r >= 0) { //成功
                    setHeadAndPropagate(node, r); //將head指向自己,還有剩余資源可以再喚醒之后的線程
                    p.next = null; // help GC
                    if (interrupted) //如果等待過程中被打斷過,直接將中斷補上
                        selfInterrupt();
                    failed = false;
                    return;
                }
            }
            if (shouldParkAfterFailedAcquire(p, node) && //判斷狀態,尋找安全點,進入waiting狀態,等被unpark()或interrupt()
                parkAndCheckInterrupt())
                interrupted = true;
        }
    } finally {
        if (failed)
            cancelAcquire(node);
    }
}

有木有覺得跟acquireQueued()很相似?對,其實流程并沒有太大區別。只不過這里將補中斷的selfInterrupt()放到doAcquireShared()里了,而獨占模式是放到acquireQueued()之外,其實都一樣,不知道Doug Lea是怎么想的。

跟獨占模式比,還有一點需要注意的是,這里只有線程是head.next時(“老二”),才會去嘗試獲取資源,有剩余的話還會喚醒之后的隊友。那么問題就來了,假如老大用完后釋放了5個資源,而老二需要6個,老三需要1個,老四需要2個。老大先喚醒老二,老二一看資源不夠,他是把資源讓給老三呢,還是不讓?答案是否定的!老二會繼續park()等待其他線程釋放資源,也更不會去喚醒老三和老四了。獨占模式,同一時刻只有一個線程去執行,這樣做未嘗不可;但共享模式下,多個線程是可以同時執行的,現在因為老二的資源需求量大,而把后面量小的老三和老四也都卡住了。當然,這并不是問題,只是AQS保證嚴格按照入隊順序喚醒罷了(保證公平,但降低了并發)。

3.1.1 setHeadAndPropagate(Node, int)

private void setHeadAndPropagate(Node node, int propagate) {
    Node h = head; // Record old head for check below
    setHead(node); //head指向自己
    //如果還有剩余資源,繼續喚醒下一個鄰居線程
    if (propagate > 0 || h == null || h.waitStatus < 0 ||
        (h = head) == null || h.waitStatus < 0) {
        Node s = node.next;
        if (s == null || s.isShared())
            doReleaseShared();
    }
}

此方法在setHead()的基礎上多了一步,就是自己蘇醒的同時,如果條件符合(比如還有剩余資源),還會去喚醒后繼結點,畢竟是共享模式!

3.2 小結

 OK,至此,acquireShared()也要告一段落了。讓我們再梳理一下它的流程:

  1. tryAcquireShared()嘗試獲取資源,成功則直接返回;

  2. 失敗則通過doAcquireShared()進入等待隊列park(),直到被unpark()/interrupt()并成功獲取到資源才返回。整個等待過程也是忽略中斷的。

  其實跟acquire()的流程大同小異,只不過多了個自己拿到資源后,還會去喚醒后繼隊友的操作(這才是共享嘛)

4. releaseShared(int)

上一小節已經把acquireShared()說完了,這一小節就來講講它的反操作releaseShared()吧。此方法是共享模式下線程釋放共享資源的頂層入口。它會釋放指定量的資源,如果成功釋放且允許喚醒等待線程,它會喚醒等待隊列里的其他線程來獲取資源。下面是releaseShared()的源碼:

public final boolean releaseShared(int arg) {
    if (tryReleaseShared(arg)) { //嘗試釋放資源
        doReleaseShared(); //喚醒后繼結點
        return true;
    }
    return false;
}

此方法的流程也比較簡單,一句話:釋放掉資源后,喚醒后繼。跟獨占模式下的release()相似,但有一點稍微需要注意:獨占模式下的tryRelease()在完全釋放掉資源(state=0)后,才會返回true去喚醒其他線程,這主要是基于獨占下可重入的考量;而共享模式下的releaseShared()則沒有這種要求,共享模式實質就是控制一定量的線程并發執行,那么擁有資源的線程在釋放掉部分資源時就可以喚醒后繼等待結點。例如,資源總量是13,A(5)和B(7)分別獲取到資源并發運行,C(4)來時只剩1個資源就需要等待。A在運行過程中釋放掉2個資源量,然后tryReleaseShared(2)返回true喚醒C,C一看只有3個仍不夠繼續等待;隨后B又釋放2個,tryReleaseShared(2)返回true喚醒C,C一看有5個夠自己用了,然后C就可以跟A和B一起運行。而ReentrantReadWriteLock讀鎖的tryReleaseShared()只有在完全釋放掉資源(state=0)才返回true,所以自定義同步器可以根據需要決定tryReleaseShared()的返回值。

4.1 doReleaseShared()

此方法主要用于喚醒后繼。下面是它的源碼:

private void doReleaseShared() {
   
    for (;;) {
        Node h = head;
        if (h != null && h != tail) {
            int ws = h.waitStatus;
            if (ws == Node.SIGNAL) {
                if (!compareAndSetWaitStatus(h, Node.SIGNAL, 0))
                    continue;// loop to recheck cases
                unparkSuccessor(h); //喚醒后繼
            }
            else if (ws == 0 &&
                     !compareAndSetWaitStatus(h, 0, Node.PROPAGATE))
                continue; // loop on failed CAS
        }
        if (h == head) //head發生變化
            break;
    }
}

5 小結

本節我們詳解了獨占和共享兩種模式下獲取-釋放資源(acquire-release、acquireShared-releaseShared)的源碼,相信大家都有一定認識了。值得注意的是,acquire()和acquireShared()兩種方法下,線程在等待隊列中都是忽略中斷的。AQS也支持響應中斷的,acquireInterruptibly()/acquireSharedInterruptibly()即是,這里相應的源碼跟acquire()和acquireShared()差不多,這里就不再詳解了。

四、簡單應用

4.1 Mutex(互斥鎖)

Mutex是一個不可重入的互斥鎖實現。鎖資源(AQS里的state)只有兩種狀態:0表示未鎖定,1表示鎖定。下邊是Mutex的核心源碼:

class Mutex implements Lock, java.io.Serializable {
    // 自定義同步器
    private static class Sync extends AbstractQueuedSynchronizer {
        // 判斷是否鎖定狀態
        protected boolean isHeldExclusively() {
            return getState() == 1;
        }

        // 嘗試獲取資源,立即返回。成功則返回true,否則false。
        public boolean tryAcquire(int acquires) {
            assert acquires == 1; // 這里限定只能為1個量
            if (compareAndSetState(0, 1)) {//state為0才設置為1,不可重入!
                setExclusiveOwnerThread(Thread.currentThread());//設置為當前線程獨占資源
                return true;
            }
            return false;
        }

        // 嘗試釋放資源,立即返回。成功則為true,否則false。
        protected boolean tryRelease(int releases) {
            assert releases == 1; // 限定為1個量
            if (getState() == 0)//既然來釋放,那肯定就是已占有狀態了。只是為了保險,多層判斷!
                throw new IllegalMonitorStateException();
            setExclusiveOwnerThread(null);
            setState(0);//釋放資源,放棄占有狀態
            return true;
        }
    }

    // 真正同步類的實現都依賴繼承于AQS的自定義同步器!
    private final Sync sync = new Sync();

    //lock<-->acquire。兩者語義一樣:獲取資源,即便等待,直到成功才返回。
    public void lock() {
        sync.acquire(1);
    }

    //tryLock<-->tryAcquire。兩者語義一樣:嘗試獲取資源,要求立即返回。成功則為true,失敗則為false。
    public boolean tryLock() {
        return sync.tryAcquire(1);
    }

    //unlock<-->release。兩者語文一樣:釋放資源。
    public void unlock() {
        sync.release(1);
    }

    //鎖是否占有狀態
    public boolean isLocked() {
        return sync.isHeldExclusively();
    }
}

同步類在實現時一般都將自定義同步器(sync)定義為內部類,供自己使用;而同步類自己(Mutex)則實現某個接口,對外服務。當然,接口的實現要直接依賴sync,它們在語義上也存在某種對應關系!!而sync只用實現資源state的獲取-釋放方式tryAcquire-tryRelelase,至于線程的排隊、等待、喚醒等,上層的AQS都已經實現好了,我們不用關心。

除了Mutex,ReentrantLock/CountDownLatch/Semphore這些同步類的實現方式都差不多,不同的地方就在獲取-釋放資源的方式tryAcquire-tryRelelase。掌握了這點,AQS的核心便被攻破了!

“怎么理解抽象同步隊列AQS”的內容就介紹到這里了,感謝大家的閱讀。如果想了解更多行業相關的知識可以關注億速云網站,小編將為大家輸出更多高質量的實用文章!

向AI問一下細節

免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。

aqs
AI

松桃| 抚顺市| 九龙城区| 河池市| 红原县| 台南县| 永登县| 新巴尔虎左旗| 平顺县| 横峰县| 永修县| 宣武区| 广安市| 莲花县| 红河县| 视频| 文登市| 武川县| 潼南县| 尉犁县| 烟台市| 琼结县| 博客| 辽源市| 彭泽县| 增城市| 曲松县| 和田市| 澎湖县| 五家渠市| 伊通| 天等县| 大田县| 莱州市| 尚义县| 洛川县| 喀什市| 桂平市| 上虞市| 聂荣县| 乌拉特后旗|