电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
数据竞争是多线程程序并发错误的主要来源，目前已有许多静态和动态程序分析技术用于检测数据竞争，但这些检测器或者会产生巨大的检测开销，或者会漏掉许多真实的数据竟争错误。文中提出了一种基于优化的 Fasttrack算法和锁模式的动态混合数据竟争检测算法 Asamplelock。该算法利用采样技术，监控同一时刻同时运行的来自并发线程的函数对，通过预竞争检测获得真正涉及数据竟争的内存访问对，从而减小竟争检测分析开销;为了减弱线程调度对算法相关性能的影响，Asamplelock算法采用 nolock-hb关系来判断访问事件的并发关系;采用map记录所有共享变量的读写信息，并采用锁模式进行动态数据竟争检测，降低漏报率和误报率。基于上述方法实现了原型系统 Asamplelock，选择基准测试集 Parsec对该系统进行评估，并与 Fasttrack算法、 Literace算法和 Multilock-HB算法进行对比。实验结果表明， Asamplelock算法与 Fast Track算法相比整体时间开销平均降低了8%; Asamplelock算法的数据竟争检测率与 Literace算法和 Fasttrack算法相比分别増加了39%和27%。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于最优检测门限的数据干扰能量检测算法 7次下载
- 一种改进的单激发探测器小目标检测算法 5次下载
- 一种融合深度和浅层特征的多视觉癫痫检测算法 8次下载
- 利用k-prototype聚类的差分隐私混合数据发布算法 4次下载
- 一种协作式步进频域能量检测算法 8次下载
- 一种新型的高维数据流离群点快速检测算法 12次下载
- 如何实现一种深度特征导向显著性检测算法 0次下载
- 一种低开销的机会网络社区检测算法 0次下载
- 一种双门限语音端点检测算法的ASIC实现 1次下载
- 一种基于深度神经网络的基音检测算法 0次下载
- 基于动态神经网络的交通事件检测算法 26次下载
- 一种微分极值的边缘检测算法
- 空间相关环境下一种稳健的V-BLAST迭代检测算法
- 一种改进的数学形态学边缘检测算法
- 基于形态灰度边缘检测算法的一种改进
- 如何实现一种具有介质腔与金属腔体混合的新型带通滤波器的设计？ 936次阅读
- 一种针对柔性器件动态测试的新型实验装置 362次阅读
- 无Anchor的目标检测算法边框回归策略 908次阅读
- 基于一种用于JumpStarter的抗离群的采样算法 564次阅读
- 关于边缘检测算子的实现原理 1303次阅读
- 采用基于时间序列的日志异常检测算法应用 1447次阅读
- 浅谈红外弱小目标检测算法 5470次阅读
- 基于改进FCOS的钢带表面缺陷检测算法 1394次阅读
- SIGAI将为大家回顾行人检测算法的发展历程 4469次阅读
- 关于一种基于动态规划的机动目标检测前跟踪方法 8395次阅读
- 行人检测算法的发展历程 9228次阅读
- 基于yolo算法进行改进的高效卫星图像目标检测算法 1.1w次阅读
- 机器学习算法概览:异常检测算法/常见算法/深度学习 1.7w次阅读
- 基于神经网络的含噪动态源分离算法 4160次阅读
- 基于接收机的应用提出了一种混合式高动态范围AGC算法 6763次阅读
上传资料赚积分下载排行
本周
- 1普中科技HC6800-EM3使用操作手册
- 21.69 MB | 3次下载 | 2 积分
- 2PCB板EMC/EMI的设计技巧
- 0.20 MB | 3次下载 | 免费
- 32024PMIC市场洞察
- 2.23 MB | 2次下载 | 免费
- 4MSP430™闪存器件引导加载程序(BSL)
- 1.45MB | 2次下载 | 免费
- 5PL4807单节锂离子电池充电器中文手册
- 1.36 MB | 2次下载 | 免费
- 6LTH7充电电路和锂电池升压5V输出电路原理图
- 0.04 MB | 1次下载 | 免费
- 7HT2120两节锂电池保护板电路
- 0.22 MB | 1次下载 | 免费
- 8BQ77207EVM用户指南
- 865.23KB | 1次下载 | 免费
本月
- 1XL4015+LM358恒压恒流电路图
- 0.38 MB | 151次下载 | 1 积分
- 2PCB布线和布局电路设计规则
- 0.40 MB | 33次下载 | 免费
- 3智能门锁原理图
- 0.39 MB | 13次下载 | 免费
- 4GB/T4706.1-2024 家用和类似用途电器的安全第1部分：通用要求
- 7.43 MB | 11次下载 | 1 积分
- 5JESD79-5C_v1.30-2024 内存技术规范
- 2.71 MB | 10次下载 | 免费
- 6elmo直线电机驱动调试细则
- 4.76 MB | 9次下载 | 6 积分
- 7WIFI智能音箱原理图完整版
- 0.09 MB | 7次下载 | 10 积分
- 8PC1013三合一快充数据线充电芯片介绍
- 1.03 MB | 7次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935115次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183332次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73806次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
工商网监
评论