基于Pending Period的数据竞争检测机制

来源 :华中科技大学 | 被引量 : 0次 | 上传用户:L936355705
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术的不断发展,并行编程作为一种有效的提高程序运行效率的手段,已经越来越融入到日常的软件研发项目中了。并行编程虽然为程序的快速运行带来诸多的便利,但是同样会带来许多问题与麻烦,数据竞争就是并行编程过程中经常出现,但是却难以根治的一类问题。当前一些数据竞争检测工具虽然能够有效的检测出数据竞争,但是却存在开销过大,扩展性差的问题,使得其难以在实际的生产中应用。基于Pending Period的数据竞争检测机制实现了基于物理时钟的数据竞争检测机制,该机制利用物理时钟的一致性,代替原有的逻辑时钟记录事件偏序顺序的方式,解决维护一致性高开销的问题,提高了程序的可扩展性。与此同时,与原有记录锁编号用于区别不同锁的方式,在基于Pending Period的数据竞争检测机制中不需要对不同的锁进行区分,进一步提高了检测效率。此外,基于Pending Period的数据竞争检测机制采用局部变量保存变量的pending period,有效减少了大量访问相同变量时,频繁访问修改全局变量导致的额外开销,提高了系统性能。实验结果表明,相较于采用逻辑时钟的FastTrack数据竞争检测工具,提出的方法在性能和可扩展性方面都表现出很大优势,时间开销平均减少53.72%。相较于混合了逻辑时钟和lockset的ThreadSanitizer检测工具,减少了41.05%的开销。与同为基于重叠检测的算法IFRit相比,也减少了21.01%的时间开销,同时提升了被检测出的数据竞争的数量。同时该方法也可以采用采样算法减少开销,在10%的采样率下,开销相较于同是采样算法的Pacer,性能提高了31.28%。
其他文献
“为政之要,惟在得人”。党的十九大报告提出,人才是实现民族振兴、赢得国际竞争主动的战略资源。公务员是国家治理的执行者和政府形象的代言人,其能力素质的高低,关系到政府的服务水平和行政效能。作为政府吸纳优秀人才的入口,公务员考录制度在为经济发展和社会进步提供了强有力的人才支撑的同时,也暴露出一些问题。研究如何完善和优化公务员考录工作机制,对于提升人才选拔质效,合理配置人才资源,提高公务员管理科学化水平
21世纪的竞争,归根结底是人才的竞争。因此人才的管理是企业的重中之重,员工关系管理影响到人才管理的质量,因而,影响到企业的可持续发展。NF公司是国有企业,专注于集装箱制造,其制造生产的集装箱远销世界各地,由于近两年经济发展影响,公司经济订单骤减,生产线也相应减少,工作任务急剧下降,基层员工出现大量富余,公司安排轮流停工待岗,待岗期间只发基本工资,员工收入直线下降,且职业病员工逐年增多,劳动纠纷频发
环氧树脂因其良好的加工性能、绝缘性能、耐腐蚀性能及良好的粘结性从而在高压绝缘领域有广泛的应用,但是随着电压等级的不断提高,环氧树脂热导率低,韧性不足的缺点逐渐暴露出来,如何在保证环氧树脂绝缘性能的基础上,提升树脂的导热性能及韧性,使其能够满足不同高压电气设备对于绝缘材料的不同要求,扩展其应用范围,是目前绝缘材料领域的研究热点,填充型环氧树脂复合材料因其能够改善环氧树脂的性能且工艺简单,从而受到越来
在自行研制的催化裂化预混再剂汽提实验装置中,以FCC平衡催化剂、空气和水蒸气作为流化介质,对实验装置流态化性能进行研究。考察了预提升气速、反应提升气速、再剂提升气速
随着现实生活中数据量的急剧增长,数据挖掘在各个研究领域都引起了极大的关注,特别是游戏领域。频繁项集挖掘是一种非常流行的数据挖掘技术,在许多重要的数据挖掘任务中发挥
杂环化合物是一类非常重要的有机化合物,而含氧、氮杂环化合物又是杂环化合物的重要组成。异香豆素是苯并六元内酯类化合物,它是一类在自然界中广泛存在的天然内酯类化合物,
储罐属于薄壁壳结构,经常用于储存有毒、易燃、易爆的液态介质,一旦其遭到地震破坏,便会导致严重灾难,后果不堪设想。储罐的大型化和采用高强度钢使得罐壁减薄,从而使得罐壁
蛋白质的乙酰化修饰是一种重要的、高度保守且可逆的蛋白质翻译后修饰,最初是在组蛋白中发现,它是由组蛋白乙酰转移酶(HATs)和组蛋白去乙酰转移酶(HDACs)催化调控。组蛋白的乙酰化修饰是生物体生命活动中一种重要的调节方式,在真核生物的基因转录调控中发挥着关键作用。随着对组蛋白乙酰化的广泛研究深入,人们发现在组蛋白之外,非组蛋白也存在乙酰化修饰。前期研究中,本课题组通过nano-HPLC/MS/MS
浮箍浮鞋是固井作业中的专用元件,其作用是在下套管过程中防止井底浆体倒流,使套管顺利下井。浮箍浮鞋使得固井作业变得更加安全可靠。由于浮箍、浮鞋的特殊作用,需要在出厂
在动态图处理系统中,保持图计算结果实时更新至关重要,增量计算能重用历史计算结果来保持计算结果实时更新。然而,现有的异步增量图处理系统仍受限于欠佳的图计算收敛速度,这