Next: Up: Previous:

望ましい保証並列性

この例では, 子のノードへの再帰呼び出しをすると すぐに, そのノードは安全に続くメソッド起動を 受け入れることができる. なぜならそのノードは もはやそのインスタンス変数を書き換えないからである. 一般に, 現在のメソッドがそのオブジェクトに 対して最後の更新を行なったらすぐに ひき続くメソッドを並列にスケジュールすることは安全である.

望ましい並列性のサポートは一連の書き込みメソッドの間の パイプライン化された並列性である. つまり, 現在のメソッドがそのメソッド内で 最後の更新を行なったらすぐに, システムはひき続くメソッドがスケジュールされる ことを保証しなければならない. この特徴は並列オブジェクトの実装にまったく複雑さを与えない. 少なくとも一つの mutex が並列オブジェクトにつけられるならば, 我々が保証しなければならないのは最後の更新が 行なわれたらすぐにアンロックすることである.



Mitsubishi Research Institute,Inc.
Mon Feb 24 19:24:01 JST 1997