导读:本文包含了数据竞争和死锁检测论文开题报告文献综述及选题提纲参考文献,主要关键词:死锁,数据竞争,二型模糊逻辑,隐马尔科夫模型
数据竞争和死锁检测论文文献综述
翁东良[1](2012)在《基于二型模糊逻辑的死锁与数据竞争检测方法研究》一文中研究指出多线程技术因其可以提高计算效率、共享数据存储和节省资源开销在程序开发中得到了广泛应用,然而随着多线程程序的复杂度越来越高,软件开发人员面临着程序设计中出现的大量并发错误,其中死锁和数据竞争是较为常见的错误。国内外很多机构在这一方面做了大量研究,并取得很多研究成果。目前死锁和数据竞争的检测方法可分为静态检测和动态检测,然而静态检测的精度低,存在很多误报,而动态检测的覆盖率低,存在漏报。此外在检测过程中,它们几乎都没有考虑到线程时序的不确定性,同时无法计算死锁和数据竞争发生的概率并根据概率生成优先级列表。针对这些问题,本文提出了基于二型模糊逻辑的死锁和数据竞争检测方法。方法分为四个步骤:(1)搜集可以静态确定线程时序的语句并定义规则库,根据此规则库,静态扫描目标程序,得到时序关系依赖图(Time Sequence Graph, TSG);(2)根据TSG图,使用静态分析技术对目标程序进行预处理,获得潜在死锁和数据竞争;(3)使用基于区间型二型模糊逻辑的隐马尔科夫模型(Interval Type-2Fuzzy Logic Hidden Markov Model, IT2FHMM)获得目标程序中所有潜在死锁和数据竞争位置点对的时序先后概率;(4)根据得到的时序先后概率对死锁和数据竞争进行评估,计算出所有死锁和数据竞争发生的概率,并通过发生概率生成死锁和数据竞争优先级列表供软件开发人员优先处理发生概率高的死锁和数据竞争。基于上述方法,本文开发了死锁检测工具DLdetector和数据竞争检测工具DRdetector,并将两个工具应用于实验,检测两组多线程程序。通过分析检测结果,表明本文方法可以有效提高死锁和数据竞争的检测精度,减少误报,并提供优先级列表。本文方法是该领域的一项新的探索,是现有检测工具的一项重要补充。(本文来源于《苏州大学》期刊2012-05-01)
陈胜,鲍亮,陈平,胡圣明,王萌[2](2008)在《BPEL流程数据竞争和死锁检测算法研究》一文中研究指出针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.(本文来源于《西安电子科技大学学报》期刊2008年06期)
数据竞争和死锁检测论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
针对BPEL(Business Process Execution Language)流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程转化为BPEL片段图,然后通过求BPEL片段图中强连通分量的方式判定流程是否存在死锁;通过求BPEL片段图中节点间的可达性以判定节点间的可并发性来检测流程中的数据竞争.该方法采用约束求解技术对BPEL中的变迁条件和联合表达式进行分析,提高了检测的准确性.实际应用结果表明,该方法可以检测出流程中的数据竞争和死锁,提高流程的可靠性.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
数据竞争和死锁检测论文参考文献
[1].翁东良.基于二型模糊逻辑的死锁与数据竞争检测方法研究[D].苏州大学.2012
[2].陈胜,鲍亮,陈平,胡圣明,王萌.BPEL流程数据竞争和死锁检测算法研究[J].西安电子科技大学学报.2008