第7章死鎖的預(yù)防避免和檢測(cè)

1、死鎖問題 系統(tǒng)中有進(jìn)程處于相互的無限等待狀態(tài)（被阻塞） 資源死鎖和通信死鎖 等待圖：將系統(tǒng)中進(jìn)程對(duì)資源的占用與需求共享情況用有向圖表示 進(jìn)程集合P0, P1 , Pn為節(jié)點(diǎn)集，當(dāng)且僅當(dāng)進(jìn)程Pi等待一個(gè)被進(jìn)程Pj占用的資源時(shí)，邊(Pi, Pj)存在于圖中。資源(resources)分類 根據(jù)資源性質(zhì)：可剝奪資源(搶占)和不可剝奪資源可搶占資源：指資源占有進(jìn)程雖然需要使用該資源，但另一個(gè)進(jìn)程卻強(qiáng)行把資源從占有者進(jìn)程處搶來。不可搶占資源：指只有占用者進(jìn)程不再需要使用該資源而主動(dòng)釋放資源外，其它進(jìn)程不得在占有者進(jìn)程使用資源過程中強(qiáng)行搶占。 可搶占資源如：CPU、主存、硬盤，該類資源可為多個(gè)進(jìn)程共享（可

2、搶占） 不可搶占資源如：打印機(jī)、讀卡機(jī)，磁帶驅(qū)動(dòng)器，該類資源可為某個(gè)進(jìn)程獨(dú)享（不可搶占）資源分類 根據(jù)使用方式：共享資源和獨(dú)享資源 根據(jù)使用期限：永久資源和臨時(shí)性資源永久資源是可順序重復(fù)使用的資源臨時(shí)性資源是由一個(gè)進(jìn)程產(chǎn)生，被另外一個(gè)進(jìn)程使用短暫時(shí)間之后便無用的資源。產(chǎn)生死鎖的原因 競爭資源。當(dāng)系統(tǒng)中供多個(gè)進(jìn)程所共享的資源 ，不足以同時(shí)滿足它們的需要時(shí)，引起它們對(duì)資源的競爭而產(chǎn)生死鎖。 進(jìn)程推進(jìn)的順序不當(dāng)。進(jìn)程在運(yùn)行過程中，請(qǐng)求和釋放資源的順序不當(dāng)，導(dǎo)致進(jìn)程的死鎖。競爭資源 競爭非剝奪性資源 競爭臨時(shí)性資源打印機(jī)R1磁帶機(jī)R2P1P2S1，S2，S3是臨時(shí)資源P1:Release(S1);Re

3、quest(S3)P2:Release(S2);Request(S1)P3:Release(S3);Request(S2)不可能發(fā)生死鎖P1:Request(S3) ; Release(S1)P2:Request(S1) ; Release(S2)P3:Request(S2) ; Release(S3)可能發(fā)生死鎖死鎖問題一實(shí)例：哲學(xué)家問題哲學(xué)家筷子盤子哲學(xué)家1號(hào)哲學(xué)家5號(hào)哲學(xué)家4號(hào)哲學(xué)家2號(hào)哲學(xué)家3號(hào)15324未就餐時(shí)示意圖未就餐時(shí)示意圖哲學(xué)家1號(hào)哲學(xué)家4號(hào)哲學(xué)家2號(hào)哲學(xué)家3號(hào)15324哲學(xué)家5號(hào)先拿左,拿到后再拿右,成功后進(jìn)餐.吃完后先放左再放右.雖可保證不會(huì)有相鄰的同時(shí)進(jìn)餐,但可能死鎖,

