[理工] 作業系統/OS 關於critical section的問題

[thanksgive (乾溫)]

critical section的解決方法須滿足以下3個條件
1.Mutual exclusion
2.Progress
3.Bounded waiting

其中2.Progress我看到兩種定義(經我簡化後)

一種是如果沒有process在CS中執行且某些processes想進入CS，
只有那些"不在remainder section的process"可以參予決策哪個process可以進入CS
且必須在有限時間內由那些想進入的processes中挑出一個，進入CS
(from 恐龍本6th)

另一個定義一、三行一樣
差別第二行是那些"不想進入CS的process"不能參予決策
(from 網路上找到的上課投影片)

請問這兩個定義是一樣的嗎?
還是只有一個是對的呢?


謝謝大家~

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.224.223.44
※ 編輯: thanksgive      來自: 61.224.223.44        (06/06 21:54)
※ 編輯: thanksgive      來自: 61.224.223.44        (06/06 22:16)
→ Byzantin:不想進入CS的process
推 christianSK:不想進入CS的不能參與決策 跟 只有想進入(或離開)的
→ christianSK:才能決定下一個進入CS的 這兩個敘述我看來是一樣意思
→ aoqq12:一樣意思  第一個比較饒舌而已
推 liataian:兩句意思相同無誤
→ thanksgive:"不在remainder section的process"=> 是不是指還沒進CS
→ thanksgive:的哪些process呢?
推 qqoil:"不在remainder section的process"指想進入CS 但還在等待的
→ qqoil:PROCESS