365bet体育在线官网

<menuitem id="ek6ag"><tr id="ek6ag"><noscript id="ek6ag"></noscript></tr></menuitem>

  • <track id="ek6ag"></track>

      并发程序中的数据竞争检测的方法有哪些

      资料大?。?/em> 0.84 MB

      所需积分: 0

      下载次数:

      用户评论: 0条评论,查看

      上传日期: 2019-10-24

      上 传 者: 易水寒他上传的所有资料

      资料介绍

      标签:

        针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片技术对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中,对JGF和IBMContest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测算法和工具(HB算法和RVPredict)进行对比。实验结果表明,与HB算法和RVPredict工具相比,该方法检测到的数据竞争总数分别增加了81%和16%,数据竞争检测的准确率分别提升了约14%和19%,有效地避免了数据竞争检测中的漏报和误报现象。

      下载地址

      并发程序中的数据竞争检测的方法有哪些下载

      用户评论

      查看全部 条评论

      发表评论请先 , 还没有账号?免费注册。

      发表评论

      用户评论
      技术交流、我要发言! 发表评论可获取积分! 请遵守相关规定。
      上传电子资料

      本月热点资料

      电子资料热门词

      最新资料

      下载排行

      本周

      本月

      总榜

      行业聚焦

      365bet体育在线