Correctness Checking of MPI One-Sided Communication Using Marmot

Krammer, Bettina; Resch, Michael

doi:10.1007/11846802_21

Cited by 15 publications

(11 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This disables debugging MPI programs using cyclic debugging techniques. Thus, to make it easier to debug MPI programs, several tools are developed such as MAD [7], Intel Message Checker [14], [15], MAR-MOT [4], [5], and MPIRace-Check [11]. These tool have the ability to detect race conditions in MPI programs.…”

Section: Related Workmentioning

confidence: 99%

“…There are previous tools for detecting and debugging race conditions in MPI programs such as MAD [7], MAR-MOT [4], [5], IMC [14], [15], and MPIRace-Check [11]. However, these tools are restricted to detect message races in point-to-point communication of MPI-1, and have no function to detect race conditions occurring in one-sided communication.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Detecting Race Conditions in One-Sided Communication of MPI Programs

Park

Chung

2009

2009 Eighth IEEE/ACIS International Conference on Computer and Information Science

View full text Add to dashboard Cite

While one-sided communication introduced in MPI-2 is convenient to access remote memory, it is easier for programmers to make serious errors such as race conditions. Although there are several tools for detecting race conditions in MPI programs, these tools do not provide any mechanism to detect race conditions occurring in one-sided communication. In this paper, we present a technique to detect race conditions caused by unsafe accesses of onesided operations. Our technique creates a mirror window whenever a process creates a window memory for onesided communication, and uses it to monitor and detect race conditions. Whenever any one-sided operation accesses a window memory, the corresponding mirror window will be marked and checked to see if the window memory is unsafely accessed by any concurrent operation. In our experiment, we evaluate our technique using two public benchmark programs, and the results show that our technique can precisely detect race conditions. Therefore our technique is effective to detect race conditions in MPI programs and helpful to develop reliable parallel programs.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Detecting Race Conditions in One-Sided Communication of MPI Programs

Park

Chung

2009

2009 Eighth IEEE/ACIS International Conference on Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…The MARMOT error checking tool [16] checks correct usage of the synchronization features provided by MPI, such as fences and windows. A window is an area of a process's memory that is made available to other processes for remote memory accesses.…”

Section: Previous Workmentioning

confidence: 99%

Data Coherency in Distributed Shared Memory

Butelle

Coti

2012

IJNC

View full text Add to dashboard Cite

We present a new model for distributed shared memory systems, based on remote data accesses. Such features are offered by network interface cards that allow one-sided operations, remote direct memory access and OS bypass. This model leads to new interpretations of distributed algorithms allowing us to propose an innovative detection technique of race conditions only based on logical clocks. Indeed, the presence of (data) races in a parallel program makes it hard to reason about and is usually considered as a bug.

show abstract

“…However, these approaches cannot directly be applied to MPI programs that perform one-sided data access across distributed-memory platforms, because fundamentally different synchronization primitives are used. While numerous studies [8], [9], [10], [11], [12] have been done on bug detection in MPI programs, none have focused on memory consistency errors in MPI one-sided applications.…”

Section: Introductionmentioning

confidence: 99%

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications

Chen

Dinan

Tang

et al. 2014

SC14: International Conference for High Performance Computing, Networking, Storage and Analysis

View full text Add to dashboard Cite

One-sided communication decouples data movement and synchronization by providing support for asynchronous reads and updates of distributed shared data. While such interfaces can be extremely efficient, they also impose challenges in properly performing asynchronous accesses to shared data. This paper presents MC-Checker, a new tool that detects memory consistency errors in MPI one-sided applications. MC-Checker first performs online instrumentation and captures relevant dynamic events, such as one-sided communications and load/store operations. MC-Checker then performs analysis to detect memory consistency errors. When found, errors are reported along with useful diagnostic information. Experiments indicate that MC-Checker is effective at detecting and diagnosing memory consistency bugs in MPI one-sided applications, with low overhead, ranging from 24.6% to 71.1%, with an average of 45.2%.

show abstract

Correctness Checking of MPI One-Sided Communication Using Marmot

Cited by 15 publications

References 12 publications

Detecting Race Conditions in One-Sided Communication of MPI Programs

Detecting Race Conditions in One-Sided Communication of MPI Programs

Data Coherency in Distributed Shared Memory

MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications

Contact Info

Product

Resources

About