Correctness Checking of MPI One-Sided Communication Using Marmot

  • Bettina Krammer
  • Michael M. Resch
Conference paper

DOI: 10.1007/11846802_21

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4192)
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

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 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Bettina Krammer
    • 1
  • Michael M. Resch
    • 1
  1. 1.High Performance Computing Center StuttgartStuttgartGermany

Personalised recommendations