The International Conference for High Performance Computing, Networking, Storage, and Analysis
The International Conference for High Performance Computing, Networking, Storage, and Analysis
Workshop: 6th International Workshop on Software Correctness for HPC Applications (Correctness '22)
Authors: Emmanuelle Saillard (French Institute for Research in Computer Science and Automation (INRIA)); Marc Sergent (Atos); Célia Tassadit Ait Kaci (French Institute for Research in Computer Science and Automation (INRIA)); and Denis Barthou (French Institute for Research in Computer Science and Automation (INRIA), Bordeaux INP)
Abstract: Communications 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.