要約
スレッドの同期機構としてのモニター機能を提供するクラスです。また同じスレッドから何度も lock できる Mutex としての機能も提供します。
モニターとは、一つの Mutex とそれに関連付けられた複数の条件変数から構成された、スレッドの同期機構です。 Mutex と 条件変数によって同等の機能を実現することは可能ですが、モニタの利点はライブラリがその関連を保証していることです。
monitor は以下のような Thread::Mutex としての機能も提供します。
- lock の持ち主がスレッドである Mutex / 何度も lock できる Mutex
- lock したスレッドを Mutex 側が覚えていて
- そのスレッドがもう一度 lock しようとしてもブロックしない
- synchronize は lock していなかったら通常どおり、 自分が lock していたら ただ yield するだけ (lock/unlockもしない)
- unlock はそのスレッドだけができる
よりプリミティブな同期機構として、 Thread::Mutex、Thread::ConditionVariable も参照してください。
参照
クラス
| Monitor | スレッドの同期機構としてのモニター機能を提供するクラスです。また同じスレッドから何度も lock できる Mutex としての機能も提供します。 |
| MonitorMixin::ConditionVariable | MonitorMixin と Monitor のための条件変数クラスです。 MonitorMixin#new_cond が返します。ユーザが MonitorMixin::ConditionVariable.new を直接呼ぶことはありません。 |
モジュール
| MonitorMixin | スレッドの同期機構としてのモニター機能を提供するモジュールです。 |