写在前面：我在复习过程中整理的面试系列文章，全部免费分享给大家，适合保研和考研还有平常复习，需要的请移步我的个人原创gong主号：程序员宝藏（号如其名，诚不欺你），回复关键字：复试上岸，即可获取！
如果觉得对你有帮助，点个赞鼓励一下我，嘿嘿！
正文开始
1.死锁的定义
在多道程序系统中，由于多个进程的并发执行，改善了系统资源的利用率并提高了系统的处理能力。然而，多个进程的并发执行也带来了新的问题——死锁。
所谓死锁，是指多个进程因竞争资源而造成的一种僵局（互相等待），若无外力作用，这些进程都将无法向前推进。
【这里可能会问】：外力作用，什么是外力？答：资源剥夺；撤销进程；进程回退（参看后面的死锁解除）
【死锁实例】：某计算机系统中只有一台打印机和一台输入设备，进程P1正占用输入设备，同时又提出使用打印机的请求，但此时打印机正被进程P2所占用，而P2在未释放打印机之前，又提出请求使用正被P1占用的输入设备。这样，两个进程相互无休止地等待下去，均无法继续执行，此时两个进程陷入死锁状态。
2.死锁产生的原因
一、系统资源的竞争
通常系统中拥有的不可剥夺资源，其数量不足以满足多个进程运行的需要，使得进程在运行
过程中，会因争夺资源而陷入僵局，如磁带机、打印机等。只有对不可剥夺资源的竞争才可能产生死锁，对可剥夺资源的竞争是不会引起死锁的。
二、进程推进顺序非法
进程在运行过程中，请求和释放资源的顺序不当，也同样会导致死锁。例如，并发进程P1, P2分别保持了资源R1,R2, 而进程P1 申请资源R2、进程P2申请资源R1 时，两者都会因为所需资源被占用而阻塞。
信号量使用不当也会造成死锁。进程间彼此相互等待对方发来的消息，也会使得这些进程间
无法继续向前推进。例如，进程A等待进程B发的消息，进程B又在等待进程A发的消息，可以看出进程A和B不是因为竞争同一资源，而是在等待对方的资源导致死锁。
3.死锁产生的必要条件
产生死锁必须同时满足以下4个条件，只要其中任意一个条件不成立，死锁就不会发生。
-
互斥条件：进程要求对所分配的资源（如打印机）进行排他性控制，即在一段时间内某资源仅为一个进程所占有。此时若有其他进程请求该资源，则请求进程只能等待。
-
不剥夺条件：进程所获得的资源在未使用完之前，不能被其他进程强行夺走，即只能由获得该资源的进程自己来释放（只能是主动释放）。
-
请求并保持条件：进程已经保持了至少一个资源，但又提出了新的资源请求，而该资源已被其他进程占有，此时请求进程被阻塞，但对自己已获得的资源保持不放。
-
循环等待条件：存在一种进程资源的循环等待链，链中每个进程已获得的资源同时被链中下一个进程所请求。即存在一个处于等待态的进程集合{P1, P2, …, Pn｝，其中Pi 等待的资源被Pi+1 (i=0,1, … ,n-l) 占有，Pn等待的资源被P0占有，如图所示:
【注意】：直观上看，循环等待条件似乎和死锁的定义一样，其实不然。按死锁定义构成等待环所要求的条件更严，它要求Pi等待的资源必须由Pi+1来满足，而循环等待条件则无此限制。例如，系统中有两台输出设备， P0占有一台，Pk占有另一台，且k不属于集合{0,1,… ,n} 。Pn等待一台输出设备，它可
从P0获得，也可能从Pk获得。因此，虽然Pn,P0和其他一些进程形成了循环等待圈，但Pk不在圈内，若Pk释放了输出设备，则可打破循环等待，如图所示。因此循环等待只是死锁的必要条件。
资源分配图含圈而系统又不一定有死锁的原因是，同类资源数大于1 。但若系统中每类资源
都只有一个资源，则资源分配图含圈就变成了系统出现死锁的充分必要条件。
要注意区分不剥夺条件与请求并保持条件。下面用一个简单的例子进行说明：若你手上拿着
一个苹果（即便你不打算吃），别人不能把你手上的苹果拿走，则这就是不剥夺条件；若你左手拿着一个苹果，允许你右手再去拿一个苹果，则这就是请求并保持条件。
4.死锁的处理策略
为使系统不发生死锁，必须设法破坏产生死锁的4个必要条件之一，或允许死锁产生，但当
死锁发生时能检测出死锁，并有能力实现恢复。有以下三种处理策略：
-
死锁预防
设置某些限制条件，破坏产生死锁的4 个必要条件中的一个或几个，以防止发生死锁。 -
避免死锁
在资源的动态分配过程中，用某种方法防止系统进入不安全状态，从而避免死锁。 -
死锁的检测及解除
无须采取任何限制性措施，允许进程在运行过程中发生死锁。通过系统的检测机构及时地检测出死锁的发生，然后采取某种措施解除死锁。
【比较】预防死锁和避免死锁都属于事先预防策略，预防死锁的限制条件比较严格，实现起来较为简单，但往往导致系统的效率低，资源利用率低；避免死锁的限制条件相对宽松，资源分配后需要通过算法来判断是否进入不安全状态，实现起来较为复杂。死锁的几种处理策略的比较见表：
死锁预防
防止死锁的发生只需破坏死锁产生的4 个必要条件之一即可。
- 破坏互斥条件
若允许系统资源都能共享使用，则系统不会进入死锁状态。但有些资源根本不能同时访问，
如打印机等临界资源只能互斥使用。
所以，破坏互斥条件而预防死锁的方法不太可行，而且在有的场合应该保护这种互斥性。
- 破坏不剥夺条件
当一个已保持了某些不可剥夺资源的进程请求新的资源而得不到满足时，它必须释放已经保
持的所有资源，待以后需要时再重新申请。这意味着，一个进程已占有的资源会被暂时释放，或者说是被剥夺，或从而破坏了不剥夺条件。
该策略实现起来比较复杂，释放已获得的资源可能造成前一阶段工作的失效，反复地申请请和释放资源会增加系统开销，降低系统吞吐量。
这种方法常用于状态易于保存和恢复的资源，如CPU的寄存器及内存资源，一般不能用于打印机之类的资源。
- 破坏请求并保持条件
采用预先静态分配方法，即进程在运行前一次申请完它所需要的全部资源，在它的资源未满
足前，不把它投入运行。一旦投入运行，这些资源就一直归它所有，不再提出其他资源请求，这样就可以保证系统不会发生死锁。
这种方式实现简单，但缺点也显而易见，系统资源被严重浪费，其中有些资源可能仅在运行
初期或运行快结束时才使用，甚至根本不使用。而且还会导致＂饥饿“现象，由于个别资源长期被其他进程占用时，将致使等待该资源的进程迟迟不能开始运行。
- 破坏循环等待条件
为了破坏循环等待条件，可采用顺序资源分配法。首先给系统中的资源编号，规定每个进程
必须按编号递增的顺序请求资源，同类资源一次申请完。也就是说，只要进程提出申请分配资源Ri, 则该进程在以后的资源中请中就只能申请编号大于Ri的资源。
这种方法存在的问题是，编号必须相对稳定，这就限制了新类型设备的增加；尽管在为资源
编号时已考虑到大多数作业实际使用这些资源的顺序，但也经常会发生作业使用资源的顺序与系统规定顺序不同的情况，造成资源的浪费；此外，这种按规定次序申请资源的方法也必然会给用户的编程带来麻烦。
死锁避免
避免死锁同样属于事先预防策略，但并不是事先采取某种限制措施破坏死锁的必要条件，而是在资源动态分配过程中，防止系统进入不安全状态，以避免发生死锁。这种方法所施加的限制条件较弱，可以获得较好的系统性能。
避免死锁的方法中，允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次分配的安全性。若此次分配不会导致系统进入不安全状态，则允许分配；否则让进程等待。
【安全状态】是指系统能按某种进程推进顺序(P1, P2, …, Pn) 为每个进程Pi分配其所需的资源，直至满足每个进程对资源的最大需求，使每个进程都可顺序完成。此时称P1, P2,···, Pn为安全序列。若系统无法找到一个安全序列，则称系统处于不安全状态。
【注意】：并非所有的不安全状态都是死锁状态，但当系统进入不安全状态后，便可能进入死锁状态；反之，只要系统处于安全状态，系统便可避免进入死锁状态。
银行家算法
银行家算法是最著名的死锁避免算法，其【思想】是：把操作系统视为银行家，操作系统管理的资源相当于银行家管理的资金，进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源。进程运行之前先声明对各种资源的最大需求量，当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过该进程声明的最大需求量。若超过则拒绝分配资源，若未超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。
相关数据结构和实例感兴趣请自行百度（公式括号矩阵表格不太好打出来，嘿嘿嘿！）
死锁的检测和解除
前面介绍的死锁预防和避免算法，都是在为进程分配资源时施加限制条件或进行检测，若系
统为进程分配资源时不采取任何措施，则应该提供死锁检测和解除的手段。
- 资源分配图
系统死锁可利用资源分配图来描述。如下图所示，用圆圈代表一个进程，用框代表一类资源。由于一种类型的资源可能有多个，因此用框中的一个圆代表一类资源中的一个资源。从进程到资源的有向边称为请求边，表示该进程申请一个单位的该类资源；从资源到进程的边称为分配边，表示该类资源已有一个资源分配给了该进程。
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-utQr0mAS-1588853368544)(https://imgkr.cn-bj.ufileos.com/88165550-3fdd-4130-ad8f-835c879fceee.png)]
【注意】判断某种资源是否有剩余空间，应用它的资源数量减去它在资源分配图中的出度。
在该图示的资源分配图中，进程P1已经分得了两个R1资源，并又请求一个R2资源；进程P2分得了一个R1资源和一个R2资源，并又请求一个R1资源。
- 死锁定理
简化资源分配图可检测系统状态S是否为死锁状态。简化方法如下：
- 在资源分配图中，找出既不阻塞又不孤点的进程Pi【即找出一条有向边与它相连，且该有向边对应资源的申请数量小于等于系统中已有的空闲资源数量，如在上图中，R1没有空闲资源，R2有一个空闲资源。若所有连接该进程的边均满足上述条件，则这个进程能继续运行直至完成，然后释放它所占有的所有资源】。消去它所有的请求边和分配边，使之成为孤立的结点。在下图(a)中，P1是满足这一条件的进程结点，将P1 的所有边消去，便得到下图(b)所示的情况。继续简化便得到（c）的情况。
S为死锁的条件是当且仅当S状态的资源分配图是不可完全简化的，该条件为死锁定理。
死锁解除
一旦检测出死锁，就应立即采取相应的措施来解除死锁。死锁解除的主要方法有：
- 资源剥夺法。挂起某些死锁进程，并抢占它的资源，将这些资源分配给其他的死锁进程。但应防止被挂起的进程长时间得不到资源而处于资源匮乏的状态。
- 撤销进程法。强制撤销部分甚至全部死锁进程并剥夺这些进程的资源。撤销的原则可以按进程优先级和撤销进程代价的高低进行。
- 进程回退法。让一（或多）个进程回退到足以回避死锁的地步，进程回退时自愿释放资源而非被剥夺。要求系统保持进程的历史信息，设置还原点。
【拓展】：死锁与饥饿的区别？
一组进程处于死锁状态是指组内的每个进程都在等待一个事件，而该事件只可能由组内的另一个进程产生。这里所关心的主要是事件是资源的获取和释放。
与死锁相关的另一个问题是无限期阻塞(Indefinite Blocking) 或饥饿(Starvation) , 即进程在信号最内无穷等待的情况。
产生饥饿的【主要原因】是：在一个动态系统中，对于每类系统资源，操作系统需要确定一个分配策略，当多个进程同时申请某类资源时，由分配策略确定资源分配给进程的次序。有时资源分配策略可能是不公平的，即不能保证等待时间上界的存在。在这种情况下，即使系统没有发生死锁，某些进程也可能会长时间等待。当等待时间给进程推进和响应带来明显影响时，称发生了进程”饥饿＂，当“饥饿”到一定程度的进程所赋予的任务即使完成也不再具有实际意义时，称该进程被“饿死”。
“饥饿”并不表示系统一定会死锁，但至少有一个进程的执行被无限期推迟。＂饥饿”与死锁的主要差别如下：
- 进入“饥饿”状态的进程可以只有一个，而因循环等待条件而进入死锁状态的进程却必
须大于等于两个。 - 处于“饥饿＇＇状态的进程可以是一个就绪进程，如静态优先权调度算法时的低优先权进程，而处于死锁状态的进程则必定是阻塞进程。
