講演抄録/キーワード |
講演名 |
2022-03-07 14:05
並列プログラミング言語に対する契約アノテーションを用いた可逆デバッグ手法 ○池田崇志・結縁祥治(名大) SS2021-48 |
抄録 |
(和) |
本論文では,並列ブロック構造を持つプログラムに対して契約アノテーションを付加し,可逆実行によるデバッグ手法とデバッガの実現を示す.契約プログラミングを用いて契約アノテーションを追加し,問題のある範囲を可逆的に実行してデバッグを行う.契約では実行する際に保証する条件を事前条件,事後条件とそれぞれ対応するように並列ブロックの同期条件を含む論理式で記述する.契約に違反した場合,逆方向実行することで違反の原因がどの処理によるものかを解析する.これらの実現手法によって並列ブロック構造を持つプログラミング言語に対して,可逆実行することでその実行を解析する可逆デバッガを提案する. |
(英) |
We present a reversible debugger for parallel programs with block structures. We propose a reversible debugging method by contract annotations to specify the range of reversible execution. Contracts are a logical formula that describes the conditions to be guaranteed at the time of execution in correspondence with pre-conditions and post-conditions. If a contract is violated, it is assumed that a defect has occured, and the backward execution analyzes which process caused the defect. In this paper, we present a reversible debugger with contract annotations on the runtime by abstract machines with reversible instructions to specify the scope of execution. |
キーワード |
(和) |
可逆計算 / 並行性 / プログラミング言語 / 可逆デバッガ / / / / |
(英) |
reversible computation / concurrency / programming languages / reversible debugger / / / / |
文献情報 |
信学技報, vol. 121, no. 416, SS2021-48, pp. 37-42, 2022年3月. |
資料番号 |
SS2021-48 |
発行日 |
2022-02-28 (SS) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
査読に ついて |
本技術報告は査読を経ていない技術報告であり,推敲を加えられていずれかの場に発表されることがあります. |
PDFダウンロード |
SS2021-48 |