Abstract
Detecting first races is important for debugging shared memory parallel programs including sequential programs that use concurrent signal handlers because the removal of such data races may cause other data races in the program to disappear. Unfortunately, existing tools for sequential programs do not focus on first race detection or report only the single data race detected first in a program execution which is not enough for a program debugging. This paper presents an efficient on-the-fly technique that uses an existing lightweight labeling scheme to collect and filter at most four access candidates for each shared variable for an effective first race detection in sequential programs. An evaluation of our technique on a set of synthetic programs shows its ability to report first races.
This research was supported by the MKE (The Ministry of Knowledge Economy), Korea, under the ITRC (Information Technology Research Center) support program supervised by the NIPA (National IT Industry Promotion Agency), NIPA-2012-H0301-12-3003.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A Theory of Data Race Detection. In: Workshop on Parallel and Distributed Systems: Testing and Debugging, pp. 69–78. ACM (July 2006)
Kim, J., Jun, Y.-K.: Scalable On-the-fly Detection of the First Race in Parallel Programs. In: International Conference on Supercomputing, pp. 345–352. ACM (July 1998)
Netzer, R.H.B., Miller, B.P.: What are Race Conditions? Some Issues and Formalizations. ACM Letters on Programming Languages and Systems 1(1), 74–88 (1992)
Ronsse, M., Maebe, J., De Bosschere, K.: Detecting Data Races in Sequential Programs with DIOTA. In: Danelutto, M., Vanneschi, M., Laforenza, D. (eds.) Euro-Par 2004. LNCS, vol. 3149, pp. 82–89. Springer, Heidelberg (2004)
Tahara, T., Gondow, K., Ohsuga, S.: Dracula: Detector of Data Races in Signals Handlers. In: The 15th IEEE Asia-Pacific Software Engineering Conference (APSEC 2008), pp. 17–24. IEEE (2008)
Tchamgoue, G.M., Ha, O.-K., Kim, K.-H., Jun, Y.-K.: Lightweight Labeling Scheme for On-the-fly Race Detection of Signal Handlers. In: Kim, T.-H., Adeli, H., Robles, R.J., Balitanas, M. (eds.) UCMA 2011, Part II. CCIS, vol. 151, pp. 201–208. Springer, Heidelberg (2011)
Tchamgoue, G.M., Kim, K.-H., Jun, Y.-K.: Efficient Detection of Data Races in Concurrent Signal Handlers. Information 15(3), 1317–1338 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dorankula, S., Tchamgoue, G.M., Jun, YK. (2012). Efficient Detection of First Races in Concurrent Signal Handlers. In: Kim, Th., Cho, Hs., Gervasi, O., Yau, S.S. (eds) Computer Applications for Graphics, Grid Computing, and Industrial Environment. CGAG GDC IESH 2012 2012 2012. Communications in Computer and Information Science, vol 351. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35600-1_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-35600-1_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35599-8
Online ISBN: 978-3-642-35600-1
eBook Packages: Computer ScienceComputer Science (R0)