想请问一下 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)