分布式OS中处理死锁两种方法

本文扼要介绍和剖析了分布式 OS 中解决死锁问题的两种方法:时间戳定序方法和集中式及层次式死锁检测方法。前者是基于死锁预防的,后者则是基于死锁检测的。     

基于SUIF2的静态死锁检测方法研究

死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。     

分布式死锁检测算法中伪死锁率的研究和改进

死锁处理是分布式系统中的关键问题,其中处理死锁最主要的手段为死锁检测。在评价死锁检测算法性能时伪死锁率被视为一项重要指标,故降低伪死锁率对提高算法性能有着促进作用,而目前大多数算法改进对伪死锁率关注较少。本文阐述了伪死锁研究的意义,并对若干种死锁检测算法的伪死锁率进行研究和模拟实验,认为现有的死锁算法可分为两类:环内检测和环无关检测。并分别通过减少冗余消息和本地死锁解决两种改进方法来降低目前算法的伪死锁率,最终实验表明算法性能获得较大提高。     

Web服务环境中的死锁检测算法分析与比较

在Web服务环境中,多个事务并发执行时,会出现与传统的事务环境相同的死锁问题,而处理死锁最主要的手段为死锁检测。本文对传统的分布式死锁检测算法在Web服务集成中的应用进行了总结和比较。     

多计算机互连网通信中关于死锁问题的一种理论

如何获得死锁而且通信性能良好的选路算法始终是人们十分关心的问题。本文提出了纯分流点的概念并证明了选路算法无死锁的充要条件，从理论上解决了死锁关系问题，为死锁的判定，消除和设计无死锁的算法提供了有力的依据。     

Oracle数据库死锁问题研究

数据库是网络环境下多用户使用的共享资源,数据库在处理多线程大量数据存取过程中很可能出现死锁现象。文中介绍了Oracle数据库锁机制和死锁发生的原因,Oracle数据库检测死锁采用的相关视图。详细叙述了SQL语句检测死锁、死锁的定位方法和解决数据库死锁的方法。编写了在Linux环境中死锁检测脚本,模拟Oracle数据库死锁测试了脚本的正确性。实际应用表明该方法可以有效监测程序中的主要模块是否发生死锁,而且简单有效。     

处理死锁的几种策略

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

一种基于等待图的死锁解除策略

在数据库的并发控制中，由于加锁引起的死锁问题通常是由等待图来检测。当检测到多个事务之间出现死锁现象时．通过回退其中的一个事务来打破等待图中的循环，从而消除死锁。随便回退其中的一个事务往往不能使得多个事务的总体收益最大．本文通过分析多个事务加锁情况及事务之间的联系，为每一个事务分配一个权值，并依据该权值决定回退哪一个事务从而使得多个事务的总体收益最大化。     

MPI同步通信顺序模型死锁静态检测算法

静态检测MPI程序同步通信死锁比较困难,通常需要建立程序模型。顺序模型是其他所有复杂模型的基础。通过一种映射方法将顺序模型转化为字符串集合,将死锁检测问题转化为等价的多队列字符串匹配问题,从而设计并实现了一种MPI同步通信顺序模型的静态死锁检测算法。该算法的性能优于通常的环检测方法,并能适应动态消息流。     

一种基于依赖分析的并发程序潜在死锁检测算法

死锁是并发程序特有的一种运行时错误,由于并发程序在执行时的不确定性,死锁的检测和定位是非常困难的.本文提出了一种基于依赖分析的并发程序潜在死锁检测算法,该算法是一种静态分析算法,能检测并发程序中是否存在潜在死锁,并能定位死锁发生时各线程可能被挂起的语句节点.本文给出了算法的形式化定义和时间复杂度分析,实验测试结果表明算法是正确且有效的.     

基于资源等待图的死锁检测算法

