Re: [理工] [OS] 99交大資聯 作業系統 第六題

[gensim (...)]

※ 引述《kopojen (kopojen)》之銘言：
: 題目:99交大資訊聯招 作業系統第六題
: http://farm5.static.flickr.com/4003/4438833148_4422802d88_b.jpg
: 個人覺得D選項怪怪的似乎也對
: 理由:
: 如果把R1的資源數量增加到2
: 則至少有一個R1的資源會分配給P2或是P3(不失一般性假設分給P2)
: 這樣就可以保證P2會完成任務並且釋出資源R2
: 接下來P3一定也可以拿到足夠的資源(R1與R3)開始工作
: 完成後也會釋出所持有資源
: 總之P2和P3完成後會釋出R2和R3
: 就可以給P1使用
: 因此就不會有Deadlock發生
: 所以我覺得此題答案應該是C和D都對
: 請高手指點
這樣說好了...
不失一般性...  假設P2要2個R1,P3要1個R1
先來看C選項
若我們刪掉了P1, 那P3就可以完成了, 但P2依然不能
但P2不能完成的原因在於deadlock嗎?
當然不是的, 因為它連cycle都沒有嘛..
頂多只能說他要求過多的R1

但若是D選項呢?
你把R1增加成2個,P3那個cycle是消除了
但P2的呢? 還是存在吧
這樣說你同意嗎?


--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 120.114.53.83
推 assassin88:既然是假設，那我也可以假設P2跟P3都只需要一個R1阿，
→ assassin88:況且題目也沒著名P1~3需要幾個資源，只寫資源皆single
→ assassin88:如果你硬要說，那就選最佳解，那我也無話可說。
→ gensim:我在這裡的假設是一個反例...
→ gensim:題目似乎沒明講process要幾個資源
推 assassin88:對阿 所以你的假設是根據C答案所創造出來的合理性罷了
推 kopojen:你這樣講 我是稍微可以接受
→ gensim:所以你不能說我這例子是錯的吧?
→ assassin88:那你也不能說我的例子不無可能吧？
→ kopojen:as大 傳真吧 看可不可以兩個都算對 我也有傳了
→ gensim:我沒說過你的例子是錯的
→ assassin88:你有傳遞一題嗎
→ gensim:但我們要說一句是對的總要所有的case都考慮吧
→ kopojen:第一題我對 我懶的傳 哈哈
→ kopojen:g大你這張幾分阿 感覺你思路很清楚
→ gensim:很低....55而已....第一題我怎麼想都覺得是B
→ keepoo:這題雖然我也對 但是我20.5 XD
推 caesar0929:K大躺著當交大榜首!
推 kopojen:哀 難道這第六題就沒有機會是D了嗎
→ keepoo:我是用他們是不是依舊存在四個條件來看
→ keepoo:C.砍掉P1,則P2、P3沒有循環等待
→ keepoo:D.假設P2、P3其中一個完成,P1依舊和另一個存在死結可能
推 abcde1499:第一題我也寫b...
→ keepoo:第一題的b.應該是ready狀態吧@@?
推 kopojen:呵呵 我也覺得B是陷阱 他是要READY才對
推 sa074463:我對OS第一題有點疑問 他說SRF會最小 那SRJF呢?
推 kopojen:可是你講的那個也包含在SJF吧 廣義一點來說的話
→ fscnick:D 如果P2或P3其中一個完成，應該會釋出資源讓另一個也可以
→ fscnick:完成，接著R2 R3就可以分配給P1，P1也可以完成
推 abcde1499:感謝兩位k大...好像真的是陷阱...5.5分啊!!!
→ keepoo:題目並沒有說做完一定會釋出呀
推 kopojen:挖 怎連不一定釋出這種理由都說得出口阿 是在戰答案??
→ keepoo:不是啦 就看看有沒有那個答案的「可能」罷了啊...