依赖感知的无界可靠预测性竞态检测
编程语言
2021-06-29 v5
摘要
数据竞态是并行软件的真实问题，却难以检测。可靠预测性分析观察一次程序执行并检测在某些未观察到的执行中存在的的数据竞态。然而，现有预测性分析遗漏竞态，因为它们无法扩展到完整程序执行或不能精确纳入数据与控制依赖。本文提出两种新颖的可靠预测方法，它们纳入数据与控制依赖并处理完整程序执行。使用真实大型Java程序的评估表明，这些方法比最接近的相关方法检测出更多数据竞态，从而推进了可靠预测性竞态检测的技术水平。
引用
@article{arxiv.1904.13088,
title = {Dependence-Aware, Unbounded Sound Predictive Race Detection},
author = {Kaan Genç and Jake Roemer and Yufan Xu and Michael D. Bond},
journal= {arXiv preprint arXiv:1904.13088},
year = {2021}
}