文章目录
- 死锁的定义
- 死锁、饥饿、死循环的区别
- 死锁产生的必要条件
- 死锁的处理策略
- 小结(思维导图)
死锁的定义
死锁是指多个进程因竞争资源而造成的一种僵局(互相等待),若无外力作用,这些进程都将无法向前推进
【举例分析】以哲学家进餐问题为例解释死锁现象
当5名哲学家都想要进餐并分别拿起左边的筷子时,筷子已被拿光,等到他们再想拿右边的筷子时,就全被阻塞,因此出现了死锁
每个人都占有一个资源同时又在等待另一个人手里的资源,发生“死锁“
➡️在并发环境下,各进程因竞争资源而造成的一种互相等待对方手里的资源,导致各进程都阻塞,都无法向前推进的现象,就是“死锁”,发生死锁后若无外力干涉,这些进程都将无法向前推进
死锁、饥饿、死循环的区别
- 死锁:各进程互相等待对方手里的资源,导致各进程都阻塞,无法向前推进的现象
- 饥饿:由于长期得不到想要的资源,某进程无法向前推进的现象
- 死循环:某进程执行过程中一直跳不出某个循环的现象
共同点:都是进程无法顺利向前推进的现象(故意设计的死循环除外)
区别
-
死锁
死锁一定是“循环等待对方手里的资源”导致的,因此如果有死锁现象,那至少有两个或两个以上的进程同时发生死锁,另外发生死锁的进程一定处于阻塞态
-
饥饿
可能只有一个进程发生饥饿,发生饥饿的进程既可能是阻塞态(如长期得不到需要的I/O设备),也可能是就绪态(长期得不到处理机)
-
死循环
可能只有一个进程发生死循环。死循环的进程可以上处理机运行(可以是运行态),只不过无法像期待的那样顺利推进。死锁和饥饿问题是由于操作系统分配资源的策略不合理导致的,而死循环是由代码逻辑的错误导致的。死锁和饥饿是管理者(操作系统)的问题,死循环是被管理者的问题
死锁产生的必要条件
-
互斥条件
进程要求对所分配的资源(如打印机)进行排他性使用,即在一段时间内某资源仅为一个进程所占有,此时若有其他进程请求该资源,则请求进程只能等待
-
不剥夺条件
进程所获得的资源在未使用完之前,不能被其他进程强行夺走,即只能由获得该资源的进程自己来释放(只能是主动释放)
-
请求并保持条件
进程己经保持了至少一个资源,但又提出了新的资源请求,而该资源已被其他进程占有,此时请求进程被阻塞,但对自己已获得的资源保持不放
-
循环等待条件
存在一种进程资源的循环等待链,链中每个进程已获得的资源同时被链中下一个进程所请求。 即存在一个处于等待态的进程集合 {P1,P2, … ,Pn} ,其中 Pi 等待的资源被 Pi+1(i=0,1, … ,n-1) 占有,Pn 等待的资源被 P0占有
注意:发生死锁时一定有循环等待,但是发生循环等待时未必死锁
死锁的处理策略
死锁预防:设置某些限制条件,破坏产生死锁的四个必要条件中的一个或几个
避免死锁:在资源的动态分配过程中,用某种方法防止系统进入不安全状态
死锁的检测及解除:无须采取任何限制性措施,允许进程在运行过程中发生死锁,通过系统的检测机构及时地检测出死锁的发生,然后采取某种措施解除死锁
【后续会详细讲解】
小结(思维导图)
【计算机操作系统】 专栏的文章 均有参考 《王道计算机考研 操作系统》 课程视频