【摘 要】
：
多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测
【基金项目】
：
国家自然科学基金项目(61202029,61272449,61572339);江苏省科技支撑计划重点项目(BE2014005-4)资助
论文部分内容阅读
多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数据竞争和死锁。目前,针对这些并发缺陷的检测手段都无法处理线程时序的不确定性,无法处理运行时环境对线程时序的影响,同时也不能计算这些并发缺陷发生的概率并根据概率生成其处理优先级。针对以上问题,提出了一种基于二型模糊逻辑的多线程数据竞争检测方法。该方法将传统的多线程时序分析和缺陷检测方法作为预处理,考虑程序运行时环境因素对线程时序的影响,利用二型模糊逻辑和隐马尔科夫模型对待检测程序建模,计算待检测程序在某一系统负载下的时序概率,并根据时序概率生成时序缺陷处理优先级列表供软件开发人员参考。
其他文献
由于慢性糜烂性胃炎病程长,迁延日久则深入血分,故疾病演变过程中常有虚实夹杂症出现。其病位在胃,与肝脾关系密切,中焦气机阻滞,脾胃升降失常是发病的关键。临床上各医家主
<正> 1993年8月,湖南省宁乡县枫木桥乡船山村村民在师古寨顶挖出2件铜铙。其中1件由我所缴获,另1件被贩运到深圳,我所与市、县公安部门协做,于1995年5月将铜饶追回。现将2件
目的系统评价中医药治疗月经过少的临床疗效及安全性。方法收集近10年来中医药治疗人流术后月经过少的随机临床对照试验文献,应用Meta分析方法的纳入、排除标准进行严格筛选,
2003年12月,浙江省长兴县发现一座未遭盗掘的战国大墓。其墓圹开凿于山体表面,东西长14．8、南北宽5．1～5．7、坑深2．3米。墓葬东壁还有一条斜坡墓道。葬具有木椁,随葬器物有原始瓷器
以筒形罐的主要特征的东北渔猎文化区，是全国考古学文化区系中经常起主导作用的三大区系之一。辽西地区处于东北文化区面向中原文化区的前沿，是东北渔猎区与中原农耕区的交汇地
介绍了纯涤纶复丝长纤TD1 30 0BR滤布的性能及工业应用。应用表明 ,该滤布具有过滤性能、卸饼性能好 ,强度高等优点 ,在黄金及有色金属工业生产中可以推广使用。
<正> 第一部分 2003年原油价格回顾 今年以来,国际油市经历了自1990/1991年海湾战争以来最大幅度的振荡,整体上维持高位运行。1～8月份,国际标准原油BRENT的平均价格高达28.39
<正> 徐州狮子山西汉墓外墓道耳室(W1)的兵器堆中出土了两副形式相同、重叠放置的金扣腰带,兵器堆中出有“楚中尉印”封泥。这堆兵器连同金扣腰带应是楚中尉送给楚王的赙贶之
<正> 电视纪录片是直接从现实生活中选取图像和素材,通过非虚构的艺术表现手法真实地表现客观事物以及作者对这一事物认识的纪实性电视节目。纪实是一种本体特性,是一种电视
如何在现有的传统房地产运营模式上做进一步的创新，这是上海某本土开发商内部高层薛明（化名）去年一年都在思考的问题。“地产行业现金流短缺，融资成本上升已是一个现实的问题。”