Presentation
Coupling Static and Dynamic MPI Correctness Tools to Optimize Accuracy and Overhead
DescriptionThe 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.
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.
Event Type
Workshop
TimeMonday, 17 November 202510:55am - 11:25am CST
Location261
Debugging & Correctness Tools
HPC Software & Runtime Systems