Presentation

· Contributors · Organizations · Search Program · My Schedule · Happening Now · Maps

This content is available for: Workshop Reg Pass. Upgrade Registration

Rethinking Data Race Detection in MPI-RMA Programs

Session7th International Workshop on Software Correctness for HPC Applications (Correctness '23)

DescriptionSupercomputers are capable of more and more computations, and nodes forming them need to communicate even more efficiently with each other. Thus, new types of communication models gain traction in the community to promote overlapping communications with computations. For instance, the Message Passing Interface (MPI) proposes a communication model based on one-sided communications called the MPI Remote Memory Access (MPI-RMA). Thanks to these operations, applications can improve the overlap of communications with computations. However, one-sided communications are complex to write since they are subject to data races. Tools helping developers detect data races caused by MPI one-sided communications are thus emerging. This work rethinks an existing on-the-fly data race detection algorithm for MPI-RMA programs by improving the storage of memory accesses, thus improving its accuracy and reducing the overhead at runtime.

Author/Presenters

Radjasouria Vinayagame

Eviden

Inria