死锁的总结（1）

哲学家死锁造成的原因：我有你需要的，但你已经有了

饥饿与死锁的区别

死锁一旦发生一定又饥饿现象，但是饥饿现象产生不一定是死锁

历史上对于死锁的声音

死锁的方案

前面两个都是不允许死锁出现

前面都是概念性的东西

后面我们研究如何破坏死锁

保守派思想：

保守派是如何解决死锁的，根据前面，我们知道他们的思想是从源头切断死锁的出现

我们根据锁的特性进行判断

第一个互斥使用，如果我们让进程之间不互斥使用，那么如果有相同堆的资源，我们可以共享的，那么可能会出现数据冲突。

第二个不可剥夺，如果进程内的资源可以被任意抢夺，那么如果一个进程在运行，那么资源被随意抢占了，如何确保资源不会出错，就算保存资源，那么大量的进程切换一样会浪费大量资源。

第三个占有和等待，如果p1进程一直占用p2进程想要的资源，那么我将p1进程中p2需要的资源释放出来，让给p2，这样就可以解决p1占用资源和p2一直等待资源的问题，这个模型貌似是可行的。

第四个循环等待，和上面那个差不多，其他资源被占用，导致有进程一直循环等待资源释放，但这里的循环等待是一直循环等待，根本拿不到资源，解决掉他也能解决死锁。

上面这些特性有两个貌似是可以从根源上解决死锁的，但我们发现如果根据这些特性去编写程序，那么自由度，以及开发成本会直线上升，这不符合商业逻辑。

进步派思想：

死锁的避免

安全算法

我们先学一个银行杠杆模型

银行给借款人一个credits，达到credits立刻还款。

下图推演过程

假设一开始我们借给tom3万，bob4万，银行还剩三万。

我们需要推演，ben现在是否能向银行申请一万的借款

ben现在向银行申请一万的借款，那么银行批准之后，再向tom借款两万，立刻回笼五万。

回笼五万又向bob借款四万，立刻回笼八万。

然后银行借给ben6万，回笼7万。

最后得到ben可以得到这一万的借款。

注：给ben申请之后，需要严格按照推演流程进行贷款（这里不考虑借贷人是否有还款能力）。

假设ben要申请两万，那么银行会否让ben申请呢？

这个情况下银行应该是不会借给ben钱，而且会要求ben降额。

我们可以根据前面的模型将银行抽象成系统，将钱抽象成资源。

演算过程就是算法。

安全状态

我们需要给进步派思想的安全状态做个定义

我这里翻译一下第一句，可能不太准确。

在某一个特定的顺序，每个进程都能拿到它所需要的最大资源量，且避免出现死锁的情况，那么这个系统的状态就是安全的。正式一点来说，当且仅当存在一个安全的进程序列。

总之安全状态就是在一个状态下，有一串进程序列运行，这些进程不会产生死锁

不安全状态就是这个进程序列运行时会产生死锁。

我们需要根据银行算法来寻找这个系统存在的安全序列，去运行特定的程序。

银行家算法数据结构

我们根据max（需要的）的矩阵减去allocation（已有的）得到need矩阵，得到进程执行需要的资源矩阵。

算法如下

第一步：我们可以找到332资源可以先分配给p1和p3，我们先选择从p1开始

第二步：我们为将资源分配给p1，然后返回332+200等到可用资源532

第三步：532可以分配给p3和p4，我们选择p3

第四步：532分配给p3，我们得到532+211=743，现在我们需要的所有资源都可以被分配了，也就不需要继续向下分析了，大家可以自己分析一下。