ペトリネットによる並列プログラムの動作解析に関する一考察

スポンサーリンク

概要

論文の詳細を見る
最近、並列計算機の普及に従い、並列プログラムの開発支援の必要性が論じられ、また研究が盛んに行われている。筆者らは、その開発支援環境構築の一環として、並列プログラムの動作評価である動的解析及び静的解析の研究を行っている。並列プログラム(ここではプログラミング言語としてGHCをとりあげる)はその特性として、計算が並列に進行し、それらが互いに干渉し合い、また実行順序に再現性がないので、デバッグが非常に困難であると言われている。そこで、実行前に、できるだけ多くのバグを取り除き、かつプログラムの性質を抽出しておくことは、実行時のデバッグに対する負荷を軽減することになる。今回は、非同期並行系システムのモデル化に適していると言われているペトリネットを利用したGHCプログラムの静的解析について報告する。
1990-03-14

著者

関連論文

もっと見る

スポンサーリンク