摘要：为了提高传统资源安全分配算法效率,降低安全检查时的系统开销,提出了改进的资源安全分配算法。改进后的算法在每次安全检查时首先检查申请资源进程,一旦申请资源进程满足判定条件,便可以确定系统处于安全状态。不需要对系统中所有进程进行检查,缩小了安全检查范围,提高了系统效率。通过算法推理和实例验证,改进后的算法是可行且高效的,能更好地适应多任务系统中死锁避免的需要,实现资源的安全分配。

摘要：本文分析了GPSS死锁产生的原因,提出了检测和解决GPSS死锁的方法,介绍了设计GPSS-DLDP工具软件的主要思想和方法。GPSS-DLDP能动画演示GPSS程序中死锁发生过程,并能自动修改GPSS源程序,消除其中的死锁,是GPSS程序开发和调试的有力工具。

摘要：介绍了一种MPI程序死锁检测的静态方法以及该方法所处理的程序模型.为实现该方法,提出了比例方程组(一种特殊线性方程组)的概念并设计了求解方程组最简解的线性时空复杂度的高效算法.算法由一个四遍扫描过程与一个主控程序构成.主控程序用来处理并行计算节点计算机构成的划分.四遍扫描过程采用深度优先搜索方法确定方程组中各变元之间的比例关系.通过该算法所获得的最简解,任意多个变元之间的比例关系能在常数时间内获得.证明了该算法的正确性,并采用Java语言实现了该算法的标准程序库.该程序库目前已运行于MPI同步通信静态死锁检测的软件框架中.

摘要：为了抑制优先级反转现象,采用优先级继承协议来解决优先级反转现象,在此协议中不能避免系统死锁现象的发生。分析了死锁现象产生的原因的,在优先级继承协议基础上提出了优先级反转和死锁问题的资源管理模式,采用排序锁定共享资源的方法,使共享资源按照SourceID由低到高的共享顺序依次被访问。理论证明该方法在一定程度上抑制优先级反转且避免了死锁现象的发生,通过实验结果表明了解决优先级反转和死锁的资源管理模式的正确性与可行性。

摘要：为了适应实时片上系统SoC设计和片上网络NoC服务质量保证的可预测性需求,确保NoC高质量服务于实时系统,提出了一种新的基于NoC的死锁检测算法和它的硬件实现.该算法用简单布尔表示请求、授权,且无活动,从而使其硬件实现更容易,操作更快,并证明了该算法的正确性及其硬件实现的运行时间复杂性为O(min(m,n)),这里的m为资源数目,n是进程数.

摘要：本文主要介绍了I2C总线基本结构、接口设计及其工作时序,并阐述I2C总线死锁的原因及其解决方案。

摘要：在多道程序系统中,多个程序并发执行,共享系统资源,若对资源的管理和使用不当,会导致系统死锁。死锁避免是解决死锁问题的常用方法,而银行家算法是最著名的死锁避免算法。用类C语言描述了多项资源银行家算法。

摘要：在数据库中使用事务功能,就可以把数据遭破坏的可能性降到最低。然而,事务处理需要耗费大量的计算机资源,它必然会引起系统性能的降低,甚至由于多个事务的不合理设计造成冲突而产生死锁现象,这是一名数据开发者所不愿意面对但却必须解决的重要问题,该文描述了通过优化事务的方法来避免死锁的发生。

摘要：控制逻辑编制的过程中,常会出现一些错误,其中最难分析的错误就是死锁,本文将围绕这一现象,利用仿真软件LabVIEW来辅助分析。LabVIEW辅助过程控制逻辑的设计减少了过程控制逻辑的设计错误,降低FAT和SAT的调试工作量,进一步提高自控设计质量和工程项目的安全可靠性,利用LabVIEW来辅助过程控制逻辑的设计,并通过仿真过程逻辑中典型的死锁现象,验证了该辅助设计方法的可行性及有效性。

摘要：在网络环境下,多数用户可以通过数据库来实现资源的共享。但是数据库在处理大量的数据存取的过程中,有时候会出现死锁的现象,产生这种现象的原因主要是由于用户对程序的设计不正确导致,只有对程序进行重新的设计,才能够避免这种现象的发生。本文主要是对Oracle数据库死锁现象进行了研究,并且提出了相关的建议。