关于计算机操作系统中死锁问题的讨论

本文就死锁的概念、必要条件和若干可能发生死锁的问题作了深入浅出的分析、讨论，希望本文的讨论有利于读者对死锁问题的深刻理解，并深入研究解决死锁问题的方法。     

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

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

一种基于线程机制的死锁模拟教学实验设计

计算机操作系统课程由于概念抽象,较难理解和掌握,因而课程实验对于加强概念的理解显得尤为重要。死锁是该课程的一个非常核心的概念,本文设计了一个基于windows环境下线程机制的死锁模拟教学实验,程序简单,易于实现和理解。实践表明,该实验在教学过程中收到了良好效果。     

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

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

分布式数据库死锁检测协议

为解决分布式数据中,由于文件加锁的冲突而引起死锁的问题。这类死锁产生的充要条件是在它的请求图中有一有向回路,本文中提出了两个死锁检测协议。协议1适用于一般分布式数据库,它只要求进行一次通讯,且只要求传送一个表的信息;协议2 是针对巨型系统的,是一个层次协议。     

银行家算法中若干问题的讨论

分析了银行家算法避免死锁的思想 ,提出只有在能够正确合理地确定Max数组的值的前提下才能在操作系统中应用银行家算法 .讨论了确定Max数组值时需考虑的问题 ,发现只有当程序中的资源请求的数量不依赖于变量时才能够在进程运行前确定Max数组的值 ,在此基础上 ,提出了确定Max数组值的初步方法 .     

一种基于并行技术的死锁检测算法

在介绍基于资源分配图的、传统的死锁检测算法基础上，提出一种新的基于并行技术的死锁检测算法，并用1个实例说明该算法的执行过程。新的死锁检测算法是基于矩阵表示方法，在最坏情况下，运行时间复杂度是O(min(m，n))，其中m和n分别是进程和资源的数量。新的死锁检测算法与传统的算法相比，执行时间大大减少，需要内存也比较小，系统能够很好地检测死锁的发生，并且释放占有资源。     

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

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

有效变迁覆盖在死锁预防策略中的应用

为解决一类自动制造系统的死锁问题,利用有效变迁覆盖提出了一种新的死锁预防策略.利用严格极小siphon与极大完备资源变迁回路之间的一一对应关系,将任意严格极小siphon子集转换为有效变迁覆盖.然后对有效变迁覆盖中每一个极大完备资源变迁回路添加具有合适控制变量的控制库所和相关弧,得到自动制造系统的活性控制器.通过求解线性整数规划问题得到控制变量.在此基础上为自动制造系统提出了一个新的死锁预防策略.该策略得到的控制器结构简单,适合于规模较大的实际生产系统.最后通过一个例子解释了所提出的死锁预防策略.     

关于计算机操作系统课程教学改革的探讨

指出了目前计算机专业特别是操作系统课程教学中存在的问题，针对这些问题，再根据目前计算机发展的新趋势，提出了围绕ＷｉｎｄｏｗｓＮＴ更新操作系统课程教材及教学内容的方案。     

浅析SQL SERVER中死锁

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

计算机操作系统中哲学家进餐问题探究

解决“哲学家进餐”问题首先要找出对应的控制关系，设定相应的控制信号量。避免死锁也是解决该类问题的关键。     

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

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

WINDOWS操作系统探讨

本文通过对各个不同时期的WINDOWS版本的安装硬件要求对比和软件主要特点分析 ,简要阐述了PC计算机的WINDOWS操作系统的发展。     

片上网络中基于拓扑排序的死锁检测与恢复方法

提出了一种将拓扑排序应用于片上网络的死锁检测与恢复的方法.利用片上网络线资源丰富的特点,使用专用线路采集并分析网络中各通道之间的依赖关系,快速确定处于死锁环路中的通道位置,并对死锁环路进行解锁.结果表明,所提出的方法简单有效,可以支持各种路由算法,与广泛应用的死锁避免策略相比,其网络资源的利用率和网络性能有所提高,并具有一定的容错能力.
     

计算机操作系统中哲学家进餐问题探究

解决"哲学家进餐"问题首先要找出对应的控制关系,设定相应的控制信号量。避免死锁也是解决该类问题的关键。     

关于操作系统生产者和消费者问题

本从教学方法的角度，讨论操作系统中生产和消费问题的同步算法，并通过实例加以说明。     

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

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

《操作系统原理》课程教学中遇到的有关问题

本文主要介绍在《操作系统原理》课程教学中遇到的有关问题,分析了问题出现的原因以及解决问题的尝试方法。