xalanjava源码-SmartTrack-pldi20:SmartTrack：高度优化的预测性数据竞争检测分析实现

xalan java源码该存储库提供了在我们的 PLDI 2020 论文 #228 SmartTrack：高效预测竞速检测中评估的 SmartTrack 工具的源代码。 SmartTrack 工具代表了我们将时代和所有权优化 (FTO) 和 CCS 优化 (SmartTrack) 应用于未优化预测分析 WCP、DC 和新引入的 WDC 的贡献。 SmartTrack 优化的预测分析实现了与广泛使用的 HB 分析相比具有竞争力的性能，该分析报告了 HB 分析无法找到的难以检测的比赛。 通过提供不同的覆盖范围 - 健全性权衡，基于 SmartTrack 的分析可以利用报告新的预测竞争和更好的性能来检测实践中的少数（如果有的话）错误竞争，这表明预测分析有可能成为检测数据竞争的主流方法，替代HB分析。 有关更多详细信息，请参阅随附的论文：SmartTrack：高效的预测性竞赛检测 设置 克隆存储库并构建源代码。 $ git clone https://github.com/PLaSSticity/SmartTrack-pldi20.git $ cd ~/SmartTrack-pldi20 $