LLOR: Automated Repair of OpenMP Programs
Indian Institute of Technology Hyderabad, India
arXiv:2411.14590 [cs.DC], (21 Nov 2024)
@misc{bora2024llorautomatedrepairopenmp,
title={LLOR: Automated Repair of OpenMP Programs},
author={Utpal Bora and Saurabh Joshi and Gautam Muduganti and Ramakrishna Upadrasta},
year={2024},
eprint={2411.14590},
archivePrefix={arXiv},
primaryClass={cs.DC},
url={https://arxiv.org/abs/2411.14590}
}
In this paper, we present a technique for repairing data race errors in parallel programs written in C/C++ and Fortran using the OpenMP API. Our technique can also remove barriers that are deemed unnecessary for correctness. We implement these ideas in our tool called LLOR, which takes a language-independent approach to provide appropriate placements of synchronization constructs to avoid data races. To the best of our knowledge, LLOR is the only tool that can repair parallel programs that use the OpenMP API. We showcase the capabilities of LLOR by performing extensive experiments on 415 parallel programs.
December 8, 2024 by hgpu
