Please enable JavaScript.

Coggle requires JavaScript to display documents.

Ch6 同步 (生產者/消費者問題 (無限緩衝unbounded buffer, 有限緩衝bounded buffer,…

- - - - binary semaphore (0和1)
      - counting semaphore (整數)
- - - - 當沒有 process 要在 critical-section 中執行時，不能阻擋其他想要進入 critical section 工作的 process 進入 critical-section，要選擇其中一個候選 process 進入 critical-section，不能空在那邊。
    - - 等待 critical-section 的時間，不能是無窮大的時間，是有個界線
    - - 不會有兩個 process 同時間在 critical-section 中工作