【计算机操作系统】死锁的概念

死锁的定义

死锁是指多个进程因竞争资源而造成的一种僵局（互相等待），若无外力作用，这些进程都将无法向前推进

【举例分析】以哲学家进餐问题为例解释死锁现象

当5名哲学家都想要进餐并分别拿起左边的筷子时，筷子已被拿光，等到他们再想拿右边的筷子时，就全被阻塞，因此出现了死锁

每个人都占有一个资源同时又在等待另一个人手里的资源，发生“死锁“

➡️在并发环境下，各进程因竞争资源而造成的一种互相等待对方手里的资源，导致各进程都阻塞，都无法向前推进的现象，就是“死锁”，发生死锁后若无外力干涉，这些进程都将无法向前推进

死锁、饥饿、死循环的区别

• 死锁：各进程互相等待对方手里的资源，导致各进程都阻塞，无法向前推进的现象
• 饥饿：由于长期得不到想要的资源，某进程无法向前推进的现象
• 死循环：某进程执行过程中一直跳不出某个循环的现象

共同点：都是进程无法顺利向前推进的现象（故意设计的死循环除外）

区别

• 死锁

  死锁一定是“循环等待对方手里的资源”导致的，因此如果有死锁现象，那至少有两个或两个以上的进程同时发生死锁，另外发生死锁的进程一定处于阻塞态

• 饥饿

  可能只有一个进程发生饥饿，发生饥饿的进程既可能是阻塞态(如长期得不到需要的I/O设备)，也可能是就绪态(长期得不到处理机)

• 死循环

  可能只有一个进程发生死循环。死循环的进程可以上处理机运行(可以是运行态)，只不过无法像期待的那样顺利推进。死锁和饥饿问题是由于操作系统分配资源的策略不合理导致的，而死循环是由代码逻辑的错误导致的。死锁和饥饿是管理者(操作系统)的问题，死循环是被管理者的问题

死锁产生的必要条件

1. 互斥条件

   进程要求对所分配的资源(如打印机)进行排他性使用，即在一段时间内某资源仅为一个进程所占有，此时若有其他进程请求该资源，则请求进程只能等待

2. 不剥夺条件

   进程所获得的资源在未使用完之前，不能被其他进程强行夺走，即只能由获得该资源的进程自己来释放（只能是主动释放）

3. 请求并保持条件

   进程己经保持了至少一个资源，但又提出了新的资源请求，而该资源已被其他进程占有，此时请求进程被阻塞，但对自己已获得的资源保持不放

4. 循环等待条件

   存在一种进程资源的循环等待链，链中每个进程已获得的资源同时被链中下一个进程所请求。 即存在一个处于等待态的进程集合 {P1,P2, … ,Pn} ，其中 Pi 等待的资源被 Pi+1(i=0,1, … ,n-1) 占有，Pn 等待的资源被 P0占有

   注意：发生死锁时一定有循环等待，但是发生循环等待时未必死锁

   

死锁的处理策略

死锁预防：设置某些限制条件，破坏产生死锁的四个必要条件中的一个或几个

避免死锁：在资源的动态分配过程中，用某种方法防止系统进入不安全状态

死锁的检测及解除：无须采取任何限制性措施，允许进程在运行过程中发生死锁，通过系统的检测机构及时地检测出死锁的发生，然后采取某种措施解除死锁

【后续会详细讲解】

小结（思维导图）

---

【计算机操作系统】 专栏的文章 均有参考 《王道计算机考研 操作系统》 课程视频