The International Conference for High Performance Computing, Networking, Storage, and Analysis
The International Conference for High Performance Computing, Networking, Storage, and Analysis
Workshop: 9th International Workshop on Software Correctness for HPC Applications (Correctness '25)
Authors: Yussur Mustafa Oraji (Technical University of Darmstadt), Simon Schwitanski and Semih Burak (RWTH Aachen University), Christian Bischof (Technical University of Darmstadt), and Matthias Müller (RWTH Aachen University)
Abstract: The complexity of MPI programming led to the development of various correctness tools. Static tools may examine the entire source but yield false positives as they lack runtime context. Dynamic tools, detecting errors at runtime, offer higher precision but suffer from false negatives due to limited coverage and substantial overhead due to instrumentation requirements. This paper presents a coupled workflow that combines these approaches. Forwarding static reports to dynamic tools improves the overall accuracy and reduces the instrumentation overhead. A proposed generic exchange format enables interoperability between static and dynamic tools. The coupled workflow is implemented by the example of MPI local data race detection through integration of the tools CoVer, SPMD IR, and MUST. It eliminates static tool false positives, enables detection of previously missed races in dynamic tools, and significantly reduces the runtime overhead through targeted instrumentation up to an order of magnitude.
Back to 9th International Workshop on Software Correctness for HPC Applications (Correctness '25) Archive Listing Back to Full Workshop Archive Listing