モニタ

monitor

外部からモニタ内のリソースに直接アクセスすることはできない

アクセスの有無はコンパイル時に検証可能

だが、完全ではないらしい

モニタの構成

table:monitor

method 1 リソース

method 2 待ち行列

method 3 内部データ、コード群

method 4 初期化コード、終了時コード

これらのmethodは排他的に実行される

モニタ内に排他制御に関する処理が書かれてあるため、モニタを利用する側は排他制御を気にしなくていい

言語例

synchronized