Art

J-GLOBAL ID：201702245825465630   Reference number：17A0565976

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code

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

Author (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)
Material： IEICE Transactions on Information and Systems (Web)  (IEICE Trans Inf Syst (Web))
Volume： E100.D  Issue： 3  Page： 473-482(J-STAGE)  Publication year： 2017 
JST Material Number： U0469A  ISSN： 1745-1361  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *concurrent control ,  particle size(ratio) ,  *methodology ,  *debugging ,  thread ,  management
Semi thesaurus term： schedule management ,  *debugger ,  *deterministic approach ,  fine particle size

Author keywords (3)： concurrency ,  debug ,  deterministic reproduction

JST classification (2)： Other methods of operations research  (KA03070E) ,  Computer system development  (JD02010R)

Reference (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.

Terms in the title (2)： 細粒度 ,  デバッガ