4、如動(dòng)畫所示.此時(shí)沒有一個(gè)哲學(xué)家可以完成進(jìn)餐.哲學(xué)家1號(hào)哲學(xué)家4號(hào)哲學(xué)家2號(hào)哲學(xué)家3號(hào)15324哲學(xué)家5號(hào)此時(shí)5號(hào)哲學(xué)家被禁止拿筷子.1號(hào)哲學(xué)家拿起他右邊即5號(hào)哲學(xué)家左邊的筷子.1號(hào)哲學(xué)家開始進(jìn)餐,完成后放下筷子,其它哲學(xué)家開始進(jìn)餐哲學(xué)家1號(hào)哲學(xué)家4號(hào)哲學(xué)家2號(hào)哲學(xué)家3號(hào)哲學(xué)家5號(hào)設(shè)1號(hào)進(jìn)餐,則3,4兩位哲學(xué)家可以拿筷子1號(hào)進(jìn)餐完畢,放下筷子,先左后右.1號(hào)放下左邊筷子的同時(shí),3號(hào)可拿起右邊筷子3號(hào)開始進(jìn)餐,同時(shí)1號(hào)放下右邊的筷子此時(shí)4號(hào)條件不再滿足,放下筷子.此時(shí)5號(hào)條件滿足,可在下一時(shí)鐘周期拿左筷子哲學(xué)家4號(hào)哲學(xué)家1號(hào)哲學(xué)家2號(hào)哲學(xué)家3號(hào)1524哲學(xué)家5號(hào)這種方法將出現(xiàn)1,2號(hào)哲學(xué)家單鍵1號(hào)

5、筷子,3,4號(hào)哲學(xué)家競爭3號(hào)筷子的情況.而5號(hào)沒有人與他競爭,得到左邊的筷子若4號(hào)在與3號(hào)的競爭中得到筷子,則與5號(hào)競爭4號(hào)筷子.無論無論4號(hào)號(hào)5號(hào)誰號(hào)誰得到得到4號(hào)筷子號(hào)筷子,都都有一個(gè)可以進(jìn)餐有一個(gè)可以進(jìn)餐若4號(hào)在與3號(hào)的競爭中沒有得到筷子,則5號(hào)得到4號(hào)筷子,進(jìn)餐死鎖問題一條件 死鎖發(fā)生的充要條件 互斥：一個(gè)資源在同一時(shí)刻不能被共享； 占有并等待：必然有一個(gè)進(jìn)程占用了至少一個(gè)資源，同時(shí)在等待獲得被其它進(jìn)程占用的資源； 不可剝奪：已占用的資源不能被剝奪 循環(huán)等待：等待圖中有一個(gè)回路 死鎖的形式 AND條件：當(dāng)進(jìn)程獲得所有所需的資源后才能繼續(xù)執(zhí)行 OR條件：當(dāng)進(jìn)程至少獲得一個(gè)所需的資源后才能

6、繼續(xù)執(zhí)行 P-out-of-Q：進(jìn)程同時(shí)請(qǐng)求Q個(gè)資源但至少獲得P個(gè)之后才能繼續(xù)執(zhí)行處理死鎖的策略死鎖的避免 動(dòng)態(tài)檢查資源的分配情況，只有在結(jié)果狀態(tài)是安全的情況下，才將資源分配給進(jìn)程；在分布式系統(tǒng)中實(shí)現(xiàn)的開銷較大 銀行家算法：至少總可以滿足一個(gè)客戶的要求 銀行共有資金800萬：A的余額是600萬，B的余額是400萬，C的余額是500萬；A要求一次提走300萬，B要求一次提走200萬，C要求一次提走100萬，假設(shè)客戶在存款后會(huì)立即重新全額存入。 當(dāng)以上提款要求被滿足后，銀行當(dāng)前存款余額還剩200萬。這時(shí)，A、B和C均要求提取剩余款，則服務(wù)次序BCA是安全的，其他的服務(wù)順序或上述條件的違反都可能導(dǎo)致

7、不安全的結(jié)果狀態(tài)。死鎖避免的方法 死鎖避免，即動(dòng)態(tài)檢查資源狀態(tài)，以保證沒有循環(huán)等待發(fā)生。 在集中式系統(tǒng)中，銀行家算法是死鎖避免的一個(gè)經(jīng)典算法。 基于Petri網(wǎng)的死鎖避免方法適合應(yīng)用在分布式系統(tǒng)中。基于Petri網(wǎng)的死鎖避免方法步驟1)給出描述特定系統(tǒng)的模型2)得到相應(yīng)的Petri網(wǎng)的可達(dá)樹3)由可達(dá)樹確定死鎖狀態(tài)4)根據(jù)死鎖狀態(tài)，找到所有的臨界狀態(tài)和它們的抑制變遷。Petri網(wǎng)描述的狀態(tài) 安全狀態(tài)：包括臨界狀態(tài)和非臨界狀態(tài) 不安全狀態(tài)：包括死鎖狀態(tài)和死鎖邊界狀態(tài) 臨界狀態(tài)：如果一個(gè)狀態(tài)接近死鎖狀態(tài)但是仍可以到達(dá)其他不導(dǎo)致死鎖的狀態(tài)。 非臨界狀態(tài)：如果在某個(gè)狀態(tài)下總不會(huì)到達(dá)死鎖狀態(tài)，則稱該狀態(tài)

