河野真治 @ 琉球大学情報工学です。

In article <YAS.03Aug5040040@kirk.is.tsukuba.ac.jp>, yas@is.tsukuba.ac.jp (Yasushi Shinjo) writes
> 並行オブジェクト指向みたいに、１オブジェクト１スレッドにして、
> イベントはスレッドが好きな時に取りに行くようにすれば、どうで
> しょうか。

そんなに嫌いじゃないんですけどね。実際やってみると、オブジェ
クト単位で低レベルの並列制御をするようになっちゃうんだよな。
Bounded Buffer とか Condition Variable とかを書いてみようと
すると、そんなことになります。オブジェクトとかメッセージとか
に順序が入ってないのでDead Lockしまくるし。

> シングルスレッドにして同期を「書かない」と同期の抽象化をあげ
> るは、ちょっと違うかなあ。

シングルスレッドは、同期をかかないんじゃなくて、同期以外のも
のを書いているんでしょ? 同期は同期で、thread of control とか
compuational data flow とかとは別なものを書いているんだよね。

> プログラム変換。。。ちょっとイメージがつかめません。
> 並列プログラムの自動生成ならイメージできるんだけど。

ま、そんなものだ。

スケジューラを自分で書けないようなものだと同期を抽象化するこ
とはできないんだと思います。なので単純な並行オブジェクト(ア
クターみたいなやつ)はだめなんだと思う。

---
Shinji KONO @ Information Engineering, University of the Ryukyus, 
              PRESTO, Japan Science and Technology Corporation
河野真治 @ 琉球大学工学部情報工学科, 
           科学技術振興事業団さきがけ研究21(機能と構成)