[ruby-list:14512] Re: ConditionVariable (thread.rb)

前田です。

At Tue, 25 May 1999 16:34:31 +0900,
Shin-ichiro Hara <[e-mail]> wrote:
> |本来、Thread.critical = trueとしてThread.stopするまではスケジュー
> |リングイベントが起こらないようにするべきなんです。
> |でないと、Thread.stopする前にrunを呼ばれてしまう。
> 
> そうではなくて、Thread.stop する時は排他制御されていないのが
> 問題なのでは？ Thread.critical = true しても、Thread.stop し
> たとき他に制御が移りますね。そっちでまた Thread.stop して、、
> とうとうみんな stop するのでは？

制御が移った後、どうして他のスレッドもすべてThread.stopするのですか?
むしろ、Thread.stopで他に制御が移るのは当り前で、他に制御が移らな
かったら条件が満たされることもないと思うのですが。

条件変数でwaitした時に、条件が満たされるために働いている他のスレッ
ドが存在することは、絶対的な前提条件だと思います。

> |# monitor.rbではThread.critical = trueにしてます。
> 
> monitor.rb って難しい。これの ConditionVariable で TinyQueue は
> どう書きますか？

ソースはややこしいですが、使い方はMutexとほとんど同じです。

    @mutex = Monitor.new
    @full = @mutex.new_cond
    @empty = @mutex.new_cond

あとはwaitさせるだけです。

@full.wait_while { count == @max }

> そもそも「wait(mutex) に渡す mutex とはどんなものですか？」という
> のが問題だったんですが、どう答えるのがいいのかなあ。

条件変数を「あるリソースが特定の条件を満たすのを待つ」ためのもの
と考えれば、そのリソースを保護しているmutexだと考えられるのではな
いでしょうか。

リソースとロックは一対一対応ですが、リソースと条件変数は一対他対
応なので、ロックと条件変数を一致させるのはやはり無理があると思い
ます。

-- 
前田 修吾