Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Fu, Xiang, Meng, Shiman, Zhang, Weiping, Guo, Luanzheng, Sato, Kento, Ahn, Dong H., Laguna, Ignacio, Lee, Gregory L., Schulz, Martin
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866908839296630784
author Fu, Xiang
Meng, Shiman
Zhang, Weiping
Guo, Luanzheng
Sato, Kento
Ahn, Dong H.
Laguna, Ignacio
Lee, Gregory L.
Schulz, Martin
author_facet Fu, Xiang
Meng, Shiman
Zhang, Weiping
Guo, Luanzheng
Sato, Kento
Ahn, Dong H.
Laguna, Ignacio
Lee, Gregory L.
Schulz, Martin
contents After all these years and all these other shared memory programming frameworks, OpenMP is still the most popular one. However, its greater levels of non-deterministic execution makes debugging and testing more challenging. The ability to record and deterministically replay the program execution is key to address this challenge. However, scalably replaying OpenMP programs is still an unresolved problem. In this paper, we propose two novel techniques that use Distributed Clock (DC) and Distributed Epoch (DE) recording schemes to eliminate excessive thread synchronization for OpenMP record and replay. Our evaluation on representative HPC applications with ReOMP, which we used to realize DC and DE recording, shows that our approach is 2-5x more efficient than traditional approaches that synchronize on every shared-memory access. Furthermore, we demonstrate that our approach can be easily combined with MPI-level replay tools to replay non-trivial MPI+OpenMP applications. We achieve this by integrating \toolname into ReMPI, an existing scalable MPI record-and-replay tool, with only a small MPI-scale-independent runtime overhead.
format Preprint
id arxiv_https___arxiv_org_abs_2602_15995
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs
Fu, Xiang
Meng, Shiman
Zhang, Weiping
Guo, Luanzheng
Sato, Kento
Ahn, Dong H.
Laguna, Ignacio
Lee, Gregory L.
Schulz, Martin
Distributed, Parallel, and Cluster Computing
After all these years and all these other shared memory programming frameworks, OpenMP is still the most popular one. However, its greater levels of non-deterministic execution makes debugging and testing more challenging. The ability to record and deterministically replay the program execution is key to address this challenge. However, scalably replaying OpenMP programs is still an unresolved problem. In this paper, we propose two novel techniques that use Distributed Clock (DC) and Distributed Epoch (DE) recording schemes to eliminate excessive thread synchronization for OpenMP record and replay. Our evaluation on representative HPC applications with ReOMP, which we used to realize DC and DE recording, shows that our approach is 2-5x more efficient than traditional approaches that synchronize on every shared-memory access. Furthermore, we demonstrate that our approach can be easily combined with MPI-level replay tools to replay non-trivial MPI+OpenMP applications. We achieve this by integrating \toolname into ReMPI, an existing scalable MPI record-and-replay tool, with only a small MPI-scale-independent runtime overhead.
title Distributed Order Recording Techniques for Efficient Record-and-Replay of Multi-threaded Programs
topic Distributed, Parallel, and Cluster Computing
url https://arxiv.org/abs/2602.15995