Towards a Hybrid MPI Correctness Benchmark Suite-Reference-Cited by-同舟云学术

Towards a Hybrid MPI Correctness Benchmark Suite

Published:2022-09-14 Issue: Volume: Page:
ISSN:
Container-title:EuroMPI/USA'22: 29th European MPI Users' Group Meeting
language:
Short-container-title:

Author:

Jammer Tim¹,Hück Alexander¹,Lehr Jan-Patrick¹,Protze Joachim²,Schwitanski Simon²,Bischof Christian¹

Affiliation:

1. Technical University of Darmstadt, Germany

2. RWTH Aachen University, Germany

Funder

Deutsche Forschungsgemeinschaft

Publisher

ACM

Link

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

Reference33 articles.

1. 2022. MPI Forum Issue Tracker. https://github.com/mpi-forum/mpi-issues/issues/117. Accessed: 2022-08-15. 2022. MPI Forum Issue Tracker. https://github.com/mpi-forum/mpi-issues/issues/117. Accessed: 2022-08-15.

2. 2022. ThreadSanitizer. https://clang.llvm.org/docs/ThreadSanitizer.html. Accessed: 2022-08-15. 2022. ThreadSanitizer. https://clang.llvm.org/docs/ThreadSanitizer.html. Accessed: 2022-08-15.

3. Simone Atzeni , Ganesh Gopalakrishnan , Zvonimir Rakamaric , Dong H Ahn , Ignacio Laguna , Martin Schulz , Gregory L Lee , Joachim Protze , and Matthias S Müller . 2016 . ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE international parallel and distributed processing symposium (IPDPS) . IEEE , 53–62. Simone Atzeni, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Dong H Ahn, Ignacio Laguna, Martin Schulz, Gregory L Lee, Joachim Protze, and Matthias S Müller. 2016. ARCHER: Effectively Spotting Data Races in Large OpenMP Applications. In 2016 IEEE international parallel and distributed processing symposium (IPDPS). IEEE, 53–62.

4. David R Butenhof . 1997. Programming with POSIX threads . Addison-Wesley Professional . David R Butenhof. 1997. Programming with POSIX threads. Addison-Wesley Professional.

5. Tim Cramer , Felix Münchhalfen , Christian Terboven , Tobias Hilbrich , and Matthias S Müller . 2016. Extending MUST to Check Hybrid-Parallel Programs for Correctness Using the OpenMP Tools Interface . In Tools for High Performance Computing 2015 . Springer , 85–101. Tim Cramer, Felix Münchhalfen, Christian Terboven, Tobias Hilbrich, and Matthias S Müller. 2016. Extending MUST to Check Hybrid-Parallel Programs for Correctness Using the OpenMP Tools Interface. In Tools for High Performance Computing 2015. Springer, 85–101.

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

1. Temporal-Logic-Based Testing Tool Architecture for Dual-Programming Model Systems;Computers;2024-03-25

2. Investigating the Real-World Applicability of MPI Correctness Benchmarks;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12

3. RMARaceBench: A Microbenchmark Suite to Evaluate Race Detection Tools for RMA Programs;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12

4. Improving MPI Safety for Modern Languages;Proceedings of the 30th European MPI Users' Group Meeting;2023-09-11

5. Investigating the Usage of MPI at Argument-Granularity in HPC Codes;Proceedings of the 30th European MPI Users' Group Meeting;2023-09-11