【摘 要】
:
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检测开销,或者会漏掉许多真实的数据竞争错误
【机 构】
:
中原工学院前沿信息技术研究院,河南省网络舆情监测与智能分析重点实验室
【基金项目】
:
国家重点研发计划项目(2016QY07X1503,162300410190)
论文部分内容阅读
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检测开销,或者会漏掉许多真实的数据竞争错误。文中提出了一种基于优化的FastTrack算法和锁模式的动态混合数据竞争检测算法AsampleLock。该算法利用采样技术,监控同一时刻同时运行的来自并发线程的函数对,通过预竞争检测获得真正涉及数据竞争的内存访问对,从而减小竞争检测分析开销;为了减弱线程调度对算法相关性能的影响,AsampleLock算法采用nolock-hb关系来判断访问事件
其他文献
针对高速系统中存在的模型不确定性和外部扰动等问题,设计了基于内模原理的H∞高精度控制器。建立的伺服系统的数学模型将混合灵敏度问题转化为H∞控制问题。仿真结果表明,所提
<正> 榆球坚蚧 Eulecanium ulmicola新种(图1) 产卵前雌成虫体长4.5(3.5~5.6)mm、宽3.4(3—4.5)mm、高3.2(2.2—4)mm;极个别虫体长2mm或超过5.6mm。体半球形至卵形、高突;褐色
电弧炉终点温度是炼钢过程中的重要指标之一,决定了钢水的质量和整体成本。电弧炉终点温度预报模型的建立是实现炼钢自动化的重要环节,为了得到高精度的终点温度预报值,提出了一
港口企业分配形式的改善第三装卸公司徐云国随着我国经济体制改革的不断深入和发展,建立现代企业制度、搞活国有大中型企业已成为当前最紧迫、最热门的课题。如何做好挖潜改造
为解决一种复杂非线性多输人多输出系统的控制器设计问题,对两自由度直升机模型的实时控制方法进行了研究。在详细分析力学和运动学的基础上,利用拉格朗日方法,比较准确地求得了
可视秘密分享将数字图像处理和秘密共享相结合,将秘密图像加密成多个共享份,在秘密恢复时将符合条件的共享份进行叠加,通过人眼直接解密秘密信息,具有解密复杂度低、信息容量
不同药剂对褐稻虱的田间种群毒理机制初探刘贤进,杜正文(江苏省农业科学院植物保护研究所南京210014)药剂对田间害虫种群的各种群体特征的影响研究是药剂田间毒理学的一项重要内容,不仅
<正>微分中值定理是高等数学数学分析中的一组重要的定理,包括罗尔、拉格朗日、柯西三定理,在一般的教材或教学参考书[1]、[2]、[3]中,均以罗尔定理为基础,运用集合分析法构
改革开放40年来,我国经济实现了跨越式发展,我国经济总量从1978年的3679亿元跃升至2017年的827122亿元,位居全球第二,增长33.5倍。2017年,我国电子信息产业销售突破18万亿元