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, Alexander Hück, and Christian Bischof (Technical University of Darmstadt)
Abstract: MPI correctness benchmarks are used to evaluate the implementation quality of MPI correctness tools on a standardized set of tests. However, existing correctness benchmarks are limited to C, neglecting support for Fortran, the only other language which the MPI standard supports. Consequently, past evaluations of correctness tools were focused solely on C although some of them support error-checking of Fortran MPI codes. To alleviate this, we port the test generation logic of the most recently introduced MPI correctness benchmark MPI-BugBench to Fortran. We explore language-specific porting challenges and perform a comparative accuracy evaluation of the dynamic MPI correctness tool MUST on both C and Fortran. Our results show that MUST's accuracy is largely consistent across languages, with a notable exception in type checking due to a required software dependency not supporting Fortran. Additionally, we uncovered bugs in both the OpenMPI Fortran bindings, and the MPI-BugBench test case generator.
Back to 9th International Workshop on Software Correctness for HPC Applications (Correctness '25) Archive Listing Back to Full Workshop Archive Listing