A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing
作者： Bohuslav Křena , Zdeněk Letko , Yarden Nir-Buchbinder , Rachel Tzoref-Brill , Shmuel Ur
DOI: 10.1007/978-3-642-04694-0_8
关键词:
摘要: This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture ConTest. Two runtime detection common concurrent bugs presented--the first (Eraser+) is able to detect data races while second (AtomRace) not only but also more general caused by violation atomicity presumptions. A third plug-in presented designed hide that made it into field so when problems detected they can be circumvented. Several experiments demonstrate capabilities these plug-ins.
springer.com
harvard.edu
vutbr.cz 
sci-hub.st 参考文章(16)
Yarden Nir-Buchbinder, Rachel Tzoref, Shmuel Ur, Deadlocks: From Exhibiting to Healing runtime verification. ,vol. 5289, pp. 104- 118 ,(2008) , 10.1007/978-3-540-89247-2_7
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multithreaded programs ACM Transactions on Computer Systems. ,vol. 15, pp. 391- 411 ,(1997) , 10.1145/265924.265927
M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas, A classification of concurrency bugs in java benchmarks by developer intent Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging - PADTAD '06. pp. 23- 26 ,(2006) , 10.1145/1147403.1147407
O. Edelstein, E. Farchi, Y. Nir, G. Ratsaby, S. Ur, Multithreaded java program test generation Ibm Systems Journal. ,vol. 41, pp. 111- 125 ,(2002) , 10.1147/SJ.411.0111
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson, Eraser: a dynamic data race detector for multi-threaded programs symposium on operating systems principles. ,vol. 31, pp. 27- 37 ,(1997) , 10.1145/268998.266641
Tomáš Vojnar, Bohuslav Křena, Zdeněk Letko, AtomRace: data race and atomicity violation detector and healer parallel and distributed systems testing analysis and debugging. pp. 7- ,(2008) , 10.1145/1390841.1390848
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomáš Vojnar, Healing data races on-the-fly Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging. pp. 54- 64 ,(2007) , 10.1145/1273647.1273658
Cormac Flanagan, Stephen N Freund, Atomizer: a dynamic atomicity checker for multithreaded programs symposium on principles of programming languages. ,vol. 39, pp. 256- 267 ,(2004) , 10.1145/964001.964023
J. Soriano, M. Jimenez, J.M. Cantera, J.J. Hierro, Delivering Mobile Enterprise Services on Morfeo’s MC Open Source Platform mobile data management. pp. 139- 139 ,(2006) , 10.1109/MDM.2006.63
Yuan Yu, Tom Rodeheffer, Wei Chen, RaceTrack: efficient detection of data race conditions via adaptive tracking symposium on operating systems principles. ,vol. 39, pp. 221- 234 ,(2005) , 10.1145/1095809.1095832