DataRaceBench V1.4.1 与 DataRaceBench-ML V0.1：数据竞争检测基准套件
软件工程
2023-08-17 v1
摘要
数据竞争因对程序正确性的负面影响，在多线并行应用中构成重大威胁。DataRaceBench 是一个开源基准套件，专门以系统化、可度量的方式评估这些数据竞争检测工具。机器学习技术近来在高性能计算（HPC）程序分析与优化中展现出可观潜力。然而，这些技术需要专门的数据格式用于训练与精化。本文给出 DataRaceBench 的最新更新，纳入了 Wu 等人 \cite{wu2023model} 贡献的新数据竞争，并引入名为 DataRaceBench-ML (DRB-ML) \cite{drbml} 的衍生数据集。DRB-ML 顺应机器学习与大型语言模型的新兴趋势。该数据集源自 DataRaceBench，包含标明是否存在数据竞争的详细标签，并提供相关变量的全面信息，如变量名、行号与操作（读/写）。DRB-ML 的独特之处在于，我们还集成了一系列专为 LLM 微调定制的提示-响应对。
引用
@article{arxiv.2308.08473,
title = {DataRaceBench V1.4.1 and DataRaceBench-ML V0.1: Benchmark Suites for Data Race Detection},
author = {Le Chen and Wenhao Wu and Stephen F. Siegel and Pei-Hung Lin and Chunhua Liao},
journal= {arXiv preprint arXiv:2308.08473},
year = {2023}
}