Chapter

Recent Advances in Parallel Virtual Machine and Message Passing Interface

Volume 4192 of the series Lecture Notes in Computer Science pp 105-114

Correctness Checking of MPI One-Sided Communication Using Marmot

  • Bettina KrammerAffiliated withCarnegie Mellon UniversityHigh Performance Computing Center Stuttgart
  • , Michael M. ReschAffiliated withCarnegie Mellon UniversityHigh Performance Computing Center Stuttgart

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Keywords

MPI Parallel Programming Tools Analysis One-sided communication RMA