文献

J-GLOBAL ID：202202254089836159   整理番号：22A1147971

並列プログラミング言語に対する契約アノテーションを用いた可逆デバッグ手法

Reversible debugging for a parallel programming language by contract annotations

著者 (2件)： 池田崇志 (名古屋大) ,  結縁祥治 (名古屋大)
資料名： 電子情報通信学会技術研究報告(Web)  (IEICE Technical Report (Web))
巻： 121  号： 416(SS2021 42-68)  ページ： 37-42 (WEB ONLY)  発行年： 2022年02月28日 
JST資料番号： U2030A  ISSN： 2432-6380  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,並列ブロック構造を持つプログラムに対して契約アノテーションを付加し,可逆実行によるデバッグ手法とデバッガの実現を示す.契約プログラミングを用いて契約アノテーションを追加し,問題のある範囲を可逆的に実行してデバッグを行う.契約では実行する際に保証する条件を事前条件,事後条件とそれぞれ対応するように並列ブロックの同期条件を含む論理式で記述する.契約に違反した場合,逆方向実行することで違反の原因がどの処理によるものかを解析する.これらの実現手法によって並列ブロック構造を持つプログラミング言語に対して,可逆実行することでその実行を解析する可逆デバッガを提案する.(著者抄録)

シソーラス用語： 可逆性 ,  *計算機プログラミング ,  *並列処理 ,  アノテーション ,  並行処理 ,  ブロック構造 ,  *デバッギング ,  プログラミング言語 ,  計算モデル ,  式
準シソーラス用語： 並列プログラミング ,  デバッグ ,  並列プログラミング言語 ,  抽象マシン ,  論理式

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (17件)：

• James Hoey, Irec Ulidowski, Shoji Yuen: Reversing Imperative Parallel Programs, Proc. Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Vol.255, pp.51-66, EPTCS (2017).
• James Hoey, Irec Ulisowski, Shoji Yuen: Reversing Parallel Programs with Blocks and Procesures, Proc. Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Vol.276, pp.69-86, EPTCS (2018).
• James Hoey, Irec Ulidowski: Reversible Imperative Parallel Programs and Dubbuging, Reversible Computation 11th International conference, RC 2019, Lecture Notes in Computer Science, vol 11497, pp.108-127, Springer (2019).
• James Hoey: Reversible an imperative concurrent programming language, PhD Thesis, University of Leicester (2020).
• Takashi Ikeda, Yuen Shoji: Reversible Runtime Environment for Parallel Programs, Reversible Computation 12th International Conference, RC 2020, Lecture Notes in Computer Science, Vol.12227, pp.272-279, Springer (2020).

タイトルに関連する用語 (5件)： 並列プログラミング言語 ,  契約 ,  アノテーション ,  デバッグ ,  手法