Re: [理工] [OS] synchronization

看板Grad-ProbAsk作者 (你好嗎? 我很好。)時間12年前 (2011/08/31 00:04), 編輯推噓6(602)
留言8則, 4人參與, 最新討論串4/5 (看更多)
※ 引述《ceo890710 (Drinking)》之銘言: : 選擇題中的選項 : True 1. wait and signal of a counting semaphore cannot be implemented : with multiple binary semaphores. : 這題是不是因為多了個multiple所以才錯呢~那請問為什麼 : False 2. When a semaphore block a process,the process is moved to : ready state : block之後不是就把process放到waiting queue裡面嗎? : 所以是ready state吧? 我以為他會讓Process在while迴圈那裡block住!? : False 3. If the conditions of mutual exclusion,hold and wait,no preemption : ,and circular wait hold simultaneously in the system,a deadlock : situation will arise. : 滿足四個條件死結發生~所以不太清楚這錯在哪邊 : 請高手解答 謝謝 那四個條件是死結成立的四個'必要'條件 所以四個都成立也不代表產生死結,但是一個不成立就不會有死結了。 套句黃X嘉老師說的:必要條件是否定用的。 還沒有很熟,觀念有錯麻煩更正嚕! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 59.121.153.101

08/31 01:03, , 1F
第三題 可以參考#1DGQ6xoh 感覺應該是True ?
08/31 01:03, 1F

08/31 07:42, , 2F
所以是不一定會產生死結,還是一定會產生死結..?
08/31 07:42, 2F

08/31 07:43, , 3F
那第二題指的block不是在ready state的意思囉..
08/31 07:43, 3F

09/01 01:13, , 4F
四個條件同時滿足的時候會死結 只有某2.3個滿足不會
09/01 01:13, 4F

09/01 18:01, , 5F
所以題目寫同時但答案是false不就很矛盾嗎..
09/01 18:01, 5F

09/01 18:56, , 6F
所以那題鼎茂出的解答本 答案是給true
09/01 18:56, 6F

09/01 20:40, , 7F
謝謝樓上~那我想應該是我這邊的答案有誤..
09/01 20:40, 7F

09/01 20:45, , 8F
滿足4個條件"不一定"會產生死結 will改成can就對了
09/01 20:45, 8F
文章代碼(AID): #1ENGe8cI (Grad-ProbAsk)
文章代碼(AID): #1ENGe8cI (Grad-ProbAsk)