Static Local Concurrency Errors Detection in MPI-RMA Programs
DescriptionCommunications are a critical part of HPC simulations, and one of the main focuses of application developers when scaling on supercomputers. While classical message passing (also called two-sided communications) is the dominant communication paradigm, one-sided communications are often praised to be efficient to overlap communications with computations, but challenging to program. Their usage is generally abstracted through languages and memory abstractions to ease programming. Therefore, little work has been done to help programmers use intermediate runtime layers, such as MPI-RMA, that is often reserved to expert programmers. Indeed, programming with MPI-RMA presents several challenges that require handling the asynchronous nature of one-sided communications to ensure the proper semantic of the program while ensuring its memory consistency. This presentation proposes a new static analysis of MPI-RMA codes that shows
to the programmer the errors that can be detected at compile time.
to the programmer the errors that can be detected at compile time.
Event Type
Workshop
TimeFriday, 18 November 20229:20am - 9:40am CST
LocationD167
W
Correctness
Software Engineering
Recorded
Author/Presenters
