Re: [理工] [OS] synchronization

[Delion (你好嗎? 我很好。)]

※ 引述《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
推 jackbll:第三題 可以參考#1DGQ6xoh 感覺應該是True ?
→ ceo890710:所以是不一定會產生死結，還是一定會產生死結..?
→ ceo890710:那第二題指的block不是在ready state的意思囉..
推 jackbll:四個條件同時滿足的時候會死結 只有某2.3個滿足不會
推 ceo890710:所以題目寫同時但答案是false不就很矛盾嗎..
推 mqazz1:所以那題鼎茂出的解答本 答案是給true
推 ceo890710:謝謝樓上~那我想應該是我這邊的答案有誤..
推 kkilljeff:滿足4個條件"不一定"會產生死結 will改成can就對了