文献

J-GLOBAL ID：202202212600493461   整理番号：22A0884624

並行システムデバッグ支援のためのフォールトパターンに関する考察

著者 (4件)： 張漢明 (南山大) ,  高木裕也 (南山大) ,  沢田篤史 (南山大) ,  野呂昌満 (南山大)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2022  号： ARC-248  ページ： Vol.2022-ARC-248,No.56,1-7 (WEB ONLY)  発行年： 2022年03月03日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本研究の目的は,並行プログラムの同期問題に関するデバッグを支援することである.本研究の基本的なアイデアは,プログラムのフォールトと軌跡の間の関係を定式化することである.本研究では,並行プログラムの典型的な同期問題に着目し,セマフォアを用いた同期問題の解法に対するプログラムのフォールトと軌跡の関係を,フォールトパターンとして提示することを目指す.本稿では,セマフォアを用いた第一種の読み書き問題の解法を対象として,フォールトと軌跡の間の定式化について議論する.(著者抄録)

シソーラス用語： *並行処理 ,  *ソフトウェア開発 ,  デバッギング ,  *同期制御 ,  計算機プログラミング ,  故障診断 ,  資源
準シソーラス用語： セマフォ【並列プログラミング】 ,  デバッグ ,  フォールト診断 ,  共有資源【情報】 ,  同期コントロール ,  並列プログラミング

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

引用文献 (5件)：

• 土居範久, 相互排除問題, 岩波書店, 2011
• Charles E. McDowell and David P. Helmbold, “Debugging Concurrent Programs”, ACM Computing Surveys, Vol. 21, No. 4, pp. 593-622, 1989.
• Rachel Tzoref, Sumuel Ur and Elad Yom-Tov, “Instrumenting Where it Hurts- An Automatic Concurrent Debugging Technique”, Proc. ISSTA’07, ACM, pp. 27-37, 2007.
• Ding Yuan, Haohui Mai, Weiwei Xiong, Lin Tan, Yuanyuan Zhou and Shankar Pasupathy, “SherLog: Error Diagnosis by Connecting Clues from Run-time Logs”, Proc. ASPLOPS’10, ACM, pp. 143-154, 2010.
• Haris Volos, Andres Juan Tack, Michael M. Swift and Shan Lu, “Applying Transactional Memory to Concurrency Bugs”, Proc. ASPLOPS’12, ACM, pp. 211-222, 2012.

タイトルに関連する用語 (3件)： 並行 ,  デバッグ ,  支援