dyndatarace:动态数据竞争检测-源码

动态数据竞赛 动态数据竞争检测工具 (Dyndatarace)：版权所有 2014 Onder Kalaci，Alper Sen，Bogazici 大学。 该存储库包括 Dyndatarace 的预编译可执行文件和源代码，Dyndatarace 是一种基于二进制检测的混合动态数据竞争检测工具。 还包括执行以下出版物中描述的实验所需的所有数据。 Onder Kalaci，并行程序中的动态数据竞争检测，硕士论文，Bogazici 大学，2014 年。主管：Alper Sen Onder Kalaci、Alper Sen，“多线程程序的混合数据竞争检测”，技术报告，Bogazici 大学，2014 年。 该发行版包括四个不同的 pintools，位于“pintools”文件夹下。 我们的算法在 SegmentBasedHybrid 目录中。 在我们的实验中，我们使用了以下版本的工具：