feature: detect MPI desynchronizations#4091

Draft

kdrienCG wants to merge 19 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

Commits on Jul 8, 2026

resolve stacktrace on unhappy path only
kdrienCG
committed

Commits on Jul 15, 2026

revert to "match tag" implementation
kdrienCG
committed