您好、欢迎来到现金彩票网!
当前位置:最新捕鱼棋牌 > 系统死锁 >

什么是死锁定理

发布时间:2019-06-08 10:40 来源:未知 编辑:admin

  在两个或多个任务中,如果每个任务锁定了其他任务试图锁定的资源,此时会造成这些任务永久阻塞,从而出现死锁。若无外力作用,它们都将无法推进下去.这些永远在互相等待的进程称为死锁进程.

  进程的死锁问题可以用有向图进行准备而形象的描述,这种有向图称为系统资源分配图.一个系统资源分配图SRAG可定义为一个二元组,即SRAG=(V,E),其中V是顶点的集合,而E是有向边的集合.顶点集合可分为两种部分:P=(P1,P2,…Pn),是由系统内的所有进程组成的集合,每一个Pi代表一个进程;R=(r1,r2,…rm),是系统内所有资源组成的集合,每一个ri代表一类资源.

  基于上述资源分配图的定义,可给出判定死锁的法则,又称为死锁定理. (1) 如果资源分配图中没有环路,则系统没有死锁

  (2) 如果资源分配图中出现了环路,则系统中可能存在死锁. 预防死锁的方法:

  可剥夺资源:即当某进程新的资源未满足时,释放已占有的资源(破坏不可剥夺条件)

  资源有序分配法:系统给每类资源赋予一个编号,每一个进程按编号递增的顺序请求资源,释放则相反(破坏环路等待条件)

  所以,在系统设计、进程调度等 方面注意如何不让这四个必要条件成立,如何确定资源的合理分配算法,避免进程永久占据系统资源。此外,也要防止进程在处于等待状态的情况下占用资源,在系 统运行过程中,对进程发出的每一个系统能够满足的资源申请进行动态检查,并根据检查结果决定是否分配资源,若分配后系统可能发生死锁,则不予分配,否则予 以分配 。因此,对资源的分配要给予合理的规划。

  当第i个进程需要请求系统资源时,我们就将其对各个资源的需求量送入Re数组中,然后系统依次执行。

http://maayanhaim.com/xitongsisuo/142.html
锟斤拷锟斤拷锟斤拷QQ微锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷锟斤拷微锟斤拷
关于我们|联系我们|版权声明|网站地图|
Copyright © 2002-2019 现金彩票 版权所有