作者marvintim77 (小銘)
看板Grad-ProbAsk
標題[理工] [OS] Deadlock
時間Fri Mar 18 21:23:02 2011
Consider a system consisting of M resource of the same type
that are shared by K process,each of whick needs at most N resources.
What is the maximum value of K that keeps the system deadlock free?
以下是我寫的
若系統為deadlock free 則 1 <= N <= M 必成立
i=1~K 西格碼 Maxi < K+M
N‧K < K+M
K < K+M/N
請問這樣寫對嗎?
可以這樣寫嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.39.62.118
→ privatewind:答案是ok的 如果你要求完整性 大概要用鴿籠原理去證內 03/18 21:29
→ aoqq12:恩要證明才行 不然應該不怎麼會給分 03/18 22:12
→ DavyBlue:用鴿籠也不用多寫幾個字 寫完整一點比較好 03/18 22:34
→ marvintim77:要證什麼? 證那兩個條件是成立的嗎 03/19 00:17
→ privatewind:i=1~K 西格碼 Maxi < K+M 03/19 01:32