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 paper, 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.

中文翻译：

---

LLOV：用于 OpenMP 程序的快速静态数据竞争检查器

在 Exascale 计算时代，编写高效的并行程序必不可少，同时编写完善的并行程序也非常困难。使用 OpenMP 等框架指定并行性相对容易，但这些程序中的数据竞争是错误的重要来源。在本文中，我们提出了 LLOV，这是一种基于 LLVM 编译器框架的用于 OpenMP 程序的快速、轻量级、与语言无关的静态数据竞争检查器。我们在各种完善的基准测试中将 LLOV 与其他最先进的数据竞赛检查器进行比较。我们表明 LLOV 的精确度、准确度和 F1 分数与其他跳棋不相上下，同时速度要快几个数量级。据我们所知，