作者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/cn.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