Affiliation:
1. IIT Hyderabad, Kandi, Telangana, India
2. Colorado State University, Fort Collins, Colorado, USA
Abstract
In the era of Exascale computing, writing efficient parallel programs is indispensable, and, at the same time, writing sound parallel programs is very difficult. Specifying parallelism with frameworks such as OpenMP is relatively easy, but data races in these programs are an important source of bugs. In this article, we propose LLOV, a fast, lightweight, language agnostic, and static data race checker for OpenMP programs based on the LLVM compiler framework. We compare LLOV with other state-of-the-art data race checkers on a variety of well-established benchmarks. We show that the precision, accuracy, and the F1 score of LLOV is comparable to other checkers while being orders of magnitude faster. To the best of our knowledge, LLOV is the only tool among the state-of-the-art data race checkers that can verify a C/C++ or FORTRAN program to be data race free.
Funder
Advanced Micro Devices
Ministry of Electronics and Information technology
Publisher
Association for Computing Machinery (ACM)
Subject
Hardware and Architecture,Information Systems,Software
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Music teaching software development based on neural network algorithm and user analysis;Entertainment Computing;2024-03
2. HPC-GPT: Integrating Large Language Model for High-Performance Computing;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
3. Mapping High-Level Concurrency from OpenMP and MPI to ThreadSanitizer Fibers;Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis;2023-11-12
4. SmallRace: Static Race Detection for Dynamic Languages - A Case on Smalltalk;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. Model Checking Race-Freedom When “Sequential Consistency for Data-Race-Free Programs” is Guaranteed;Computer Aided Verification;2023