著者

河本 達哉 井上 謙蔵

雑誌

全国大会講演論文集

巻号頁・発行日

vol.42, pp.143-144, 1991-02-25

---

並列プログラム(PP)の実現に対して共有データスペース(ダブル空間)モデルが提案された.このモデルの上で,既存の大部分の型のPPが簡明に記述できることが示されたが,本モデルはPPのデバッグにも極めて有利な環境を提供するものである.そこで本モデルの一つであるC-Lindaを用いてPPのデバッグ法を提案する.逐次型の場合とは異なり,PPのデバッグにはシステム全体を包括的にとらえるための特殊な機構が必要になる.これは既存のPPに対するデバッグ法に欠けており,本モデルではそれが可能になる.しかしデバッグ情報を得るためにモデルの拡張が必要である.