3.4预防死锁&3.5避免死锁

预防死锁


预先静态分配法：进程执行要么分配全部资源，要么一个资源都不给。

要使用的资源按照编号依次申请，所有资源申请完毕再执行，申请的资源顺序并不代表执行的顺序，执行时根据进程情况而定。

避免死锁


银行家算法





available向量：每个元素代表可用资源数
i代表进程，j代表资源数量，
MAX[i， j]矩阵：最大需求量矩阵，[i， j]代表当前i进程需要j类资源的数量。
allocation[i， j]矩阵：代表以获得资源的数量。
need[i， j]矩阵：代表还需要资源的数量

如果请求资源数小于或者等于可用资源数
修改可用资源数 ：原来的数量减去请求的的数量
修改分配矩阵当前进程的以获得的资源数量：原来的加上请求的
修改需求资源数：原来的减去请求的。
request和need不同，need是指总的需要的资源数，在申请资源时可以分几次申请，不一定一次申请完，所以request可以一次申请部分资源。


MAX - Allocation = Need 需要的减去已有的等于还需要的
可用资源数 = 查看Allocation矩阵某列即可得知当前某类资源的分配情况，用总共的减去当前的即是可用的。
A：可用资源数 = 10 - 2 + 3 + 2 = 3
执行完一个进程后可以直接用原来的可用资源数加上Allocation矩阵的对应的进程一行得到当前可用资源数（也可以慢慢先分配再求和算）
执行完P1后当前可用资源数 = 3 3 2 + 2 0 0 = 5 3 2

1）
1）处于安全状态，安全序列为：p0——>1,5,3,2 p2——>2,8,8,6 p1——>3,8,8,6 p3——>3,8,9,10

2）need>request可以立刻满足，p1的Allocation变为1，4，2，0，need变为0，3，3，0。Avaliable1，1，0，0。

安全，安全序列：

p0——>1,1,1,2 p2——>2,4,6,6 p1——>3,8,8,6 p3——>3,8,9,10