操作系统中关于死锁的避免，银行家算法详解及例题解析

安全序列

就是指如果系统按照这种序列分配资源，则每个进程都能顺利完成。只要能找出一个安全序列，系统就是安全状态。

注：
如果系统处于安全状态，就一定不会发生死锁。
如果系统进入不安全状态，就可能发生死锁。（处于不安全状态不一定就发生了死锁，但发生死锁时一定处于不安全状态。）

银行家算法

核心思想

在进程提出资源申请时，先预判此次分配是否会导致系统进入不安全状态。如果会进入不安全状态，就暂时不答应这次请求，让该进程先阻塞等待。

详解

例题1

例题2