共有データ空間モデル上での並列プログラムの誤り処理法

• 河本, 達哉

• 井上, 謙藏

書誌事項

タイトル別名

• A Debugging Method of Concurrent Programs on Shared Dataspace Model
• 並列処理

抄録

よく知られているように、並列プログラムの誤りは、実行過程の再現性が乏しいため、その原因の究明が困難であり、したがって組織的に誤り原因を追及する方法にも乏しい。最近並列プログラムのモデルとして、各プロセス間のデータの授受を共有データ空間を通じてのみ行う共有データ空間モデルが考案され、それでほとんどすぺての並列プログラムを記述できることが示されている。しかし、このモデルはその性質から並列プログラムの誤り原因の追及にも有力な手段を提供するものである。本論文は、このそデルの一つであるLinda-モデルの上で実現された我々のシステムによる、並列プログラムの誤り原因発見の組織的な方法を述べるものである。

収録刊行物

• 情報処理学会論文誌

  情報処理学会論文誌 34 (8), 1792-1801, 1993-08-15

  一般社団法人情報処理学会

キーワード

• 論文

詳細情報

• CRID: 1050282812864542464
• NII論文ID: 110002722547
• NII書誌ID: AN00116647
• ISSN: 18827764
• Web Site: http://id.nii.ac.jp/1001/00014412/
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles