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目录中。在我们的实验中,我们使用了以下版本的工具:
下载地址
用户评论