导读:本文包含了死锁避免论文开题报告文献综述、选题提纲参考文献，主要关键词:死锁,监控器,资源,分配,多核,广义,控制器。
死锁避免论文文献综述写法
戴家刚[1]（2018）在《对于改进避免死锁安全算法的策略研究》一文中研究指出随着社会的不断进步以及科技的发展,避免死锁的安全算法也成为了目前最为关注的问题,因此为了能够有效地节省检测开销,将对避免死锁的算法进行相应改进,笔者也将针对改进避免死锁安全算法的策略进行深入的探讨和研究,为以后锁的应用发展奠定了坚实基础。本文将首先分析产生死锁的必要因素,概述处理死锁的具体方法,详细阐述如何改进避免死锁安全算法的相关策略,希望可以为相关工作人员提供有用的参考。(本文来源于《科技资讯》期刊2018年29期）
周建勇,于杰,刘海阳,孙燕,刘久富[2]（2016）在《Petri网并发进程的死锁避免策略》一文中研究指出死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态特性和行为特性下,进行可达图删减,从而实现合法标识和非法标识的分离,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器,保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。(本文来源于《计算机技术与发展》期刊2016年11期）
刘久富,周建勇,刘文良,刘海阳,杨忠[3]（2015）在《广义互斥约束的Petri网死锁避免监控器设计》一文中研究指出研究了Petri网的柔性制造加工系统中的死锁避免问题。为了保证死锁避免和资源最大允许利用,提出了基于广义互斥约束的Petri网最优监控器的设计方法,探寻以线性不等式的形式表示的初步约束集,通过可达性分析和初步约束集建立可达树得出合法标识集和死锁标识集,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器。最后,以某柔性制造系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计,设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。(本文来源于《农业机械学报》期刊2015年08期）
王森[4]（2013）在《基于一类特殊S~3PR网的多项式复杂度死锁避免策略研究》一文中研究指出本文致力于研究S3PR网的死锁控制问题,得到具有最大行为许可性和多项式复杂度的控制策略是死锁研究的主要目的。本文提出为每个严格极小信标添加一个控制深度为一的控制库所的死锁预防策略。基于可达图,分析该策略下一个网存在活性控制器的充要条件是该网的可达图中不存在不可控标识,这类网称为可行网。并且为可行网添加控制库所得到的活性控制器具有最大行为许可性。不可控标识判断的主要理论依据是,在S3PR网的信标清空前状态下,一定可以内部发射。为了方便研究,本文首次提出信标的清空状态、清空前状态、核心资源及相邻资源等概念。一般情况下,即使是最简单的自动制造系统,计算其最大行为许可的死锁避免策略都是NP-hard的,有文献提出一种判断资源变迁回路饱和的死锁避免策略,并证明了对于不含有单位容量的中心资源的S3PR网,该策略具有多项式复杂度。本文通过研究资源变迁回路和信标的关系,说明了该策略同样可以应用于可行网；本文提出弱从属S。PR网的概念,从结构上分析了该类网具有的特殊性质,并证明该策略可以应用于某些特殊的弱从属S3PR,且具有多项式复杂度。(本文来源于《西安电子科技大学》期刊2013-01-01）
李永进,周宏伟,邓让钰,张英,潘国腾[5]（2012）在《片上多处理器中目录控制器的死锁避免设计》一文中研究指出基于目录的Cache一致性协议在片上多处理器(Chip Multiprocessor,CMP)中被广泛采用,目录控制器是CMP中Cache一致性协议实现的关键部件。由于各种一致性事物必须要在目录控制器中串行集中处理,很容易导致死锁的发生,如何避免死锁问题是设计者必须要考虑和解决的关键问题。在目录控制器设计时,通过适当增加输入、输出缓冲器的深度、将各种一致性事物分开单独传输以及在输出缓冲器将满时产生不成功响应等方法,可以有效避免死锁的发生,从而保证处理器工作稳定可靠。(本文来源于《第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集》期刊2012-08-17）
吴国凤,胡德启,安磊,郑礼良[6]（2012）在《含有不可控变迁的Petri网死锁避免策略》一文中研究指出文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。(本文来源于《合肥工业大学学报(自然科学版)》期刊2012年04期）
伍之昂,曹杰,王有权[7]（2011）在《一种改进的死锁和活锁避免资源联合分配协议》一文中研究指出提出一种改进的死锁和活锁避免资源联合分配协议——OODP3(Optimal ODP3),OODP3基于ODP3(Or-der-based Deadlock Prevention Protocol with Parallel requests)的安全状态方法避免死锁和活锁,但是,OODP3将其时间复杂度降到多项式级,并对OODP3的正确性进行了理论证明,实验结果表明OODP3的执行速度快,而且比现有的资源联合分配协议具有更优越的性能;最后进一步讨论了退避时间协议和资源分配策略对OODP3性能的影响.(本文来源于《电子学报》期刊2011年11期）
安磊[8]（2011）在《存在不可控变迁的Petri网死锁避免策略》一文中研究指出Petri网的死锁问题一直是Petri网研究的重要课题。死锁是柔性制造系统控制器设计时必须要考虑和解决的问题。对一个Petri网模型而言，找到死锁标识，并且利用一定的方法对含有死锁标识的库所进行控制，使得系统不会出现死锁，是一种很好的控制策略。本文针对Petri网建模的并发系统中的死锁问题，利用可达标识树的死锁检测算检测系统死锁的存在，结合Petri网控制器的设计来达到预防和避免死锁的目的。同时，Petri网系统中存在不可控变迁的情况下，如何进行控制器设计问题。本文利用等价线性变换的约束转换算法，把禁止约束转化为允许约束，从而构造出一个新的混合约束。然后在这个混合约束的条件下进行控制器设计，使得系统能避免死锁。主要做了以下工作：1.提出了一种改进的可达标识树的死锁检测算法，从而得到死锁标识和含有死锁标识的库所。2.提出了一种新的混合约束构造方法。利用死锁检测算法得到的死锁标识和含有死锁标识的库所，结合死锁产生的原因，构造出一个混合约束。然后利用混合约束进行控制器设计，使得系统能够避免死锁。3.提出了利用等价线性变换的约束转换算法，构造一个新的混合约束条件，再进行控制器设计,来解决含有不可控变迁的Petri网的死锁问题。(本文来源于《合肥工业大学》期刊2011-04-01）
杨梅,滕少华[9]（2011）在《基于死锁避免的资源安全分配算法》一文中研究指出为了提高传统资源安全分配算法效率,降低安全检查时的系统开销,提出了改进的资源安全分配算法。改进后的算法在每次安全检查时首先检查申请资源进程,一旦申请资源进程满足判定条件,便可以确定系统处于安全状态。不需要对系统中所有进程进行检查,缩小了安全检查范围,提高了系统效率。通过算法推理和实例验证,改进后的算法是可行且高效的,能更好地适应多任务系统中死锁避免的需要,实现资源的安全分配。(本文来源于《计算机工程与设计》期刊2011年01期）
章韵,汤楠[10]（2010）在《服务计算中避免死锁和活锁的资源分配算法》一文中研究指出服务计算系统资源层的目标是满足服务实例的资源分配需求,保证其成功执行而不陷入死锁和活锁.首先将服务资源分配行为形式化为有限状态机;其次提出一种避免死锁和活锁的资源分配算法,它采用并发请求资源的方式,且不需要并发服务实例之间交换消息.仿真实验结果表明,该算法能够避免服务资源分配过程中的死锁和活锁,表现出较高资源分配性能.(本文来源于《微电子学与计算机》期刊2010年12期）
死锁避免论文开题报告范文
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
死锁是系统并发进程中特有的问题,由于发生的不确定性,死锁检测和消除非常困难。在以分支界定法设计最优监控器的基础上,提出了一种可以最大限度保证静态和行为特性任意配置的死锁监控器集成设计方法。该方法通过可达图分析,在满足静态特性和行为特性下,进行可达图删减,从而实现合法标识和非法标识的分离,对分离出的标识建立混合整数线性规划模型,运用分支定界法得到补充监控库所的广义互斥约束模型作为最优监控器,保证了死锁的避免和资源的最大允许利用。以多进程码垛机器人加工系统为例,建立了Petri网模型,结合零件加工过程中资源的占用和释放,对柔性制造系统进行控制器设计。设计的控制器拥有更严格的约束和更简化的模型,对死锁标识的避免是充分的,验证了该算法的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
死锁避免论文参考文献
[1].戴家刚.对于改进避免死锁安全算法的策略研究[J].科技资讯.2018
[2].周建勇,于杰,刘海阳,孙燕,刘久富.Petri网并发进程的死锁避免策略[J].计算机技术与发展.2016
[3].刘久富,周建勇,刘文良,刘海阳,杨忠.广义互斥约束的Petri网死锁避免监控器设计[J].农业机械学报.2015
[4].王森.基于一类特殊S~3PR网的多项式复杂度死锁避免策略研究[D].西安电子科技大学.2013
[5].李永进,周宏伟,邓让钰,张英,潘国腾.片上多处理器中目录控制器的死锁避免设计[C].第十六届计算机工程与工艺年会暨第二届微处理器技术论坛论文集.2012
[6].吴国凤,胡德启,安磊,郑礼良.含有不可控变迁的Petri网死锁避免策略[J].合肥工业大学学报(自然科学版).2012
[7].伍之昂,曹杰,王有权.一种改进的死锁和活锁避免资源联合分配协议[J].电子学报.2011
[8].安磊.存在不可控变迁的Petri网死锁避免策略[D].合肥工业大学.2011
[9].杨梅,滕少华.基于死锁避免的资源安全分配算法[J].计算机工程与设计.2011
[10].章韵,汤楠.服务计算中避免死锁和活锁的资源分配算法[J].微电子学与计算机.2010