资料介绍
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名锁的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片威廉希尔官方网站 对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中,对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测算法和工具(HB算法和RVPredict)进行对比。实验结果表明,与HB算法和RVPredict工具相比,该方法检测到的数据竞争总数分别增加了81%和16%,数据竞争检测的准确率分别提升了约14%和19%,有效地避免了数据竞争检测中的漏报和误报现象。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 嵌入式系统软件并发缺陷的建模方法 2次下载
- 一种新型的动态混合数据竞争检测算法 4次下载
- 集成流挖掘和图挖掘的内网异常检测方法 7次下载
- Linux平台下面向的fastbin攻击自动检测方法 6次下载
- 一种基于BP神经网络的代码坏味检测方法 7次下载
- 编写PLC程序的步骤是怎么样的 22次下载
- 如何才能在IAR中打包文件详细方法说明 15次下载
- 并发程序中的数据竞争检测的方法有哪些 5次下载
- 怎么样才能使用proteus进行仿真? 3次下载
- 如何进行并发程序中的数据竞争检测方法资料说明 5次下载
- 嵌入式系统死锁检测方法 0次下载
- 基于变量访问序模式的中断数据竞争检测方法 0次下载
- 并发程序动态分析基础威廉希尔官方网站 综述 0次下载
- 基于数据竞争故障的变异策略 0次下载
- Java并发程序设计教程 2次下载
- 独立键盘的检测原理及程序实现的方法 335次阅读
- i.MX6ULL|并发与竞争实验 128次阅读
- 使用MATLAB进行异常检测(下) 1258次阅读
- 关于Actor并发模型的解析 1002次阅读
- Go并发模型的实现原理 876次阅读
- 机器视觉检测威廉希尔官方网站 有什么样的类型 1823次阅读
- 单片机程序的编写方法 3541次阅读
- LED静电失效的原理是什么?有什么检测方法吗? 1122次阅读
- 集成电路的检测方法有哪些如何才能进行常用集成电路的检测 1.5w次阅读
- 如何通过多线程并发设计来提高应用程序的性能 4768次阅读
- 超声波探伤的应用_超声检测方法有哪些 2620次阅读
- 缓存一致性问题及缓存并发问题 4925次阅读
- 怎么样才能解决FPGA中的竞争冒险问题?有以下方法! 4059次阅读
- 开关模式电源电流检测的三种常用检测方法的详细资料介绍 1.3w次阅读
- 并行和并发哪个好?并行和并发的概念和区别 6.5w次阅读
下载排行
本周
- 1使用光敏电阻和LED灯的环境光传感器
- 0.63 MB | 13次下载 | 免费
- 2国民威廉希尔官方网站 N32G4FR使用MMU进行多用户场景下的FLASH分区保护
- 1.42 MB | 6次下载 | 免费
- 3为 FPGA 供电简便易行 -写给采用 FPGA 的数字工程师
- 124.58KB | 5次下载 | 免费
- 4国民威廉希尔官方网站 N32G43XCL-STB开发板资料
- 1.40 MB | 5次下载 | 免费
- 510KW的车载OBC电路图
- 1.31 MB | 4次下载 | 1 积分
- 6自动驾驶汽车开源分享
- 0.01 MB | 4次下载 | 免费
- 7信号链中的"桥接"知识
- 198.14KB | 3次下载 | 免费
- 8建立在LED点阵显示器上的蛇百科
- 0.60 MB | 3次下载 | 免费
本月
- 1射频工程师必备的二十个经典模拟电路
- 0.28 MB | 60次下载 | 免费
- 2现代电源设计大全
- 7.23 MB | 46次下载 | 免费
- 3模拟电子威廉希尔官方网站 基础
- 5.50 MB | 34次下载 | 1 积分
- 4人脸识别开源分享(原理图+PCB+源码)
- 1.88 MB | 33次下载 | 免费
- 5无线电的基础知识分享
- 0.10 MB | 24次下载 | 免费
- 6手机各电路工作原理及故障检修(射频电路篇)
- 1.85 MB | 22次下载 | 免费
- 7反激式开关电源设计说明
- 2.56 MB | 17次下载 | 免费
- 8pcb资料分享
- 8.30 MB | 15次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 934976次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537653次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 1331200 | 419948次下载 | 免费
- 4OrCAD10.5下载,OrCAD10.5中文版软件
- 817182 | 234185次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 232962次下载 | 免费
- 6数据采集系统基础知识视频
- 16.3 MB | 192989次下载 | 免费
- 7电路仿真软件multisim 10.0免费下载
- 340992 | 191040次下载 | 免费
- 8十天学会AVR单片机与C语言视频教程 下载
- 158M | 183170次下载 | 免费
评论
查看更多