Detecting MPI Induced Non-Determinism in AMR Applications

• We develop our methodology by testing its feasibility agains MiniAMR, a mantevo suite simulator application for AMR based programs.
• We present the effectiveness of our methodology via a case study on Enzo, a cosmological simulator

Installation

Architecture

• The detection pipeline follows this path: event graph -> compression submodule -> GNN module -> Alignment module -> CSMPI Function tree encoder submodule -> Annotated function tree
• For the pipeline to function correctly, we assume that the event graphs are generated using ANACIN-X with the config: dumpi-csmpi-pluto.