LLOV

doi:10.1145/3418597

LLOV

2020-12-22

0

OA

AI

DOI：10.1145/3418597

原文链接

查看原文

摘要

En 中文

在Exascale计算时代，编写高效的并行程序是不可或缺的，同时，编写正确的并行程序也极为困难。使用OpenMP等框架指定并行性相对容易，但这些程序中的数据竞争是重要的错误来源。本文提出LLOV，一种基于LLVM编译器框架的快速、轻量级、语言无关的静态数据竞争检测器，用于OpenMP程序。我们将LLOV与现有的其他先进数据竞争检测器在多种公认的基准测试上进行比较。我们表明，LLOV的精确度、准确度和F1分数与其他检测器相当，但速度快一个数量级。据我们所知，LLOV是现有先进数据竞争检测器中唯一能够验证C/C++或FORTRAN程序无数据竞争的工具。

LLOV

摘要

AI总结

期刊

机构

引用论文