[理工] 作業系統 Claim edge

看板Grad-ProbAsk作者 (西木野真姬)時間5年前 (2020/08/05 20:25), 5年前編輯推噓1(1推 0噓 6→)
留言7則, 1人參與, 5年前最新討論串1/1
想請問一下 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
推
08/05 22:35, 5年前 , 1F
假設P1對資源(A, B, C)的需求是(1, 1, 0)
08/05 22:35, 1F
了解了
→
08/05 22:36, 5年前 , 2F
那P1對資源A, B就有claim edge(我的理解)
08/05 22:36, 2F
→
08/05 22:37, 5年前 , 3F
而如果P_i對R_i提出申請但沒有claim edge，意思就是之前
08/05 22:37, 3F
→
08/05 22:37, 5年前 , 4F
P_i根本不需要R_i，但你卻提出申請，所以系統判定不合理
08/05 22:37, 4F
→
08/05 22:38, 5年前 , 5F
，所以終止P_i，以避免Deadlock
08/05 22:38, 5F
→
08/05 22:40, 5年前 , 6F
然後我記得claim edge的出現是因為要簡化RAG
08/05 22:40, 6F
→
08/05 22:42, 5年前 , 7F
(前提是每一類型的資源都是single-instance)
08/05 22:42, 7F
※ 編輯: NTUmaki (27.52.130.94 臺灣), 08/07/2020 18:31:03
‣ 更多 NTUmaki 的文章
文章代碼(AID): #1VAgL030 (Grad-ProbAsk)