我想問的是
死結成立的4個條件:1.mutual exclusion
2.hold & wait
3.no preemption
4.circular waiting
到底是"必要"條件or"充要"條件??
恐龍原文7版是寫"必要條件"而系統同時滿足這些條件"can"arise..
(can的意思絕對跟must/will不同，但這裡不確定課本要表達的@@)
而洪X上課還特別強調都滿足不一定會Deadlock..
但我沒印象他說用什麼來證明~
有請神人解釋?
ps.來源題目97交大資聯OS第2-(3)http://ppt.cc/EP_E (題目寫"will arise")
到底要選誰?! 尤其是A和B
--
崇尚自由
http://www.wretch.cc/blog/steven780122
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 111.184.251.73
※ 編輯: cutesteven 來自: 111.184.251.73 (01/28 00:17)