资料介绍
针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名锁的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片技术对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中,对JGF和IBMContest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测算法和工具(HB算法和RVPredict)进行对比。实验结果表明,与HB算法和RVPredict工具相比,该方法检测到的数据竞争总数分别增加了81%和16%,数据竞争检测的准确率分别提升了约14%和19%,有效地避免了数据竞争检测中的漏报和误报现象。
- USB数据抓包软件程序下载 4次下载
- 嵌入式系统软件并发缺陷的建模方法 2次下载
- 一种新型的动态混合数据竞争检测算法 4次下载
- 集成流挖掘和图挖掘的内网异常检测方法 7次下载
- 一种全新的高光谱数据异常检测方法 11次下载
- Linux平台下面向的fastbin攻击自动检测方法 6次下载
- 一种基于BP神经网络的代码坏味检测方法 7次下载
- 可减少错误数据产生的规则链自动组合与检测方法 8次下载
- 怎么样才能检测并发程序中的数据竞争有哪些方法 21次下载
- 如何进行并发程序中的数据竞争检测方法资料说明 5次下载
- 基于变量访问序模式的中断数据竞争检测方法 0次下载
- 并发程序动态分析基础技术综述 0次下载
- 基于程序控制流完整性检测的软错误检测方法 0次下载
- 基于数据竞争故障的变异策略 0次下载
- Java并发程序设计教程 2次下载
- 独立键盘的检测原理及程序实现的方法 955次阅读
- i.MX6ULL|并发与竞争实验 276次阅读
- 关于并发编程与线程安全的思考与实践 214次阅读
- 关于Actor并发模型的解析 1345次阅读
- Go并发模型的实现原理 1032次阅读
- 单片机程序的编写方法 3785次阅读
- LED静电失效的原理是什么?有什么检测方法吗? 1274次阅读
- 传感器检测的三种方法解析 9166次阅读
- 如何通过多线程并发设计来提高应用程序的性能 4960次阅读
- 涡流探伤的检测方法 3524次阅读
- 大型网站如何解决高并发带来的问题 2309次阅读
- 缓存一致性问题及缓存并发问题 5041次阅读
- MATLAB程序调试的方法及工具介绍 6122次阅读
- 数据显示:中国程序员是世界上最牛的程序员 523次阅读
- 并行和并发哪个好?并行和并发的概念和区别 6.5w次阅读
下载排行
本周
- 1储能电源市场分析
- 7.99 MB | 6次下载 | 免费
- 2传感芯片选型指南
- 3.60 MB | 5次下载 | 免费
- 3带有集成场效应晶体管(FET) 的3.1V至5.5V输入,3A输出同步降压稳压器TPS51312数据表
- 1.28MB | 4次下载 | 免费
- 4光伏太阳能电池板可编程最大功率点跟踪控制器SM72442数据表
- 373.53KB | 2次下载 | 免费
- 5采用3mmx3mm四方扁平无引线(QFN) 封装的3-17V 1A 降压转换器TPS6215xx-Q1数据表
- 1.81MB | 1次下载 | 免费
- 650-A,4.5-V至14-V输入,非隔离,宽输出调节,采用TurboTrans™技术的电源模块PTH08T250W数据表
- 2.42MB | 1次下载 | 免费
- 7IP5383 QFN60 规格书pdf
- 3.19 MB | 1次下载 | 免费
- 8磁环电感定制时应该注意什么
- 0.32 MB | 1次下载 | 免费
本月
- 1ES9038PRO解码芯片的电路原理图介绍
- 0.25 MB | 33次下载 | 5 积分
- 2UHD智能显示SoC VS680产品简介
- 0.46 MB | 11次下载 | 免费
- 3STM32国内外发展现状
- 1.15 MB | 10次下载 | 免费
- 4TDK电容器产品指南
- 11.88 MB | 7次下载 | 1 积分
- 5CR6842 12V/5A 反激式开关电源方案介绍
- 0.10 MB | 6次下载 | 免费
- 6电池管理系统(BMS)软硬件介绍
- 0.23 MB | 6次下载 | 2 积分
- 716A 输出电流,高可靠、高效率 同步降压转换器PCD3201产品手册
- 0.47 MB | 6次下载 | 免费
- 8储能电源市场分析
- 7.99 MB | 6次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935085次下载 | 免费
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420050次下载 | 免费
- 3Altium DXP2002下载入口
- 未知 | 233067次下载 | 免费
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191316次下载 | 免费
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183316次下载 | 免费
- 6labview8.5下载
- 未知 | 81567次下载 | 免费
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73786次下载 | 免费
- 8NI LabVIEW中实现3D视觉的工具和技术
- 未知 | 70088次下载 | 免费
评论
查看更多