
Correctness Checking of MPI Derived Datatypes Using TypeART
The message passing interface (MPI) is the de-facto standard for distributed high performance computing. However, it ...
Ingenieurwissenschaften
Informatik
The message passing interface (MPI) is the de-facto standard for distributed high performance computing. However, it ...
MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation tracking sanitizer called TypeART ...