Investigating the Real-World Applicability of MPI Correctness Benchmarks
Open Access
- 12 November 2023
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 230-233
Abstract
The MPI correctness benchmarks MPI-Corrbench and the MPI Bugs Initiative contain standardized test cases of correct and erroneous use of MPI, allowing MPI correctness tool developers to assess their tools’ performance and guide further development of their checking capabilities. Hence, the correctness benchmarks should encompass representative MPI (mis-)usage that mirrors real-world codes. To that end, we analyze the MPI usage of these correctness benchmarks at argument granularity and compare it to a previously collected data set of 96 HPC codes. This assessment measures the benchmarks’ proximity to real-world MPI usage patterns and offers insights for enhancing their coverage.Keywords
Funding Information
- Deutsche Forschungsgemeinschaft (265191195)
This publication has 9 references indexed in Scilit:
- Investigating the Usage of MPI at Argument-Granularity in HPC Codes2023
- Towards a Hybrid MPI Correctness Benchmark Suite2022
- The MPI Bugs Initiative: a Framework for MPI Verification Tools Evaluation2021
- MPI-CorrBench2021
- MPI-checker2015
- Combining static and dynamic validation of MPI collective communications2013
- MUST: A Scalable Approach to Runtime Error Detection in MPI Programs2010
- MPICH2: A New Start for MPI Implementations2002
- Dynamic Software Testing of MPI Applications with Umpire2000