Monitor

Introduction

Monitor 是 high-level synchronization construct，把 shared data 與操作它的 functions 包在同一個 ADT，並保證同一時間只有一個 process active inside the monitor。

它把 synchronization rule 放進 language / ADT，減少手寫 semaphore protocol 時的順序錯誤。

Monitor 的 mutual exclusion 只保證同時只有一個 process 在 monitor 內；若 process 需要等待某個 condition，使用 condition variable。

condition x, y;

主要操作：

x.wait();
x.signal();

Condition variable 的 signal 不會累積；semaphore 的 signal 會改變 value。

若 P 在 monitor 內 x.signal()，而 Q 被喚醒，monitor 不能讓 P 和 Q 同時 active。