From: Kazuhisa YANAGAWA <katze@...>
Date: 1998-02-27T10:26:18+09:00
Subject: [ruby-list:6799] Re: Mutex/ConditionVariable/Queue

In message <199802261520.AAA18702.keiju@cupmail0.rational.com>
keiju@Rational.Com (=?ISO-2022-JP?B?GyRCQFBETTc9PHkbKEI=?= ) writes:

> さらに, ConditionVariable.newでmutexを渡すようになっていますが, 外部か
> ら渡した方が良いんですかね? 勝手に必要がないとしてinitializeの中に組み
> 込んでみました.

  ....ふつうそれって, 状態変数とは言いませんよね. なんだろう? 一つのオ
  ブジェクトで複数の状態を持つこともできなくなりそうな.

  # と, 後のソースを見て思った. だって状態変数で synchronize してるし.
  # なんだろう? conditional critical region の前処理と後処理?

  ここまでするなら Mutex を使うのもやめてしまうのもありかと.

  # Queue を使う. 実行権の受渡しという形で相互排除を実装する. 多分ちゃ
  # んとできるし, 複数の waiting queue 間に優先順位をつけるのも簡単....
  # だと思う.

> class ConditionVariable
>   class ConditionMutex
>     :
>   end

  class ConditionMutex <Mutex ?

  SizedQueue の状態はやっぱり empty と full を別に持つものだと思う....
  いや, 同じでも動けばいいんですけど. でも普通, 例に出て来る有界バッファ
  のコードでは状態を分けてあります.

  # こないだの actor.rb のサンプルでもわけてありますし. でも actor は
  # めんどくさい.... act++ 風の behavior abstraction はどうだろう? 実
  # 際, monitor や semaphore 同様の完全な記述力が必要な場合っていうの
  # はユーザプログラムではあんまり無いのではなかろうか?

======================================================================
  柳川 @ 情報システム学研究科 . 電気通信大学
  katze@yuba.is.uec.ac.jp                          February 27, 1998
絶対に負けない方法を教えてあげよう....戦わないことだ