文献

J-GLOBAL ID：201702245825465630   整理番号：17A0565976

SPDebugger:同時実行コード用の細粒度決定論的デバッガ

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

著者 (6件)： LIN Ziyi (School of Software, Shanghai Jiao Tong University) ,  ZHOU Yilei (School of Software, Shanghai Jiao Tong University) ,  ZHONG Hao (Department of Computer Science and Engineering, Shanghai Jiao Tong University) ,  CHEN Yuting (Department of Computer Science and Engineering, Shanghai Jiao Tong University) ,  YU Haibo (School of Software, Shanghai Jiao Tong University) ,  ZHAO Jianjun (Faculty of Information Science and Electrical Engineering, Kyushu University)
資料名： IEICE Transactions on Information and Systems (Web)  (IEICE Transactions on Information and Systems (Web))
巻： E100.D  号： 3  ページ： 473-482(J-STAGE)  発行年： 2017年 
JST資料番号： U0469A  ISSN： 1745-1361  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： デバッグ時,プログラマはバグを発生させる動作を再現するためテストケースを準備することが多い。しかし同時実行プログラムの場合にマルチスレッド実行の非決定性により,テストケース単独はバグを発生させる動作を再現するうえで一般的に不十分となる。他文献において,同時実行バグに対するバグ挙動を決定論的に再現するための様々な手法が提案されているが,筆者らの知る限りそれらは依然として限定されている。特に,筆者らはプログラミングの実践から三つのデバッグシナリオを認識しているが,既存の手法では一つのシナリオしか処理できない。本論文では,事前設計されたスレッド実行スケジュールを再現するために,テストケース,テスト対象プログラム,およびサードパーティライブラリコードまで,より細かいスレッド制御を提供するSPDebuggerと呼ぶ新しい手法を提案した。本評価は,SPDebuggerが,従来と同様の人的努力でIMUnitと呼ばれる最先端のツールよりも多くのデバッグシナリオを処理することを示した。(翻訳著者抄録)

シソーラス用語： *同時実行制御 ,  粒度 ,  *方法論 ,  *デバッギング ,  スレッド ,  管理
準シソーラス用語： スケジュール管理 ,  *デバッガ ,  *決定論的手法 ,  細粒度

著者キーワード (3件)： concurrency ,  debug ,  deterministic reproduction

分類 (2件)： その他のオペレーションズリサーチの手法  (KA03070E) ,  計算機システム開発  (JD02010R)

引用文献 (15件)：

• [1] G. Pinto, W. Torres, B. Fernandes, F. Castor, and R.S.M. Barros, “A large-scale study on the usage of java's concurrent programming constructs,” Proc. Journal of Systems and Software, vol.106, pp.59-81, 2015.
• [2] Y. Eytani, K. Havelund, S.D. Stoller, and S. Ur, “Towards a framework and a benchmark for testing tools for multi-threaded programs,” Proc. Concurrency and Computation: Practice and Experience, vol.19, no.3, pp.267-279, 2007.
• [3] S.M. Melo, S.R.S. Souza, R.A. Silva, and P.S.L. Souza, “Concurrent software testing in practice: A catalog of tools,” Proc. 6th A-TEST, New York, NY, USA, pp.31-40, Aug. 2015.
• [4] K. Lu, X. Zhou, T. Bergan, and X. Wang, “Efficient deterministic multithreading without global barriers,” Proc. 19th PPoPP, New York, NY, USA, vol.49, no.8, pp.287-300, Feb. 2014.
• [5] L. Wildman, B. Long, and P. Strooper, “Dealing with non-determinism in testing concurrent java components,” Proc. 12th APSEC, pp.393-400, IEEE, Dec. 2005.

タイトルに関連する用語 (2件)： 細粒度 ,  デバッガ