library monitor

要約

スレッドの同期機構としてのモニター機能を提供するクラスです。また同じスレッドから何度も lock できる Mutex としての機能も提供します。

モニターとは、一つの Mutex とそれに関連付けられた複数の条件変数から構成された、スレッドの同期機構です。 Mutex と条件変数によって同等の機能を実現することは可能ですが、モニタの利点はライブラリがその関連を保証していることです。

monitor は以下のような Mutex としての機能も提供します。

lock の持ち主がスレッドである Mutex / 何度も lock できる Mutex
- lock したスレッドを Mutex 側が覚えていて
- そのスレッドがもう一度 lock しようとしてもブロックしない
- synchronize は lock していなかったら通常どおり、自分が lock していたらただ yield するだけ (lock/unlockもしない)
- unlock はそのスレッドだけができる

よりプリミティブな同期機構として、 Mutex、Thread::ConditionVariable も参照してください。

Monitor	スレッドの同期機構としてのモニター機能を提供するクラスです。また同じスレッドから何度も lock できる Mutex としての機能も提供します。
MonitorMixin::ConditionVariable	MonitorMixin と Monitor のための条件変数クラスです。 MonitorMixin#new_cond が返します。ユーザが MonitorMixin::ConditionVariable.new を直接呼ぶことはありません。

スレッドの同期機構としてのモニター機能を提供するモジュールです。