[理工] [OS] Deadlock

看板Grad-ProbAsk作者 (小銘)時間15年前 (2011/03/18 21:23), 編輯推噓0(005)
留言5則, 4人參與, 最新討論串1/1
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

03/18 21:29, , 1F
答案是ok的 如果你要求完整性 大概要用鴿籠原理去證內
03/18 21:29, 1F

03/18 22:12, , 2F
恩要證明才行 不然應該不怎麼會給分
03/18 22:12, 2F

03/18 22:34, , 3F
用鴿籠也不用多寫幾個字 寫完整一點比較好
03/18 22:34, 3F

03/19 00:17, , 4F
要證什麼? 證那兩個條件是成立的嗎
03/19 00:17, 4F

03/19 01:32, , 5F
i=1~K 西格碼 Maxi < K+M
03/19 01:32, 5F
文章代碼(AID): #1DWrouV5 (Grad-ProbAsk)