%0 Conference Proceedings
%T dMPI: Facilitating Debugging of MPI Programs via Deterministic Message Passing
%+ National University of Defense Technology [China]
%A Zhou, Xu
%A Lu, Kai
%A Lu, Xicheng
%A Wang, Xiaoping
%A Fan, Baohua
%Z Part 4: Parallel, Distributed, and Virtualization Techniques
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 9th International Conference on Network and Parallel Computing (NPC)
%C Gwangju, South Korea
%Y James J. Park
%Y Albert Zomaya
%Y Sang-Soo Yeo
%Y Sartaj Sahni
%I Springer
%3 Network and Parallel Computing
%V LNCS-7513
%P 172-179
%8 2012-09-06
%D 2012
%R 10.1007/978-3-642-35606-3_20
%Z Computer Science [cs]Conference papers
%X This paper presents a novel deterministic MPI implementation (dMPI) to facilitate the debugging of MPI programs. Distinct from existing approaches, dMPI ensures inherent determinism without using any external support (e.g., logs), which achieves convenience and performance simultaneously. The basic idea of dMPI is to use deterministic logical time to solve message races and control asynchronous transmissions, thus we could eliminate the nondeterministic behaviors of the existing message passing mechanism. To avoid deadlocks introduced by dMPI, we also integrate dMPI with a lightweight deadlock checker to dynamically detect and solve these deadlocks. We have implemented dMPI and evaluated it using NPB benchmarks. The results show that dMPI could guarantee determinism with incurring modest overhead (8% on average).
%G English
%Z TC 10
%Z WG 10.3
%2 https://inria.hal.science/hal-01551348/document
%2 https://inria.hal.science/hal-01551348/file/978-3-642-35606-3_20_Chapter.pdf
%L hal-01551348
%U https://inria.hal.science/hal-01551348
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-NPC
%~ IFIP-WG10-3
%~ IFIP-LNCS-7513