想請問一下 Claim edge 到底是什麼？
定義寫 process 未來可能會對資源提出申請 就會畫虛線代表 claim edge
不太懂未來會提出申請是怎麼樣的概念？
-
然後檢查 deadlock 的步驟也不太懂
假設P_i對R_i提出申請
先看他們有沒有claim edge 如果沒有就終止改process
為什麼沒有claim edge就要終止？

假設P1對資源(A, B, C)的需求是(1, 1, 0)那P1對資源A, B就有claim edge(我的理解)而如果P_i對R_i提出申請但沒有claim edge，意思就是之前P_i根本不需要R_i，但你卻提出申請，所以系統判定不合理，所以終止P_i，以避免Deadlock然後我記得claim edge的出現是因為要簡化RAG(前提是每一類型的資源都是single-instance)