[理工] 作業系統 Claim edge

[NTUmaki (西木野真姬)]

想請問一下 Claim edge 到底是什麼？
定義寫 process 未來可能會對資源提出申請 就會畫虛線代表 claim edge

不太懂未來會提出申請是怎麼樣的概念？

-

然後檢查 deadlock 的步驟也不太懂

假設P_i對R_i提出申請

先看他們有沒有claim edge 如果沒有就終止改process

為什麼沒有claim edge就要終止？


-----
Sent from JPTT on my iPhone

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.52.130.94 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1596630336.A.0C0.html
推 glay2100: 假設P1對資源(A, B, C)的需求是(1, 1, 0)
了解了
→ glay2100: 那P1對資源A, B就有claim edge(我的理解)
→ glay2100: 而如果P_i對R_i提出申請但沒有claim edge，意思就是之前
→ glay2100: P_i根本不需要R_i，但你卻提出申請，所以系統判定不合理
→ glay2100: ，所以終止P_i，以避免Deadlock
→ glay2100: 然後我記得claim edge的出現是因為要簡化RAG
→ glay2100: (前提是每一類型的資源都是single-instance)
※ 編輯: NTUmaki (27.52.130.94 臺灣), 08/07/2020 18:31:03