MARMOT: An MPI analysis and checking tool

Krammer, Bettina; Bidmon, Katrin; Müller, Matthias S.; Resch, Michael

doi:10.1016/s0927-5452(04)80063-7

Cited by 67 publications

(54 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Realizing the importance of the reliability of parallel and distributed programs, researchers have proposed many dynamic techniques for interactive parallel debugging [40], [41], [42], [43], [44], [45], [46] and automatic bug detection [12], [19], [24], [47], [48], [49], [50]. Interactive parallel debuggers help programmers identify the bugs by exploiting automated information collection, aggregation, and visualization techniques.…”

Section: Bug Detection For Parallel and Distributed Programsmentioning

confidence: 99%

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Chen

et al. 2012

2012 IEEE 26th International Parallel and Distributed Processing Symposium

View full text Add to dashboard Cite

We have implemented a prototype of SyncChecker on Linux and evaluated it with seven bug cases, i.e., five introduced by the original developers and two injected, in four different MPI applications. Our experiments show that SyncChecker detects all the evaluated synchronization errors and provides helpful diagnostic information. Moreover, our experiments with seven NAS Parallel Benchmarks demonstrate that SyncChecker incurs moderate runtime overhead, 1.3-9.5 times with an average of 5.2 times, making it suitable for software testing.

show abstract

Section: Bug Detection For Parallel and Distributed Programsmentioning

confidence: 99%

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Chen

et al. 2012

2012 IEEE 26th International Parallel and Distributed Processing Symposium

View full text Add to dashboard Cite

show abstract

“…MARMOT is tested on different Linux platforms, using different compilers and different MPI implementations (mpich, LAM/MPI, vendor MPIs, etc.). Functionality and performance tests are performed with test suites, microbenchmarks and real applications [11,14].…”

Section: Description Of Marmotmentioning

confidence: 99%

“…or the use of non-portable constructs. At present, three different message-checking tools are under more or less active development: MPI-CHECK [17], Umpire [21] and MARMOT [11][12][13][14]. MPI-CHECK is currently restricted to Fortran code and performs argument type checking or finds problems such as deadlocks [17].…”

Section: Introductionmentioning

confidence: 99%

Correctness Checking of MPI One-Sided Communication Using Marmot

Krammer

Resch

2006

Recent Advances in Parallel Virtual Machine and Message Passing Interface

View full text Add to dashboard Cite

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.

show abstract

“…The CrossGrid project offers the possibility of testing the MPI implementation using MARMOT [9], an MPI verification tool developed at the High Performance Computing Center Stuttgart (HLRS). The objective of MARMOT is to verify the correctness of parallel, distributed Grid applications using the MPI paradigm.…”

Section: Fig 3 Horizontal View Of So2 Concentration At 300 Mmentioning

confidence: 99%

Air Pollution Modeling in the CrossGrid Project

Mouriño

Martín

González

et al. 2004

Computational Science - ICCS 2004

View full text Add to dashboard Cite

Abstract. The CrossGrid project develops, implements and exploits new Grid components for interactive compute and data intensive applications like simulation and visualization for surgical procedures, flooding crisis team decision support systems, distributed data analysis in highenergy physics, and air pollution combined with weather forecasting. We present in this paper the integration of the air pollution application with other components of the project and show the benefits of using a Grid platform for running this application.

show abstract

MARMOT: An MPI analysis and checking tool

Cited by 67 publications

References 4 publications

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

SyncChecker: Detecting Synchronization Errors between MPI Applications and Libraries

Correctness Checking of MPI One-Sided Communication Using Marmot

Air Pollution Modeling in the CrossGrid Project

Contact Info

Product

Resources

About