Please enable JavaScript.
Coggle requires JavaScript to display documents.
deadlock 及處理方式 (定義及成立的 4個必要條件 (形成的4個必要條件 (hold and wait, no preemption,…
deadlock
及處理方式
定義及成立的
4個必要條件
形成的4個必要條件
hold and wait
no preemption
mutual exclusion
circular wait
例子
定義
與starvation比較
resources allocation graph(資源分配圖)
處理方式
deadlock avoid
(避免)
banker's algo 之time complexity分析
利用R.A.G搭配chain
safe states
定理
banker's algo.
safety algo.
定義
detection recovery
(偵測&恢復正常)
2種方法
利用wait-for graph
deadlock prevention
(預防)
ignores deadlock，
不處理
圖型應用
R.A.G.+claim edge
wait for graph
resources allocation graph(R.A.G)
定理