同步問題 Synchronization
The Critical Section Problem:提供對共享變數之存取的互斥控制,確保資料的正確性。
entry section
Critical section
exit section
remainder section
Mutual exclusion:任一時間點,只允許一個 process 進入他自已的 critical section 內活動。
Bound waiting:隱含 No starvation。
Progress:必須在有限的時間從想進入 critical section 的 process 中,挑選其中一個 process 進入 critical section,隱含No Deadlock。