【摘 要】
：
多核时代的到来使得并发程序的设计备受人们关注.然而,并发程序的并发性和不确定性容易引发并发缺陷.因此,快速且有效地检测出这些并发缺陷尤为重要.首先,将目前常见的并发缺
【机 构】
：
中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心,南京大学计算机软件新技术国家重点实验室,江苏师范大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61673384,61502497);南京大学计算机软件新技术国家重点实验室创新项目(ZZKT2018B02);江苏师范大学博士学位教师科研支持项目(17XLR001)资助
论文部分内容阅读
多核时代的到来使得并发程序的设计备受人们关注.然而,并发程序的并发性和不确定性容易引发并发缺陷.因此,快速且有效地检测出这些并发缺陷尤为重要.首先,将目前常见的并发缺陷分为五大类(并发类型状态缺陷、死锁、数据竞争、原子性违背和顺序违背);随后,从软件运行的角度,将现有的并发缺陷检测技术分为静态分析、动态分析和动静结合分析,并对每一类进行详细的分析、比较和总结;接着,对并发缺陷检测技术的通用性进行分析和总结;最后,从通用准确的并发缺陷检测、软硬件相结合的并发缺陷检测、并发缺陷检测修复一体化、适用于松散内存模
其他文献
将聚氨基环氧基硅氧烷(PSQ)以及亚磷酸酯功能化的聚氨基环氧基硅氧烷(PPSQ)与聚乳酸(PLA)通过熔融共混制备了扩链PLA。研究了亚磷酸酯基团的引入对PSQ在PLA中的扩链和阻燃性
近年来,创伤理论引起了学术界广泛的关注。运用创伤理论,以《查泰莱夫人的情人》为切入点,分析该作品中呈现的多样化的创伤表征,并深入探讨其形成的具体原因以及创伤主体进行
随着我国高等教育的迅速发展,高校财务风险也日益突出,债务问题越来越严重。国家重点高校的财务风险通过国家的干预,多数都进行了化解和部分化解,财务风险大幅度减低,而职业
＂要把自己的狗狗打扮得漂亮点喽!等我把它带到街上去遛的时候,也会增加很多回头率嘛!＂这是每位养犬一族的心愿。一位女士牵着一头贵宾犬引以自豪地说：＂本来狗狗就长得乖,再把它身
目的探讨二维剪切波弹性成像(2D-SWE)在颈部不同病理类型淋巴结鉴别诊断中的价值。方法选取2017年10月-2019年5月新疆医科大学第一附属医院101例共145个颈部肿大淋巴结的患者
厚板的Z向拉伸性能是一个非常重要的技术参数,通常钢板的厚度又不足以加工成试样,以往一般采用摩擦焊接的方法在母材两端引出延长段.厚板Z向性能试验的特点是数量少、频率高,
通过硫酸水解魔芋葡甘聚糖(KGM)得到魔芋葡甘聚糖纳米晶(NKGM),再表面接枝3-(三甲氧基硅丙基)十八烷基氯化铵,与壬基酚聚氧乙烯醚硫酸钠反应等过程得到改性KGM纳米晶类流体(N
民办高校由于急于收回办学投入,过于追求经济利益,导致偏离了社会主义办学方向和教育的公益性原则,进而形成了过度市场化的办学局面,这在很大程度上阻碍了民办高等教育的健康