Distributed wait state tracking for runtime MPI deadlock detection

T Hilbrich, BR de Supinski, WE Nagel, J Protze… - Proceedings of the …, 2013 - dl.acm.org
The widely used Message Passing Interface (MPI) with its multitude of communication
functions is prone to usage errors. Runtime error detection tools aid in the removal of these …

Compiler-aided type tracking for correctness checking of MPI applications

A Hück, JP Lehr, S Kreutzer, J Protze… - 2018 IEEE/ACM 2nd …, 2018 - ieeexplore.ieee.org
MUST, a dynamic MPI correctness checker, is extended with a type and memory allocation
tracking sanitizer called TypeART for C/C++ codes based on the LLVM compiler framework …

Towards compiler-aided correctness checking of adjoint MPI applications

A Hück, J Protze, JP Lehr, C Terboven… - 2020 IEEE/ACM 4th …, 2020 - ieeexplore.ieee.org
Algorithmic Differentiation (AD) is a set of techniques to calculate derivatives of a computer
program. In C++, AD typically requires (i) a type change of the built-in double, and (ii) a …

Compiler-aided type correctness of hybrid MPI-OpenMP applications

A Hück, S Kreutzer, J Protze, JP Lehr, C Bischof… - IT …, 2022 - ieeexplore.ieee.org
Hybrid MPI–OpenMP applications employ message-passing interface (MPI)-enabled
process-level, distributed computations on many compute nodes in conjunction with …

MPI Thread-level checking for MPI+ OpenMP applications

E Saillard, P Carribault, D Barthou - … , Vienna, Austria, August 24-28, 2015 …, 2015 - Springer
MPI is the most widely used parallel programming model. But the reducing amount of
memory per compute core tends to push MPI to be mixed with shared-memory approaches …

Memory Usage Optimizations for Online Event Analysis

T Hilbrich, J Protze, M Wagner, MS Müller… - … Conference on Exascale …, 2014 - Springer
Tools are essential for application developers and system support personnel during tasks
such as performance optimization and debugging of massively parallel applications. An …

[PDF][PDF] Runtime MPI Correctness Checking with a Scalable Tools Infrastructure

T Hilbrich - 2016 - d-nb.info
Increasing computational demand of simulations motivates the use of parallel computing
systems. At the same time, this parallelism poses challenges to application developers. The …

[PDF][PDF] D3. 7–Frameworks for Exascale Applications

X Aguilar, S Markidis, AL Cebamanos, A Gray, D Henty… - 2014 - cresta-project.eu
D3.7 – Frameworks for Exascale Applications Page 1 Copyright © CRESTA Consortium
Partners 2014 D3.7 – Frameworks for Exascale Applications WP3: Development Environment …

[PDF][PDF] D3. 4.1–Debugging design document

DL ASL, TH TUD, M O'Connor, M Weiland, MA ABO… - 2011 - cresta-project.eu
This document describes designs, extension steps, and ideas that will allow the debugger
Allinea DDT and the automatic runtime correctness tool MUST to adapt towards Exascale …