资料介绍
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名锁的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片技术对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用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次下载
- 并发程序中的数据竞争检测的方法有哪些 0次下载
- 怎么样才能使用proteus进行仿真?
- 如何进行并发程序中的数据竞争检测方法资料说明 5次下载
- 嵌入式系统死锁检测方法 0次下载
- 基于变量访问序模式的中断数据竞争检测方法 0次下载
- 并发程序动态分析基础技术综述 0次下载
- 基于数据竞争故障的变异策略 0次下载
- Java并发程序设计教程 2次下载
- 电动机故障检测方法有哪些 2681次阅读
- 芯片胶点胶加工的效果和质量的检测方法有哪些? 644次阅读
- 集成芯片好坏检测方法有哪些 2150次阅读
- 独立键盘的检测原理及程序实现的方法 2668次阅读
- i.MX6ULL|并发与竞争实验 490次阅读
- 关于Actor并发模型的解析 2072次阅读
- 单片机程序的编写方法 4426次阅读
- LED静电失效的原理是什么?有什么检测方法吗? 1776次阅读
- 集成电路的检测方法有哪些如何才能进行常用集成电路的检测 1.7w次阅读
- 如何通过多线程并发设计来提高应用程序的性能 5331次阅读
- 超声波探伤的应用_超声检测方法有哪些 3392次阅读
- 缓存一致性问题及缓存并发问题 5280次阅读
- 关于嵌入式串口同步帧数方法解析知识你知道多少?该怎么样才能学好嵌入式技术? 1485次阅读
- 怎么样才能解决FPGA中的竞争冒险问题?有以下方法! 4853次阅读
- 并行和并发哪个好?并行和并发的概念和区别 6.5w次阅读
下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料(电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
电子发烧友App






创作
发文章
发帖
提问
发资料
发视频
上传资料赚积分
评论