作業系統Ch6: Process Synchronization
Background
<font color = red>Concurrent</font> access to 共享 data 導致 data inconsistency
維護 data consistency 需要確保按順序地執行 cooperating processes 的機制。
Consumer & Producer Problem
決定是否 buffer 是空的或滿的過去: use <font color = red>in, out</font> position
現在: use <font color = red>counter</font>