【摘 要】
：
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检测开销,或者会漏掉许多真实的数据竞争错误
【机 构】
：
中原工学院前沿信息技术研究院,河南省网络舆情监测与智能分析重点实验室
【基金项目】
：
国家重点研发计划项目(2016QY07X1503,162300410190)
论文部分内容阅读
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检测开销,或者会漏掉许多真实的数据竞争错误。文中提出了一种基于优化的FastTrack算法和锁模式的动态混合数据竞争检测算法AsampleLock。该算法利用采样技术,监控同一时刻同时运行的来自并发线程的函数对,通过预竞争检测获得真正涉及数据竞争的内存访问对,从而减小竞争检测分析开销;为了减弱线程调度对算法相关性能的影响,AsampleLock算法采用nolock-hb关系来判断访问事件
其他文献
针对高速系统中存在的模型不确定性和外部扰动等问题，设计了基于内模原理的H∞高精度控制器。建立的伺服系统的数学模型将混合灵敏度问题转化为H∞控制问题。仿真结果表明，所提
电弧炉终点温度是炼钢过程中的重要指标之一，决定了钢水的质量和整体成本。电弧炉终点温度预报模型的建立是实现炼钢自动化的重要环节，为了得到高精度的终点温度预报值，提出了一
为解决一种复杂非线性多输人多输出系统的控制器设计问题，对两自由度直升机模型的实时控制方法进行了研究。在详细分析力学和运动学的基础上，利用拉格朗日方法，比较准确地求得了
可视秘密分享将数字图像处理和秘密共享相结合,将秘密图像加密成多个共享份,在秘密恢复时将符合条件的共享份进行叠加,通过人眼直接解密秘密信息,具有解密复杂度低、信息容量
<正>微分中值定理是高等数学数学分析中的一组重要的定理,包括罗尔、拉格朗日、柯西三定理,在一般的教材或教学参考书[1]、[2]、[3]中,均以罗尔定理为基础,运用集合分析法构
改革开放40年来,我国经济实现了跨越式发展,我国经济总量从1978年的3679亿元跃升至2017年的827122亿元,位居全球第二,增长33.5倍。2017年,我国电子信息产业销售突破18万亿元