RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs-Reference-Cited by-同舟云学术

RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs

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:

Schwitanski Simon¹^ORCID,Jenke Joachim¹^ORCID,Klotz Sven¹^ORCID,Müller Matthias S.¹^ORCID

Affiliation:

1. Chair for High Performance Computing, IT Center, RWTH Aachen University, Germany

Publisher

ACM

Link

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

Reference31 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 ’21 - European MPI Users’ Group Meeting. Tassadit Célia Aitkaci, Marc Sergent, Emmanuelle Saillard, Denis Barthou, and Guillaume Papauré. 2021. Dynamic Data Race Detection for MPI-RMA Programs. In EuroMPI ’21 - European MPI Users’ Group Meeting.

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

3. OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM

4. MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications

5. MC-CChecker

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

1. Indigo3: A Parallel Graph Analytics Benchmark Suite for Exploring Implementation Styles and Common Bugs;ACM Transactions on Parallel Computing;2024-08-27

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