Abstract
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 of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented—the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ayewah, N., Pugh, W., Morgenthaler, D., Penix, J., Zhou, Y.: Using FindBugs on Production Software. In: Proc. of OOPSLA 2007. ACM, New York (2007)
O’Callahan, R., Choi, J.-D.: Hybrid Dynamic Data Race Detection. In: Proc.of PPoPP 2003. ACM, New York (2003)
Copeland, T.: PMD Applied. Centennial Books (2005)
Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java Program Test Generation. IBM Systems Journal 41(1), 111–125 (2002)
Elmas, T., Qadeer, S., Tasiran, S.: Goldilocks: A Race and Transaction-aware Java Runtime. In: Proc. of PLDI 2007. ACM, New York (2007)
Keremoglu, M.E., Tasiran, S., Elmas, T.: A Classification of Concurrency Bugs in Java Benchmarks by Developer Intent. In: Proc. of PADTAD 2006. ACM, New York (2006)
Křena, B., Letko, Z., Tzoref, R., Ur, S., Vojnar, T.: Healing Data Races On-The-Fly. In: Proc. of PADTAD 2007. ACM, New York (2007)
Křena, B., Letko, Z., Vojnar, T.: AtomRace: Data Race and Atomicity Violation Detector and Healer. In: Proc. of PADTAD 2008. ACM, New York (2008)
Lu, S., Tucek, J., Qin, F., Zhou, Y.: AVIO: Detecting Atomicity Violations via Access Interleaving Invariants. In: Proc. of ASPLOS-XII. ACM, New York (2006)
Nagpaly, R., Pattabiramanz, K., Kirovski, D., Zorn, B.: ToleRace: Tolerating and Detecting Races. In: Proc. of STMCS 2007 (2007)
Nir-Buchbinder, Y., Tzoref, R., Ur, S.: Deadlocks: from Exhibiting to Healing. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 104–118. Springer, Heidelberg (2008)
Nir-Buchbinder, Y., Ur, S.: ConTest Listeners: A Concurrency-Oriented Infrastructure for Java Test and Heal Tools. In: Proc. of SOQUA 2007. ACM, New York (2007)
Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A Dynamic Data Race Detector for Multi-threaded Programs. In: Proc. of SOSP 1997. ACM, New York (1997)
Soriano, J., Jimenez, M., Cantera, J., Hierro, J.: Delivering Mobile Enterprise Services on Morfeo’s MC Open Source Platform. In: Proc. of MDM 2006. IEEE, Los Alamitos (2006)
Yu, Y., Rodeheffer, T., Chen, W.: Racetrack: Efficient Detection of Data Race Conditions via Adaptive Tracking. SIGOPS Oper. Syst. Rev. 39(5), 221–234 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T. (2009). A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing . In: Bensalem, S., Peled, D.A. (eds) Runtime Verification. RV 2009. Lecture Notes in Computer Science, vol 5779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04694-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-04694-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04693-3
Online ISBN: 978-3-642-04694-0
eBook Packages: Computer ScienceComputer Science (R0)