並列処理環境における関数型プログラムのデバッグ方式

概要

論文の詳細を見る
関数型プログラムは,副作用の排除,記述の簡潔さ,並列処理の自然な記述などプログラム記述上優れた性質を備えている.しかし,関数型プログラムではプログラムの記述順序と演算の実行順序が一致せず,しかも並列処理環境下では実行制御の流れが多数存在するので,従来のデバッグ法を用いてバグを検出するのは困難である.また,関数型プログラムを並列実行するデータフローマシンでは,スタックやメモリの概念が排除されているので,トレースやメモリタンプなど従来のデバッグ手法をそのまま使うことはできない.本稿では,このような問題を解決するため,関数型プログラムを並列実行させるシステムでの新しいプログラムデバッグ法を提案し,その実現法について述べる.この方式の特徴は,(1)変数や関数の相互のデータ依存関数を双方向に検索する演算を基本操作とし,プログラマがデータ発生に関する時間的要因と空間的要因を考慮せずにデバッグを進められること,(2)上記演算を用いた射影グラフ最小化法と呼ぶバグ検出アルゴリズムに従って,デバッガがプログラマへの質問を繰り返し,その応答を解析することによりバグを機械的,かつ効率的に検出できることの2点にある.本稿では,また,データフローマシンのプログラムデバッグシステムへの本方式の適用実験を行い,方式の有効性を明らかにする.
社団法人情報処理学会の論文
1986-04-15

並列処理環境における関数型プログラムのデバッグ方式

スポンサーリンク

概要

著者

関連論文

スポンサーリンク