8、為非臨界狀態(tài)。 死鎖狀態(tài)：導(dǎo)致死鎖的不安全狀態(tài)稱為死鎖狀態(tài) 死鎖邊界狀態(tài)：可能導(dǎo)致死鎖的不安全狀態(tài)稱為死鎖邊界狀態(tài)。 死鎖的圖論模型死鎖的圖論模型 可以用圖模型來表示死鎖，表示死鎖的圖模型有兩種，一種是等待圖，另一種是資源分配圖。 在等待圖中，節(jié)點(diǎn)代表進(jìn)程，當(dāng)且僅當(dāng)進(jìn)程Pi等待一個(gè)被進(jìn)程Pj所占用的資源時(shí)，邊(Pi,Pj)存在于等待圖中，圖中的邊是有向的。 資源分配圖中的節(jié)點(diǎn)有兩種：一種是進(jìn)程節(jié)點(diǎn)，另一種是資源節(jié)點(diǎn)。每個(gè)邊是一個(gè)有序?qū)?Pi,Rj)或(Rj,Pi)，其中P代表進(jìn)程，R代表一個(gè)資源類型。邊(Pi,Rj)表示進(jìn)程Pi請(qǐng)求類型為Rj的一個(gè)資源，并且正在等待這個(gè)資源，一個(gè)資源類型中可能

9、有多個(gè)資源。邊(Rj,Pi)表示類型為Rj的一個(gè)資源已經(jīng)分配給進(jìn)程Pi。由于等待圖假定一個(gè)資源類型中只有一個(gè)資源，所以資源分配圖是一個(gè)比等待圖更加有力的工具。 死鎖的圖論模型死鎖的圖論模型 資源分配圖實(shí)例： P1 P2 P3 P1 P2 P3 (a) 不處于死鎖狀態(tài) (b) 處于死鎖狀態(tài) R1 R2 R1 R2 死鎖的圖論模型死鎖的圖論模型 資源分配圖到等待圖的轉(zhuǎn)化：(1)在資源分配圖中找到一個(gè)未被處理的資源R。如果所有的資源都已經(jīng)處理，轉(zhuǎn)向步驟3。(2)從這個(gè)資源R的每個(gè)輸入進(jìn)程節(jié)點(diǎn)到每個(gè)輸出進(jìn)程節(jié)點(diǎn)之間加一條有向邊。一個(gè)資源的輸入進(jìn)程節(jié)點(diǎn)是等待這個(gè)資源的進(jìn)程節(jié)點(diǎn)，一個(gè)資源的輸出進(jìn)程節(jié)點(diǎn)是占

10、有這個(gè)資源的進(jìn)程節(jié)點(diǎn)。轉(zhuǎn)向步驟1。(3)刪除所有的資源節(jié)點(diǎn)以及相應(yīng)的邊。 死鎖的圖論模型死鎖的圖論模型 資源分配圖到等待圖的轉(zhuǎn)化實(shí)例： P4 P3 P2 P1 P5 R5 R4 R3 R2 R1 P4 P3 P2 P1 P5 (a) 資源分配圖 (b) 等待圖 處理死鎖的策略處理死鎖的策略可以使用PAID來概括死鎖處理的各種方法：預(yù)防(P Prevent)、避免(A Avoid)、忽略(I Ignore)和檢測(cè)(D Detect) 。預(yù)防死鎖。通過限制請(qǐng)求，保證四個(gè)死鎖條件中至少有一個(gè)不能發(fā)生，從而預(yù)防死鎖。避免死鎖。如果資源分配會(huì)導(dǎo)致一個(gè)安全的結(jié)果狀態(tài)，就將資源動(dòng)態(tài)地分配給進(jìn)程。如果至少有一

