feature: detect MPI desynchronizations#4091

Draft

kdrienCG wants to merge 13 commits into

feature/kdrienCG/detectMPIDesync

Commits on Jun 17, 2026

Commits on Jun 18, 2026

store stacktraces on desync detections
kdrienCG
committed

Commits on Jun 19, 2026

wip: use a timeout as desync detection method
kdrienCG
committed

Commits on Jun 22, 2026

wip: use a timeout as desync detection method
kdrienCG
committed