[理工] 97交大OS deadlock crystallove PTT批踢踢實業坊

[理工] 97交大OS deadlock

作者: crystallove (Garin) 2018-01-19 18:36:41

題目:
https://i.imgur.com/bbmc1TQ.jpg
解答:
https://i.imgur.com/40V77pF.jpg
洪逸筆記:
https://i.imgur.com/ymjXFyT.jpg
四個條件成立一定會有死結嗎?
還是只是can發生
有可能不會有?
維基:
https://i.imgur.com/jJRVBhD.jpg
A deadlock situation on a resource can arise if and only if all of the followi
ng
conditions hold simultaneously in a system

作者: nO25948 (chenyuyan) 2018-01-19 19:06:00

我記得是可能會有

作者: a28238341a (小蝸) 2018-01-19 19:06:00

有可能不會有阿那只是必要條件而已

作者: a020304888a (張小台) 2018-01-19 19:56:00

will

作者: taida (taida) 2018-01-19 20:34:00

他用will是有可能發生的意思如果用must那才會錯

作者: ping780520 (ping780520) 2018-01-19 20:39:00

不會啊那是必要條件，反例像RAG圖就是了

作者: a020304888a (張小台) 2018-01-19 20:40:00

不過洪的意思感覺will等於一定會

作者: q1qip123 (wtlee) 2018-01-19 21:04:00

這大概算反例吧http://i.imgur.com/9nISEpG.jpg

作者: taida (taida) 2018-01-19 23:39:00

剛剛參考了一些解答 will是比較強烈的說法應該用can其他解答有些是給B

作者: microchianag (Sss11234 116EE) 2018-01-20 10:45:00

死結四個條件是必要條件，但不是充分條件。死結發生時，這4個條件一定也會發生。但反過來說，這4個條件發生時，不一定會有死結

作者: can18 (18號) 2018-01-20 14:54:00

答案是D 有4個條件也不一定會發生不過我覺得B也對 (答案是看參考解答

作者: q1qip123 (wtlee) 2018-01-21 00:21:00

若是signal初值為0,不就可以了？

作者: gouya (あれはいらないからでち) 2018-01-21 17:06:00

這題答案是B，題目只是要問當沒有process suspended，執行x.signal會不會有影響原文書上是這樣寫的https://i.imgur.com/jmtNaKy.jpg

繼續閱讀

[理工] 102台聯計組danny0108 [理工] 交大 101 線代第一題sliang0508 [商管] [統計]跪求交大統研基數101-105線代解答rgib37190 [理工] 離散中國餘數定理qwer911 [理工] det求算nO25948 [理工] 中興 106 離散wsp50317 [理工] 105交大資聯資演(54)kai3570 [理工] 105 中正資工乙計概Eric2213 [理工] 101 台大機率c3035281 [理工] 106交大OSGGstrikeRock