11、個(gè)執(zhí)行序列使所有的進(jìn)程都能完成運(yùn)行，那么這個(gè)狀態(tài)就是安全的。 忽略死鎖。忽略死鎖是UNIX常采用的一種方法，這種方法只是簡單地忽略死鎖問題。 1) 檢測(cè)死鎖和從死鎖中恢復(fù)。允許死鎖發(fā)生，然后發(fā)現(xiàn)并解除死鎖。 分布式系統(tǒng)處理死鎖的策略 基于死鎖預(yù)防的策略 基于死鎖檢測(cè)的策略 分布式系統(tǒng)死鎖的特點(diǎn)：由于信息散布在多臺(tái)機(jī)器上，死鎖難以檢測(cè)和處理。分布式系統(tǒng)預(yù)防死鎖的方法要求進(jìn)程在開始執(zhí)行前就已經(jīng)獲得了所有了所有需要的資源。 所有資源都被唯一編號(hào)，進(jìn)程必須按資源編號(hào)單調(diào)申請(qǐng)。 進(jìn)程具有優(yōu)先級(jí)編號(hào)，優(yōu)先級(jí)低的首先放棄資源。 為了提高公平性，進(jìn)程的優(yōu)先級(jí)可以動(dòng)態(tài)變化。用預(yù)防策略解決哲學(xué)家問題 基于資源編號(hào)

12、：所有哲學(xué)家均要先拿編號(hào)大的叉子，再拿編號(hào)小的叉子，在沒有獲得大編號(hào)的叉子前，即使編號(hào)小的叉子沒有被占有，也不允許使用。 基于進(jìn)程編號(hào)：優(yōu)先級(jí)高的哲學(xué)家可以等待優(yōu)先級(jí)低的哲學(xué)家的叉子，反之不然。即當(dāng)一個(gè)哲學(xué)家發(fā)現(xiàn)自己在等待另一個(gè)比自己有更高優(yōu)先級(jí)的哲學(xué)家的資源時(shí)，他必須放棄已經(jīng)控制的叉子。 基于時(shí)間戳的死鎖預(yù)防方法基于時(shí)間戳的死鎖預(yù)防方法等待死亡方案(wait-die scheme)。該方案是基于非剝奪方法。當(dāng)Pi要使用Pj正在使用的資源時(shí)，如果當(dāng)Pi比Pj老，則Pi等待Pj的結(jié)束(舍不得)；否則Pi回卷(不要了)。例如：假定進(jìn)程p1，p2和p3分別有時(shí)間戳5，10和15，若p1申請(qǐng)已由p2占

13、有的資源，p1就等待；如果p3申請(qǐng)已由p2占有的資源，p3就被撤離。 2）傷害等待方案(wound-wait scheme)。它是一種基于剝奪的方法。當(dāng)Pi要使用Pj正在使用的資源時(shí)，如果當(dāng)Pi比Pj新，則Pi等待Pj的結(jié)束；否則Pj回卷(尊老)。 例如：假定進(jìn)程p1，p2和p3分別有時(shí)間戳5，10和15，如果p1申請(qǐng)已由p2占有的資源，那么該資源從p2手中搶占，而且p2被撤離；如果p3申請(qǐng)已由p2占有的資源，則p2就等待。 等待-死亡預(yù)防方案圖示等待-死亡方案例題 例題：根據(jù)表1描述的5個(gè)進(jìn)程的優(yōu)先級(jí)及請(qǐng)求時(shí)間等信息，用等待-死亡方案畫出時(shí)間軸上5個(gè)進(jìn)程執(zhí)行的時(shí)間和先后順序。并說明進(jìn)程之間的

14、等待關(guān)系。進(jìn)程標(biāo)識(shí)優(yōu)先級(jí)第一次請(qǐng)求時(shí)間/h時(shí)間長度/h重試時(shí)間/hP12111P211.521P342.122P453.311P534.023P4P2P1P5P3P1P2等待P3殺死P4殺死321451.0 1.52.13.3P54.1P3殺死傷害-等待預(yù)防方案圖示 基于時(shí)間戳的預(yù)防死鎖方法基于時(shí)間戳的預(yù)防死鎖方法圖例說明：假設(shè)P1的時(shí)間戳小于P2的時(shí)間戳 P1 P2 R1 R2 (a) 年輕者請(qǐng)求年長者 占有的資源 P1 P2 R1 R2 (b) 年長者請(qǐng)求年輕者 占有的資源 P1 P2 R1 R2 (c) 年輕者請(qǐng)求年長者占有的資源， 同時(shí)， 年長者請(qǐng)求年輕者占有的資源 基于時(shí)間戳的死鎖預(yù)

