作者NTUmaki (西木野真姬)
看板Grad-ProbAsk
標題[理工] 作業系統 Claim edge
時間Wed Aug 5 20:25:34 2020
想請問一下 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://webptt.com/m.aspx?n=bbs/Grad-ProbAsk/M.1596630336.A.0C0.html
1F：推 glay2100: 假設P1對資源(A, B, C)的需求是(1, 1, 0) 08/05 22:35
了解了
2F：→ glay2100: 那P1對資源A, B就有claim edge(我的理解) 08/05 22:36
3F：→ glay2100: 而如果P_i對R_i提出申請但沒有claim edge，意思就是之前 08/05 22:37
4F：→ glay2100: P_i根本不需要R_i，但你卻提出申請，所以系統判定不合理 08/05 22:37
5F：→ glay2100: ，所以終止P_i，以避免Deadlock 08/05 22:38
6F：→ glay2100: 然後我記得claim edge的出現是因為要簡化RAG 08/05 22:40
7F：→ glay2100: (前提是每一類型的資源都是single-instance) 08/05 22:42
※ 編輯: NTUmaki (27.52.130.94 臺灣), 08/07/2020 18:31:03