Correctness Checking of MPI One-Sided Communication Using Marmot
- Cite this paper as:
- Krammer B., Resch M.M. (2006) Correctness Checking of MPI One-Sided Communication Using Marmot. In: Mohr B., Träff J.L., Worringen J., Dongarra J. (eds) Recent Advances in Parallel Virtual Machine and Message Passing Interface. EuroPVM/MPI 2006. Lecture Notes in Computer Science, vol 4192. Springer, Berlin, Heidelberg
The MPI-2 standard defines functions for Remote Memory Access (RMA) by allowing one process to specify all communication parameters both for the sending and the receiving side, which is also referred to as one-sided communication. Having experienced parallel programming as a complex and error-prone task, we have developed the MPI correctness checking tool MARMOT covering the MPI-1.2 standard and are now aiming at extending it to support application developers also for the more frequently used parts of MPI-2 such as one-sided communication. In this paper we describe our tool, which is designed to check the correct usage of the MPI API automatically at run-time, and we also analyse to what extent it is possible to do so for RMA.
KeywordsMPI Parallel Programming Tools Analysis One-sided communication RMA
Unable to display preview. Download preview PDF.