15、防方法基于時(shí)間戳的死鎖預(yù)防方法 兩種方案的區(qū)別： 在“等待-死亡”方案中，年長的進(jìn)程必須等待年輕的進(jìn)程釋放它的資源，因此進(jìn)程越“年長”，它就越容易引起等待。與此相反，在“因傷等待”方案中，年長的進(jìn)程決不會(huì)等待年輕的進(jìn)程。 在“等待-死亡”方案中，進(jìn)程pi可能被撤離若干次。在“傷害-等待”方案中，進(jìn)程pi撤離的次數(shù)較少。集中式死鎖檢測(cè)集中式死鎖檢測(cè) 使用一個(gè)協(xié)調(diào)者來集中檢測(cè)系統(tǒng)狀態(tài)，并消除出現(xiàn)的死鎖 利用各節(jié)點(diǎn)的局部等待圖在協(xié)調(diào)者建立全局等待圖當(dāng)在局部等待圖中有新的邊被加入或刪除時(shí)修改全局等待圖協(xié)調(diào)者定期檢查局部等待圖的變化協(xié)調(diào)者認(rèn)為有必要時(shí)運(yùn)行回路檢查算法時(shí)缺點(diǎn)：如果不能保證狀態(tài)的一致性，則可

16、能會(huì)得出錯(cuò)誤結(jié)論（假死鎖） 集中式死鎖檢測(cè)集中式死鎖檢測(cè)產(chǎn)生假死鎖的圖例說明： A S R B (a)機(jī)器 0 C S T (b)機(jī)器 1 C S A R B T (c)協(xié)調(diào)者 A S R B (d)機(jī)器 0 T 集中式死鎖檢測(cè)集中式死鎖檢測(cè)產(chǎn)生假死鎖的圖例說明： C S T (e)機(jī)器 1 C S A R B T (g)協(xié)調(diào)者：假死鎖 B A S C T R B (f)協(xié)調(diào)者 分布式死鎖檢測(cè) 每個(gè)節(jié)點(diǎn)獨(dú)立進(jìn)行死鎖檢測(cè) 每個(gè)節(jié)點(diǎn)維持一個(gè)全局等待圖的拷貝 全局等待圖分解到若干個(gè)節(jié)點(diǎn)上進(jìn)行維護(hù)，需要時(shí)通過消息交換組合起來。 路徑推動(dòng)算法 在每個(gè)節(jié)點(diǎn)建立部分的全局等待圖，當(dāng)需要進(jìn)行死鎖檢測(cè)時(shí)，節(jié)點(diǎn)將

17、自己的全局等待圖向鄰接點(diǎn)進(jìn)行擴(kuò)散；接到消息的節(jié)點(diǎn)用自己的等待圖信息完善全局等待圖并進(jìn)行鄰接點(diǎn)擴(kuò)散操作，直到在某節(jié)點(diǎn)形成最終的全局等待圖并將檢測(cè)結(jié)論通知各個(gè)節(jié)點(diǎn)。 狀態(tài)比較難一致，可能依據(jù)部分等待圖來判斷分布式死鎖檢測(cè) 邊跟蹤算法：各節(jié)點(diǎn)將自己的資源需求作為探測(cè)器沿依賴關(guān)系發(fā)送出去，如果某節(jié)點(diǎn)收到自己發(fā)出的探測(cè)器，則表明存在資源依賴回路。 擴(kuò)散計(jì)算算法：當(dāng)需要檢測(cè)時(shí)，進(jìn)程向它所依賴的進(jìn)程發(fā)起詢問，并將因此而引發(fā)的各個(gè)詢問關(guān)聯(lián)成等待圖，或者通過接收應(yīng)答將圖消解，或者從中發(fā)現(xiàn)死鎖。 全局狀態(tài)檢測(cè)：通過建立一致的全局狀態(tài)圖來檢測(cè)是否有死鎖發(fā)生。等級(jí)式死鎖檢測(cè) 死鎖檢測(cè)和恢復(fù)的研究方向死鎖檢測(cè)和恢復(fù)的研

