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