MPL*: Efficient record/replay of nondeterministic features of message passing libraries

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1697, Issue , 1999, Pages 141-148

  Chassin De Kergommeaux, J ^a   Ronsse, M ^b   De Bosschere, K ^b  

^a Équipe VAlidation Spécification et COnstruction de logiciels   (France)

^b GHENT UNIVERSITY   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

LIBRARIES; PROGRAM DEBUGGING;

CYCLIC DEBUGGING; MESSAGE PASSING LIBRARIES; MESSAGE PASSING PROGRAMS; MPI LIBRARIES; NONDETERMINISTIC BEHAVIOR; PERFORMANCE MEASUREMENTS; RECORD-AND-REPLAY; TEST OPERATIONS;

MESSAGE PASSING;

EID: 84958062766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48158-3_18     Document Type: Conference Paper

References (15)

1. J. Briat, I. Ginzburg, and M. Pasin. Athapascan-0 Reference and User Manu- als. LMC-IMAG, B.P. 53, F-38041 Grenoble Cedex 9, March 1998. http://wwwapache.imag.fr/software/ath0/.
2. J. Briat, I. Ginzburg, M. Pasin, and B. Plateau. Athapascan runtime: Efficiency for irregular problems. In Proceedings of the Europar'97 Conference, pages 590-599, Passau, Germany, Aug 1997. Springer Verlag.
3. Gerson G. H. Cavalheiro, François Galilée, and Jean-Louis Roch. Athapascan- 1: Parallel Programming with Asynchronous Tasks. In Proceedings of the Yale Multithreaded Programming Workshop, Yale, USA, junea 1998. http://wwwapache.imag.fr/gersonc/publications/yale98.ps.gz.
4. J. Chassin de Kergommeaux, M. Ronsse, and K. De Bosschere. Efficient execution replay for athapascan-0 parallel programs. Research Report 3635, INRIA, March 1999. http://www.inria.fr/RRRT/publications-fra.html.
5. A. Fagot and J. Chassin de Kergommeaux. Formal and experimental validation of a low-overhead execution replay mechanism. In Proceedings of Euro-Par'95, Stockholm, Sweden, August 1995. Springer-Verlag, LNCS.
6. I. Foster, C. Kesselman, and S. Tuecke. The nexus approach to integrating multithreading and communication. Journal of Parallel and Distributed Computing, 37(1):70-82, 1996.
7. M. Hurfin, N. Plouzeau, and M. Raynal. EREBUS A debugger for asynchronous distributed computing systems. In Proceedings of the 3rd IEEE Workshop on Future Trends in Distributed Computing Systems, Taiwan, April 1992.
8. H. Jamrozik. Aide à la Mise au Point des Applications Paralléles et Réparties à base d'Objets Persistants. PhD thesis, Université Joseph Fourier, Grenoble, May 1993.
9. D. Kranzlmüller and J. Volkert. Debugging point-to-point communication in mpi and pvm. In Proc. EUROPVM/MPI 98 Intl. Conference, pages 265-272, September 1998.
10. Thomas J. LeBlanc and John M. Mellor-Crummey. Debugging parallel programs with Instant Replay. IEEE Transactions on Computers, C-36(4):471-482, April 1987.
11. E. Leu, A. Schiper, and A. Zramdini. Execution Replay on Distributed Memory Architectures. In Proceedings of the 2nd IEEE Symposium on Parallel and Distributed Processing, pages 106-112, Dallas, USA, December 1990.
12. Message Passing Interface Forum, University of Tennessee, Knoxville, Tennessee. MPI: A Message-Passing Standard, May 1994.
13. Frank Mueller. A library implementation of POSIX threads under UNIX. In Proc. of the Winter USENIX Conference, pages 29-41, San Diego, CA, January 1993.
14. R.H.B. Netzer and B.P. Miller. Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. In Proceedings of Supercomputing '92, Minneapolis, Minnesota, November 1992. Institute of Electrical Engineers Computer Society Press.
15. M. Ronsse and L. Levrouw. An experimental evaluation of a replay method for shared memory programs. In E. D'Hollander, G.R. Joubert, F.J. Peters, D. Trystram, K. De Bosschere, and J. Van Campenhout, editors, Parallel Computing: State-of-the-Art and Perspectives, pages 399-406. North-Holland, Gent, 1996.