一种基于自适应随机测试的并发缺陷检测方法

来源 :天津大学 | 被引量 : 0次 | 上传用户:allskyy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着多核处理器的发展,多线程程序逐渐被广泛使用。虽然多线程程序具有很好的性能,效率高的优点,但由于线程之间的意外交互,多线程程序通常会出现错误的行为而引发并发缺陷。这些并发缺陷由于不确定性而很难被检测到,因为它们通常只在特定的线程调度情况下才能被触发。传统的随机化算法通过进行随机调度提高了探索不频繁交错的概率,提高了检测并发缺陷的效率。但是,它们可能会产生冗余试验,特别是对于那些难以检测的缺陷,性能不稳定。在这篇文章中,我们提出了一种自适应随机调度算法(ARS),它可以自适应地探索搜索空间,从而更有效地检测到并发缺陷。我们的核心思想是对线程调度进行自适应地指导,通过距离比较优先探索触发并发缺陷可能性较大的执行序列,从而快速地检测出程序中并发缺陷。我们将这个算法用真实的多线程程序进行了实验验证和结果分析。实验验证主要利用了Java Pathfinder,将自适应随机调度算法应用于18个具有并发缺陷的Java程序上,并与简单随机算法和最大因果关系算法进行了比较。实验结果表明,我们的算法在检测并发缺陷方面是有效的,并具有很好的效率和稳定性。
其他文献
装配式混凝土结构目前已经成为一种主要的建造方式,其凭借施工效率高、节能环保、施工周期短等优点,成为我国未来建筑结构发展的重要方向。在装配式混凝土结构推广和发展的过
我国装配式建筑在近年来快速发展,装配式建筑的需求也越来越大。尽管当前我国装配式建筑发展水平与发达国家存在一定的差距,但我国相继出台了很多的政策性文件和标准去帮助装
民办高等教育作为我国高等教育发展中非常重要的组成部分,能够促进社会教育公平,在我国教育事业和社会发展中具有重要的地位和作用。河南作为民办高等教育大省之一,政府在民
《中国制造2025》把“智能制造工程”作为重点实施的五大工程之一,明确了企业信息化的重要性,以及构建数字化车间的必要性。船用柴油机关重件行业数字化车间的实施,是提高我
在现代农业生产中,农药被广泛用于防治农作物的病虫害,极大地提高了粮食产量,带来了巨大的经济效益。然而,长期使用或滥用农药造成农作物中农药残留超标,给人类健康构成了严
近年来,我国城镇化进程涉及到越来越多深基坑开挖,由于这些基坑通常处于人口与建筑密集的区域,需要仔细评估其引起的周围环境变形。有限单元法是分析基坑开挖引起周围环境变
双凸极永磁电机(Doubly Salient Permanent Magnet Motor,DSPM)有结构简单、易于维护,调速范围广,功率密度高等优势。因而在工业生产、航空航天、汽车制造领域得到广泛应用。
目的:探究“化瘀通络,息风止颤”针刺法对血管性帕金森综合征的治疗效果,为本病的治疗寻找一种更为有效的临床方法。方法:选取60例符合纳入标准的血管性帕金森综合征患者,采
钢筋混凝土RC结构是基建行业中最常用到的结构形式之一。RC结构不仅具有造价优势,而且结构刚度大,协同工作性能良好。对于RC结构来说,良好的粘结性能对于结构能够发挥正常使
氢键在化学和生物研究领域有着重要的作用。水分子通过氢键,不仅能够与有机分子结合形成不同的分子构型,还能够直接参与到化学反应当中。本论文针对含有水分子的氢键在化学领