18、究方向算法正確性。通常由于報(bào)文的傳輸延遲是不可預(yù)料的，嚴(yán)格證明死鎖檢測(cè)算法的正確性有難度。算法性能。需要在信息流量(監(jiān)測(cè)和恢復(fù)算法的復(fù)雜性)和死鎖持續(xù)時(shí)間(監(jiān)測(cè)和恢復(fù)的速度)之間達(dá)成妥協(xié)。 死鎖解決。一個(gè)好而快的死鎖檢測(cè)算法可能并不能提供足夠的信息用于解決死鎖。 假死鎖。一個(gè)檢測(cè)程序不僅要滿足前進(jìn)要求，即必須在有限的時(shí)間內(nèi)發(fā)現(xiàn)死鎖，還要滿足安全要求。如果一個(gè)死鎖被發(fā)現(xiàn)，那么這個(gè)死鎖應(yīng)該是確實(shí)存在的。 死鎖概率。檢測(cè)和恢復(fù)算法的設(shè)計(jì)依賴于給定系統(tǒng)中死鎖發(fā)生的概率。 死鎖檢測(cè)算法死鎖檢測(cè)算法 ANDAND模型下的模型下的Chandy-Misra-HassChandy-Misra-Hass算法算法

19、基本思想：l在等待圖中，將探測(cè)報(bào)文(probe message)從一個(gè)進(jìn)程發(fā)送到另一個(gè)進(jìn)程。l如果報(bào)文回到發(fā)起者，那么就有死鎖存在。l探測(cè)報(bào)文包含一個(gè)三元組(i,j,k)，表示該報(bào)文是一個(gè)由進(jìn)程Pi發(fā)起的死鎖檢測(cè)報(bào)文，現(xiàn)在由進(jìn)程Pj所在的站點(diǎn)發(fā)往進(jìn)程Pk所在的站點(diǎn)。 l當(dāng)一個(gè)進(jìn)程接收到一個(gè)探測(cè)報(bào)文時(shí)，如果該進(jìn)程正在等待某個(gè)(或某些)進(jìn)程，它將向某個(gè)(或某些)等待的進(jìn)程轉(zhuǎn)發(fā)探測(cè)報(bào)文。 v死鎖檢測(cè)的實(shí)例死鎖檢測(cè)的實(shí)例ANDAND模型下的模型下的Chandy-Misra-HassChandy-Misra-Hass算法圖例說明：算法圖例說明： P1 P2 P3 P4 P5 P6 P7 站點(diǎn) A 站點(diǎn)

20、B 站點(diǎn) C (1,2,3) (1,3,7) (1,5,6) (1,6,1) (1,1,2) (1,3,4) (1,4,5) v死鎖檢測(cè)的實(shí)例死鎖檢測(cè)的實(shí)例ANDAND模型下的模型下的Chandy-Misra-HassChandy-Misra-Hass算法中打破死鎖方法：算法中打破死鎖方法： 如果檢測(cè)到死鎖，則由探測(cè)報(bào)文的發(fā)起者殺死自己。存在問題：當(dāng)有多個(gè)進(jìn)程同時(shí)檢測(cè)到同一個(gè)死鎖時(shí)，與同一個(gè)死鎖有關(guān)的多個(gè)進(jìn)程會(huì)被殺死。解決方法：每個(gè)收到探測(cè)報(bào)文的進(jìn)程將自己的標(biāo)識(shí)符附加到探測(cè)報(bào)文的后面，當(dāng)探測(cè)報(bào)文回到發(fā)起者進(jìn)程時(shí)，發(fā)起者進(jìn)程選取一個(gè)具有最大標(biāo)識(shí)符號(hào)碼的進(jìn)程殺死，即使有多個(gè)進(jìn)程同時(shí)檢測(cè)到同一個(gè)死鎖，它們也會(huì)選擇殺死同一個(gè)進(jìn)程。 v死鎖檢測(cè)的實(shí)例死鎖檢測(cè)的實(shí)例OROR模型下的模型下的Chandy-Misra-HassChandy-Misra-Hass算法算法 使用兩類報(bào)文：(query,i,j,k)和(reply,i,j,k)，表示這些報(bào)文屬于由進(jìn)程Pi發(fā)起的并由Pj送往Pk的擴(kuò)散計(jì)算。 如果接收進(jìn)程Pk是活動(dòng)的，它會(huì)忽略所有的查詢和回答報(bào)文。如果它被阻塞，它會(huì)向它的依賴集合中的進(jìn)程發(fā)送查詢。 發(fā)起者的每個(gè)