モニタ（同期機構） とは？

全然違うよ！並行プログラミングのモニタは、共有データを安全に操作するための仕組みなんだ。面談室をイメージしてみて。中に入れるのは1人だけで、受付が管理してくれる。それがモニタの役割だよ

ミューテックスは「鍵」だけの仕組みだけど、モニタは「鍵＋待合室」がセットになっているんだ。例えばバッファが空のときに消費者が来たら、「データが入るまで待合室で待っていてね」と言える。これが条件変数（Condition Variable）という機能だよ

waitとsignal（またはnotify）の2つの操作があるよ。waitを呼ぶと「条件が満たされるまで待合室に入る」、signalを呼ぶと「待合室の人を1人起こす」という動作になるんだ。生産者-消費者問題の実装でよく使われるよ

その通り！Javaのsynchronizedブロックはまさにモニタの実装なんだ。すべてのオブジェクトが暗黙的にモニタを持っていて、synchronizedで排他制御、wait()とnotify()で条件同期ができるよ

モニタは1つのプロセス内でしか使えないから、複数のマシンにまたがる分散システムでは使えないんだ。あと、signalを呼んだ直後に起きたスレッドがすぐ実行されるとは限らないから、条件の再チェック（whileループ）が必要だよ

これは「スプリアスウェイクアップ」という現象があるからなんだ。signalを送っていないのにwaitから目覚めることがあるし、目覚めてからロックを取得するまでの間に別のスレッドが条件を変えてしまうこともある。だからif文ではなくwhileループで条件を再確認するのがモニタの鉄則だよ

そうだね。モニタはC.A.R.ホーアが1974年に提案した歴史ある概念で、今でもJava、C#、Pythonなど多くの言語に影響を与えているよ。セマフォより安全に書けるから、実務ではモニタベースの同期を使うことが多いんだ