作者privatewind (傷神客)
看板Grad-ProbAsk
標題[理工] [OS] Critical Section 的設計方法
時間Thu Feb 18 20:52:19 2010
我們知道要消除``race condition''的現象,可以用1.Monitor 2.Semophore
3. Critical region。那我的問題在於: 這些方法解決問題的能力都``一樣''嗎?
也就是說,假如現在有一個新的race condition的問題要解決(如: 晚餐問題),會
不會有Monitor可以解決,但是換用Semophore就解決不了的情況出現呢?
請各位替我解惑,謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.126.187.85
→ taitin:只要滿足互斥,Progess,bounded waiting 就可以解決 02/18 20:58
→ taitin:這幾個方法只是在硬體軟體之間有些trade off, 02/18 20:59
→ privatewind:所以解決問題的能力都一樣囉?! 02/18 21:10
→ taitin:我認為是 02/18 21:25
→ harry5438: 非常肯定 YES 因為三者可互相製作 得証 02/19 15:49