Abstract
An object-oriented conceptual model for the debugging of message-passing distributed programs incorporates several debugging facilities: generation of a space-time diagram showing the progression of the execution being studied, detection of race conditions, detection of particular kinds of predicates and representation of causality cones. The focus of this paper is the race detection mechanism. The proposed mechanism comprises two steps: detection of pairs of receive events in the same process potentially involved in race conditions and verification of the legitimacy of the potential race condition. The mechanism relies on the analysis of two arguments, process id and message tag, in receive events and consume events, which are considered as distinct types of occurrences in the conceptual model.
This work has been partially funded by FCT(Portugal) under Project POSI/39351/SRI/2001 Mago2.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Cláudio, A.P., Cunha, J.D., Carmo, M.B.: Monitoring and Debugging Message Passing Applications with MPVisualizer. In: Proceedings of the 8th Euromicro Workshop on Parallel and Distributed Processing, Rodhes, pp. 376–382. IEEE Computer Society, Los Alamitos (2000)
Raynal, M.: About Logical Clocks for Distributed Systems. ACM Operating System Review 26(1), 41–48 (1992)
Fidge, C.: Partial Orders for Parallel Debugging. In: Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging. ACM SIGPLAN Notices, vol. 24(1), pp. 183–194 (1989)
Leblanc, T., Mellor-Crummey, J.: Debugging Parallel Programs with Instant Replay. IEEE Transactions on Computers C-36(4), 471–482 (1987)
Lamport, L.: Time, Clocks and the Ordering of Events in a Distributed System. Communications of the ACM 21(7), 558–565 (1978)
Netzer, R., Miller, B.: Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. In: Proceedings of Supercomputing 1992, Minneapolis, USA, November 1992, pp. 502–511 (1992)
Kranzlmüller, D., Hügl, R., Volkert, J.: MAD - A Top Down Approach to Parallel Program Debugging. In: Sloot, P.M.A., Hoekstra, A.G., Bubak, M., Hertzberger, B. (eds.) HPCN-Europe 1999. LNCS, vol. 1593, pp. 1207–1210. Springer, Heidelberg (1999)
Cunha, J.C., Lourenço, J., Antão, T.: An Experiment in Tool Integration: The DDBG Parallel and Distributed Debugger. Euromicro Journal of Systems Architecture 45(11), 897–907 (1999)
Wismuller, R., et al.: The Tool-Set Project: Towards an Integrated Tool Environments for Parallel Programming. In: Proceedings of the 2nd Sino-German Workshop on Advanced Parallel Processing Technologies, Koblenz, Germany (1997)
May, J., Berman, F.: Designing a Parallel Debugger for Portability. In: Proceedings of the International Parallel Processing Symposium (1994)
Cooper, K., et al.: The Parascope Parallel Programming Environment. Proceedings of the IEEE 81(2) (February 1993)
Cunha, J.C., Lourenço, J., Vieira, J., Moscão, B., Pereira, D.: A Framework to Support Parallel and Distributed Debugging. In: Bubak, M., Hertzberger, B., Sloot, P.M.A. (eds.) HPCN-Europe 1998. LNCS, vol. 1401, pp. 707–717. Springer, Heidelberg (1998)
http://www.lanl.gov/orgs/cic/cic8/para-dist-team/mdb/mdb.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cláudio, A.P., Cunha, J.D. (2003). A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs. In: Kosch, H., Böszörményi, L., Hellwagner, H. (eds) Euro-Par 2003 Parallel Processing. Euro-Par 2003. Lecture Notes in Computer Science, vol 2790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45209-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-45209-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40788-1
Online ISBN: 978-3-540-45209-6
eBook Packages: Springer Book Archive