并发事务的一种操作模型

本文定义了一种描述分布式数据系统并发事务行为的操作模型，以此为基础讨论了并发事务的调度，并享模式的Ｌｏｃｋｉｎｇ机制，死锁等问题。     

WIN95/98硬盘死锁的修复

硬盘死锁往往是由病毒或人为造成的，死锁后即使用软盘也无法启动。本文通过对ＷＩＮ９５／９８的ＩＯ．ＳＹＳ文件的分析，提供修改系统指令的技术来解决这种硬盘死锁问题。     

求解哲学家就餐问题的两个Petri网模型

哲学家就餐问题是操作系统中描述“并发操作”的一个经典例子,一般用管程、PV操作等方法来避免死锁问题。Petri网是一个很好的描述和分析并发问题的工具。本文提出了用Petri网避免死锁的一种模型,并进一步讨论了用另一种扩充了的Petri网模型避免无限等待情况发生的方法。     

死锁定理与死锁的预防方法

本介绍了计算机操作系统中检测死锁的充分必要条件，即“死锁定理”，同时还介绍和讨论了预防计算机出现死锁的几个方法。     

死锁问题Petri网描述的进一步讨论

在[1]中我们讨论了从系统的Petri网模型来判别系统死锁的某些方法。本文进一步给出从Petri网的关联矩阵本身来判别死锁的若干方法。     

离散事件动态系统的一种新仿真方法

本文针对离散事件动态系统,提出了一种新的仿真方法,它由异步仿真运行、仿真死锁检测、解除仿真死锁三部分组成。文中详细讨论了这种方法的原理及特性,并应用此方法对—FMS进行了仿真研究。     

深入探讨银行家算法

银行家算法是操作系统中采用避免死锁策略来解决死锁问题的一种算法.本文首先讲述了关于死锁产生的必要条件,然后根据避免死锁问题的策略,再根据银行家算法流程,结合安全性算法,在诸进程中找到一个顺利执行完毕的安全序列,然后解决操作系统中由于资源分配不当而产生的死锁问题以及深入解析了银行家算法的根本原理.     

浅析SQL SERVER中死锁

死锁问题虽然不能完全避免,但可以使死锁的数量减至最少.越早的考虑数据库设计中的并发性问题,就越可以提高代码执行的效率,降低程序开发和维护的成本.本文从死锁产生的原因谈起,提出了一些在SQL SERVER中避免和解决死锁的方法.     

关于操作系统中死锁问题的探讨

自从操作系统中引入多道程序设计技术以后,程序的并发性所引起的死锁问题便成了操作系统中我们必须面对和解决的一个难题。本文旨在探讨操作系统中死锁的形成原因及其有效地解决办法,通过实例和由浅入深的方式对死锁问题进行了全面而详细的探讨,由此我们知道,死锁问题是无法去完全避免和防范的,我们只能尽可能的去完善操作系统中的各项设计,从而在最大程度上去减少死锁的发生。     

描述与求解哲学家就餐问题的Petri网模型研究

研究了用Petri网描述操作系统中经典的“并发操作”的例子——哲学家就餐问题，并构造了不同的Petri网模型解决死锁和无限等待问题，最后讨论了轮流进餐时不同进餐次数情况下的Petri网构造问题。     

解开计算机硬盘死锁的一种方法

本文介绍硬盘逻辑死锁的原因，并给出了解开硬盘死锁的思路和详细的程序。     

FMS运控软件的死锁问题及其检测方法

对于一个ＦＭＳ运控软件的调试环境系统来说，能够检查出被测软件中可能发生的死锁问题是系统能够正常运行的必要条件之一．在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性     

FMS动控软件的死锁问题及其检测方法

对于一个ＦＭＳ动近软件的调试环境系统来说，能够榆出被测软件中可能发生的死锁问题是系统能够下沉运行的必要条件之一。在被测系统Ｐｅｔｒｉ网模型的基础上，本文提出了一个实用的死锁检测和回避的方法，这种方法计算量小，具有通用性。     

对于改进避免死锁安全算法的策略研究

随着社会的不断进步以及科技的发展,避免死锁的安全算法也成为了目前最为关注的问题,因此为了能够有效地节省检测开销,将对避免死锁的算法进行相应改进,笔者也将针对改进避免死锁安全算法的策略进行深入的探讨和研究,为以后锁的应用发展奠定了坚实基础。本文将首先分析产生死锁的必要因素,概述处理死锁的具体方法,详细阐述如何改进避免死锁安全算法的相关策略,希望可以为相关工作人员提供有用的参考。     

网上多用户程序编制中死锁及死锁的处理

用户要在ＮＯＶＥＬＬ网络系统环境下工作，应建立起多用户的共享程序和数据库文件。在开发多用户应用程序时，因两个用户在同一时间不能锁定相同文件或数据，因此，可能在运行时因访问共享文件而发生“碰撞”，导致死锁。本文，作者对死锁产生的条件、防止方法及产生死锁后的处理进行了探讨。     

一种基于遗传算法的车间调度算法求解

针对车间作业调度问题,讨论了应用于车间作业调度的遗传算法设计,给出了主要的编码、解码、以及死锁问题的算法模型。结合应用实例,说明了设计的可行性与有效性。     

一种新的分布式死锁探测与解除方法

为了有效地解决分布式环境下的死锁探测与解除问题,本文提出了一种基于请求路径双向探测的方法,此方法较以前各类方法具有更好的分布性、可靠性和更短的死锁探测时间。     

哲学家就餐问题的实验课程思路拓展

该文分析了操作系统实验课程项目现状,通过对哲学家就餐问题进行详细分解,引出了对K.Mani Chandy和J.Misra提出的一种解决大规模并发问题的算法的分析及研究。给出该算法使用互斥量的哲学家问题实现方案,展示了以3位哲学家交互的例子以演示算法规则。讨论了算法死锁产生的原因,对一种大幅度降低死锁概率的解决思路进行了分析及实现。实践表明,该实验课程的思路拓展帮助学生从多种角度理解操作系统的同步及死锁问题,锻炼了学生拓展实验思维及解决项目的能力。     

整体式半导体自动物料搬运系统解死锁算法

为了有效地解决300mm晶圆制造中整体式自动物料搬运系统的设备缓冲约束引起死锁的问题,构建了基于图论的两阶段解死锁算法.首先对问题域进行了形式化描述,在此基础上,证明了死锁产生和解除的充分条件,以关键设备死锁解除时间最小化为目标,建立了数学规划模型,并构造了解死锁算法.该启发式算法使用存储柜转存晶圆批来释放死锁的小车资源,并应用图论理论构造了多个并行路径来解除死锁.最后,对算法进行了仿真实验,结果表明该算法能有效求解设备缓冲约束引起的死锁问题.与其他解死锁方法相比,上述算法能有效减少解死锁时间,提高了关键设备的可用率.     

解决哲学家进餐问题陷入死锁状态的系统改造方案分析

通过对“哲学家进餐问题”的讨论,提出了解决计算机系统死锁的若干行之有效的方案,并给出了相应的实现代码.为解决并发进程同步问题提供了参考.