死锁的预防、避免、检测、解除

1.死锁的概念:

        死锁是指两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,这些永远在互相等待的进程称为死锁进程。

 死锁和饥饿是操作系统(也就是电脑本身)分配资源的策略不合理导致的。

 死循环是被管理者(也就是写代码的程序员)导致的。

2.什么时候发生死锁:

 只有同时满足以下四个条件才能实现死锁:

(1)互斥条件:指进程对所分配到的资源进行排它性使用,即在一段时间内某资源只由一个进程占用。如果此时还有其它进程请求资源,则请求者只能等待,直至占有资源的进程用毕释放。互斥资源的抢占导致的死锁(如哲学家的筷子,打印机设备),像内存,扬声器这样可以同时让多个进程使用的资源是不会导致死锁的。

(2)请求和保持条件:指进程已经保持至少一个资源,但又提出了新的资源请求,而该资源已被其它进程占有,此时请求进程阻塞,但又对自己已获得的其它资源保持不放。

(3)不剥夺条件:指进程已获得的资源,在未使用完之前,不能被剥夺,只能在使用完时由自己释放

(4)环路(循环)等待条件:指在发生死锁时,必然存在一个进程——资源的环形链,即进程集合{P0,P1,P2,···,Pn}中的P0正在等待一个P1占用的资源;P1正在等待P2占用的资源,……,Pn正在等待已被P0占用的资源。


        当以上四个条件均满足,必然会造成死锁,发生死锁的进程无法进行下去,它们所持有的资源也无法释放。这样会导致CPU的吞吐量下降。所以死锁情况是会浪费系统资源和影响计算机的使用性能的。
 

 发生死锁的时候一定有循环等待,但有循环等待时未必是死锁。

 

死锁的四个必要条件只要破坏一个或几个就能防止死锁的发生 

3.预防死锁:

(1)破坏互斥条件:

可以使用SPOOLing技术,SPOOLing技术可以把互斥使用的资源改为共享使用。

缺点:很多情况都不可以改为共享资源,为了系统安全,很多时候都无法破坏互斥条件。

(2)破坏请求和保持条件:

可以采用静态分配方法,一次申请完全部资源,不需要再进行资源请求。

缺点:资源利用率低,可能导致某些进程饥饿。

(3)破坏不剥夺条件:

缺点:实现起来很复杂,会增加系统开销,降低系统吞吐量。

 (4)破坏循环等待条件:

 可以采用顺序资源分配法,给进程进行编号,按照编号从小到大的顺序进行资源的分配。

缺点:不方便增加新设备,实际使用资源顺序与编号顺序不一致,导致资源浪费,必须按顺序进行申请资源,用户编程麻烦。

小结:

4.避免死锁:

什么是安全序列?

例题:

银行家算法:

                                            找到安全序列,系统处于安全状态的例子:

                                            找不到安全序列,系统处于不安全状态的例子:

 

 数据结构

(1)可利用资源向量Available

是个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目。如果Available[j]=K,则表示系统中现有Rj类资源K个。

(2)最大需求矩阵Max

这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。

(3)分配矩阵Allocation

这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得Rj类资源的 数目为K。

(4)需求矩阵Need。

这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个,方能完成其任务。

银行家算法步骤: 

 

5.死锁的检测与解除:

(1)死锁的检测:

请求边:进程对资源的请求使用。

分配边:资源对进程的分配。

 死锁定理:

 死锁定理:如果某时刻系统的资源分配图是不可完全简化的,那么此时系统处于死锁状态。

(2)死锁的解除:

进程解除的三种方法:

1.资源剥夺法

2.撤销进程法

3.进程回退法

小结:

总结:

评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值