【摘 要】
：
为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃
【基金项目】
：
河北省自然科学基金(18960106D),河北省高等学校科学研究重点项目(ZD2019093)
论文部分内容阅读
为了提高数据竞争检测过程的准确性,提出了一种基于上下文敏感分析的数据竞争检测方法。使用控制流分析构建上下文敏感的调用图,采用逃逸分析查找出可能发生数据竞争的线程逃逸对象,进行上下文敏感的别名分析以减少误报和漏报,通过发生序关系判断消除由于忽略线程交互而导致的误报。依据该方法,在WALA软件分析框架实现了一个数据竞争检测工具ConRacer,并将该工具与现有的检测工具SRD和RVPredict进行了比较。结果表明,与SRD和RVPredict相比,ConRacer的检测准确度最高,不仅可以有效地检测数据竞争
其他文献
冠状动脉旁路移植术能够有效缓解患者的心绞痛症状，改善心肌供血，避免心肌梗死的发生，提高生活质量和延长寿命，是治疗冠心病心肌缺血最有效的方法。气管切开术是保持呼吸道通畅的
总结了9例严重气管支气管损伤病人的临床护理。主要包括术前护理,术后气道排痰护理、胸腔闭式引流的护理、心理护理、饮食和皮肤的护理。认为早期手术是气管支气管损伤最有效
背景:随着城市化的进程,越来越多的人进入了更加快节奏的生活,伴随带来的是生活和精神上的压力,抑郁症在此前提下更加频繁的侵袭着现代人。抑郁症是一种以抑郁发作为特征的心
针对某越野特种运载平台大幅度侧倾及俯仰运动下机动性提升问题,提出了一种基于双轴陀螺原理的自平衡任务舱系统结构设计方案以及基于该结构的控制方法。首先,采用Creo软件完
富镍三元层状过渡金属氧化物正极材料因具有比容量高、价格低廉以及对环境友好等特性而备受关注,但受锂镍混排、相变反应、产气、微裂纹、过渡金属溶出、表面结构等影响,材料
<正>改革开放以来,伴随着秘书职业化的发展,秘书理论研究的深入推进,以及秘书专业的兴起和壮大,我国各类秘书社会组织和团体纷纷涌现并在各自领域发挥了重要作用。本文试就这
宫内妊娠组织残留物是指宫内妊娠终止后，部分蜕膜及附属物仍滞留于宫腔内，常导致反复阴道流血，宫腔感染，本人对2005年3月至6月我院经超声诊断、刮宫术及病理分析证实妊娠物残留10
<正>大南山横跨潮阳、普宁、惠来三县,东西长50多公里,南北宽30多公里,面积约1500平方公里。这里山深林密,地势险峻,有利隐蔽,易守难攻,具有十分重要的战略意义。1930年秋,东
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
针对燃气发电锅炉主汽压控制系统存在非线性、模型参数不确定等问题,提出了一种改进的隐式广义预测控制策略。首先,使用遗忘因子递推最小二乘法进行模型参数辨识,建立主汽压