Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers-Reference-Cited by-同舟云学术

Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers

Published:2023-11-12 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis
language:
Short-container-title:

Author:

Jenke Joachim¹^ORCID,Schwitanski Simon¹^ORCID,Thärigen Isabel¹^ORCID,Müller Matthias S.¹^ORCID

Affiliation:

1. RWTH Aachen University, Germany

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3624062.3624085

Reference24 articles.

1. Tassadit Célia Aitkaci , Marc Sergent , Emmanuelle Saillard , Denis Barthou , and Guillaume Papauré . 2021 . Dynamic Data Race Detection for MPI-RMA Programs. In EuroMPI 2021 - European MPI Users’s Group Meeting . Munich, Germany. https://hal.archives-ouvertes.fr/hal-03374614 Tassadit Célia Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou, and Guillaume Papauré. 2021. Dynamic Data Race Detection for MPI-RMA Programs. In EuroMPI 2021 - European MPI Users’s Group Meeting. Munich, Germany. https://hal.archives-ouvertes.fr/hal-03374614

2. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications

3. Hans-Juergen Boehm . 2011 . How to Miscompile Programs with "Benign" Data Races . In 3rd USENIX Workshop on Hot Topics in Parallelism, HotPar’11 , Berkeley, CA, USA , May 26-27, 2011. https://www.usenix.org/conference/hotpar-11/how-miscompile-programs-benign-data-races Hans-Juergen Boehm. 2011. How to Miscompile Programs with "Benign" Data Races. In 3rd USENIX Workshop on Hot Topics in Parallelism, HotPar’11, Berkeley, CA, USA, May 26-27, 2011. https://www.usenix.org/conference/hotpar-11/how-miscompile-programs-benign-data-races

4. LLOV

5. Christian Clémençon , Josef Fritscher , Michael J. Meehan , and Roland Rühl . 1995. An Implementation of Race Detection and Deterministic Replay with MPI . In Euro-Par(Lecture Notes in Computer Science, Vol. 966) . Springer , 155–166. Christian Clémençon, Josef Fritscher, Michael J. Meehan, and Roland Rühl. 1995. An Implementation of Race Detection and Deterministic Replay with MPI. In Euro-Par(Lecture Notes in Computer Science, Vol. 966). Springer, 155–166.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. RMASanitizer: Generalized Runtime Detection of Data Races in Remote Memory Access Applications;Proceedings of the 53rd International Conference on Parallel Processing;2024-08-12

2. Towards Correctness Checking of MPI Partitioned Communication in MUST;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12