CSPプログラムのデバッギングに対する実行時支援

情報処理学会

書誌事項

タイトル別名
  • On-the-fly Support for CSP Program Debugging

この論文をさがす

抄録

並行プログラミングに関する研究は以前から進められ,並行プログラム記述用言語として様々なものが提案され実現されてきた.しかし並行プログラムは,プロセス間相互作用の時間依存性・非決定性という逐次プログラムとは本質的に異なる性質を有する.プログラムの動作は各プロセスの実行速度に左右され得るから,プログラマはこの性質に留意しつつプログラミング・デバッギングを行わなければならず,並行ソフトウェアの開発は逐次言語に比して困難である.筆者らは,並行ソフトウェアの生産性を向上させるには充実した開発環境が必要であると考え,並行ソフトウェア開発支援環境に関する研究を行ってきた.本稿では,プロセス間相互作用に関する論理的な時間順序関係を定義,これに基づいて我々が製作するデバッガがプログラマをいかに支援するか,その方式について報告する.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