死锁是操作系统、数据库系统以及通信网络中经常出现的现象.分析了使用资源分配图和进程等待图完成死锁检测的不足,提出了资源等待图的概念,并给出了基于资源等待图进行死锁检测的方法,该算法能够完成当资源类含有多个实例时的死锁检测.     

分布式系统死锁的Petri网分析

阐述了分布式系统中的死锁问题，采用Petri网对分布式系统中的死锁进行分析，给出了几种解决死锁的模型，并分析了这些模型的优缺点，指出了分析和解决死锁的一般方法。     

基于Petri网的并发系统活性分析

本文从数据库系统在时刻t的状态N出发，构造出相应的Petri网模型，进而构造出其可达标识图．通过分析可达标识图，可判断系统是否为死锁状态．若不是死锁状态，系统是否可能出现死锁，什么情况下系统肯定不会出现死锁．最后，给出了数据库系统中事务并发操作的死锁检测方法与避免措施．     

使用锁监视器检测C＋＋中的死锁

死锁是一种极难检测到的 bug,本文试图以一种简单的办法来最大限度的检测和打破死锁。     

OpenMP Fortran程序中死锁的静态检测

与BARRIER相关的死锁是导致OpenMP程序失效的重要隐患之一.对该类隐患的静态检测有助于在OpenMP程序运行之前提高其正确性.为了便于检测,将这种死锁分为两类.借助搜索与数据流分析分别按照存在性规则和非一致性规则检测第1类和第2类死锁.扩展了传统的控制流图以表示OpenMP程序.对于每个检测到的死锁,通过回溯记录控制流图中相关的路径,并利用静态分支预测量化其严重程度.基于上述思想,实现了一个OpenMP Fortran程序中死锁的静态检测工具C-Checker.实验表明,该工具能有效地检测OpenMP程序中与BARRIER相关的死锁.     

基于时戳的分布式数据库系统中的死锁预防策略

本文讨论了分布式数据库系统中基于时戳的死锁预防策略，分析了预防死锁问题的两种可行的动态优先级方案——等待一死亡方案和伤害一等待方案，提出了使用时戳的动态优先级死锁预防策略在解决分布式数据库系统并发控制的可行性和有效性，保证了产生死锁问题的条件不能发生，从而有效的预防了死锁，并给出了相应的实例。     

并发操作系统中基于有色Petri网的死锁检测与避免

1.引言系统的并发性与资源的共享性是并发操作系统的主要特征,其目的是最大限度地提高计算机资源的利用率。死锁是并发操作系统必须解决的一个重要问题。人们试图用不同的方法来解决死锁问题。如Dijkstra提出的有名的死锁避免的“银行家算法”,Coffman等人给出的死锁检测算法。 Petri网模型作为模拟与分析并发、异步、分布式系统的一种有效工具,已被用于解决操作系统中的许多问题。如进程通讯中的生产者/消费者问题、哲学家用餐问题,资源竞     

分布式系统死锁的预防、避免和检测

分布式系统涉及到资源和数据的高度共享,从而可能引发死锁。分布式系统的死锁是由于资源和通讯产生的。从分布式系统死锁产生的条件,解决策略,以及分布式系统中死锁预防、避免和检测的各种算法进行了具体阐述。     

分布式计算系统中死锁的预防与检测

在分布式的网络环境下,死锁的避免、预防、检测以及纠正都变得极为困难。针对这种情况,了解死锁发生的原因以及掌握如何对死锁进行预防以及检测的方法就显得具有非常重要的意义。为此,首先介绍了死锁的定义以及死锁发生的条件,接着分别介绍了死锁的预防方法以及死锁的检测方法,最后得出结论在分布式环境下研究有效应对死锁策略迫在眉睫。     

避免FMS死锁的控制策略

本文利用ＦＭＳ的Ｐｅｔｒｉ网模型讨论系统的死锁问题，给出了系统死锁的必要充分条件，提出了避免系统死锁的反馈控制策略，这种策略对系统的限制小，在许多情形下是最优的。