一种动态监督系统的设计与实现

本文给出的动态监督系统可以检测Ada语言多任务程序在运动过程中量中是滞发生死锁，如果死锁的原因是由于程序设计不周而引起的，将提示用户如何修改程序，否则可以自动解锁。     

不规则拓扑NOWs系统中基于树的路由算法分析

NOWS越来越多的使用虫孔路由技术，交换器以不规则的拓扑互连，这种不规则拓扑给大规模系统提供了布线的灵活性和增强的可扩展能力。然而，使用虫孔路由技术网络易于发生死锁，网络拓扑的不规则性又使避免死锁的问题变得困难。本篇文章首先分析和介绍了在通道依赖图中除去所有循环的几种模型，然后介绍了不规则拓扑NOWs中两个基于树的路由算法，最后指出了他们各自的优缺点。     

银行家算法的改进

从减少不必要的安全性检查和缩小检查范围入手，给出银行家算法的一项改进，使其实现效率得到一定程度的提高．     

Word文档"回生术"

在编辑和使用Word文档时,我们难免会犯一些意想不到的错误,比如打开网络上的文档进行编辑,或者遇到诸如系统死锁、断电、文档损坏等意外.当这些错误或意外发生时,你也不必懊恼万分,因为以下方法可以帮助你挽回工作成果的损失.     

-种动态监督系统的设计与实现

本文给出的动态监督系统可以检测ada语言多任务程序在运行过程中是否发生死锁.如果死锁的原因是由于程序设计不周而引起的,将提示用户如何修改程序.否则可以自动解锁.     

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

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

多用户系统中的死锁问题

在多用户操作系统中 ,关键是支持并发进程调度、提供进程同步和通信机制 .无论是相互通信的进程还是共享不同类型资源的进程 ,都可能因通信顺序或资源分配顺序不当而造成死锁 .致使各种并发进程等待资源而永远不能继续向前推进 ,严重地危害了系统的可靠性 .通常我们把系统死锁描述为 :一组并发进程X1 ,X2 ,X3,… ,Xn,共享资源Y1 ,Y2 ,Y3,… ,Ym(n >0 ,m >0 ,n >m) .每个Xi( 1≤i≤n)拥有资源Yj( 1≤j≤m) ,直到再没有其它剩余资源 ,各Xi 又在不释放Yj 的情况下 ,要求得到Yk( 1≤k≤m ,k≠j) ,从而造成资源的相互保持和相互等待 .若无…     

FMS建模和形式化验证

提出了一种FMS的建模方法,此方法是基于时间自动机模型。运用模型检查工具UPPAAL来进行建模,仿真和验证。由于时间的因素被考虑到建模方法中,因此FMS的调度和控制问题可以被集成到这个模型中。在系统的行为被控制的同时,可以保证系统的性能指标。从而最优调度和最优控制可以得到检查和验证。     

浅析SQL SERVER中死锁

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

带有限缓冲区的知识化制造单元无死锁调度

鉴于制造系统无死锁随机调度问题研究的缺乏,在加工时间、工件到达以及产品需求到达均为随机的生产环境下,研究了带有限缓冲区的知识化制造单元无死锁随机调度问题.针对自动机对定量指标描述能力的不足,首先给出了一种费用自动机概念.在同时考虑工件加工、库存以及缺货费用的情况下,采用无限时域折扣准则下马尔可夫链建立了单元的费用目标函数,通过一致化技术对目标函数进行离散化处理,得到目标函数的随机动态规划模型,分析并证明了单元最优目标值函数的性质.为了克服离散状态空间组合所产生的维数灾问题,提出了一种基于仿真和函数逼近的启发式近似动态规划算法对模型进行求解.在上述研究基础上,构建了一种单元无死锁随机调度策略,以保证单元安全高效地运行.最后,通过实例研究对无死锁调度策略进行了验证.