使用大语言模型的数据竞争检测
机器学习
2023-11-28 v2 计算与语言
摘要
大语言模型（LLMs）正展现出作为替代策略的重大前景，以促进高性能计算程序的分析与优化，规避资源密集的手动工具创建需求。本文探索一种结合提示工程与微调技术的新型基于 LLM 的数据竞争检测方法。我们创建名为 DRB-ML 的专用数据集，其源自 DataRaceBench，带有细粒度标签，显示数据竞争对及其关联变量、行号与读/写信息的存在。DRB-ML 随后用于评估代表性 LLM 并微调开源 LLM。我们的实验表明 LLM 可成为数据竞争检测的可行途径。然而，在我们需要关于引发数据竞争的变量对的详细信息时，它们仍无法与传统数据竞争检测工具竞争。
引用
@article{arxiv.2308.07505,
title = {Data Race Detection Using Large Language Models},
author = {Le Chen and Xianzhong Ding and Murali Emani and Tristan Vanderbruggen and Pei-hung Lin and Chuanhua Liao},
journal= {arXiv preprint arXiv:2308.07505},
year = {2023}
}