构建动态数据竞争检测平台

最新推荐文章于 2020-11-30 10:44:02 发布

勿到

最新推荐文章于 2020-11-30 10:44:02 发布

阅读量826

点赞数

文章标签：动态数据竞争检测平台

本文链接：https://blog.csdn.net/yangzhen92/article/details/51759634

版权

本文探讨了动态数据竞争检测的重要性，分析了基于Lockset、happens-before及混合方法的实验对比，并提出通过动态二进制插桩（如Intel Pin）来监测程序行为。重点讨论了如何选择插桩方式、监视哪些行为（如线程同步原语）以及如何构建事件驱动的动态数据竞争检测平台，以实现不同检测算法的扩展性和实验分析的便利性。

摘要由CSDN通过智能技术生成

之前的文章分别介绍了基于Lockset算法、基于happens-before关系以及基于两者混合的方法。对于这些方法，已有的一些论文中提到的有关实验对比可能都比较片面或是不太客观，因此实现这些方法做一个比较全面的实验对比分析是很有必要的，不仅可以对这些已有的方法有一个更深入的理解，同时也能够发现他们存在的一些共性问题，方便后续的研究。
在实现之前文章提出的动态数据竞争检测方法之前，有以下几个人问题需要思考。

1. 如何动态监视程序的行为？
一般情况下都会采取插桩来进行对程序行为的监视，插桩又分为静态源码插桩，静态二进制插桩，动态二进制插桩等。静态插桩的话，会改变原始程序的结构，因此这里我们采取动态二进制插桩。比较经典的动态二进制插桩平台包括Intel Pin，DynamoRIO以及Valgrind。Pin的话由于其良好的兼容性，丰富的API接口使得其使用更加广泛。这里的话，我们使用Pin来帮助我们对程序进行动态二进制插桩，从而监视程序运行过程中的行为。
Pin框架
我们可以通过编写Pintool来实现我们自己想要的一些逻辑，通过API来从Pin中获取程序相关的信息。这里有关Pin以及如何编写Pintool将会在后面的文章中陆续介绍。