- 死锁: 各进程互相等待对方手里的资源, 导致各进程都阻塞, 无法向前推进的现象。
- 饥饿: 由于长期得不到想要的资源, 某进程无法向前推进的现象。 比如: 在短进程优先(SPF) 算法 中, 若有源源不断的短进程到来,则长进程将一直得不到处理机, 从而发生长进程“饥饿” 。
- 死循环: 某进程执行过程中一直跳不出某个循环的现象。 有时是因为程序逻辑 bug 导致的, 有时是程序员故意设计的。
- 安全序列, 就是指如果系统按照这种序列分配资源, 则每个进程都能顺利完成。 只要能找出一个 安全序列, 系统就是安全状态。
- 安全状态, 就一定不会发生死锁。 如果系统进入不安全状态, 可能发生死锁
银行家算法核心思想: 在进程提出资源申请时, 先预判此次分配是否会导致系统进入不安全状态。 如果会进入不安全状态, 就暂时不答应这次请求, 让该进程先阻塞等待。
-
假设系统中有 n 个进程, m 种资源每个进程在运行前先声明对各种资源的最大需求数,可用一个 n*m 的矩阵(可用二维数组实现)表示所有进程对各种资源的最大需求数。 不妨称为最大需求矩阵 Max, Max[i,j]=K 表示进程 Pi 最多需要 K 个资源Rj。
-
同理, 系统可以用一个 n*m 的分配矩阵 Allocation 表示对所有进程的资源分配情况。 Max – Allocation =Need 矩阵, 表示各进程最多还需要多少各类资源。
-
另外, 还要用一个长度为m的一维数组 Available 表示 当前系统中还有多少可用资源。 某进程Pi向系统申请资源,可用一个长度为m的一维 数组 Requesti 表示本次申请的各种资源量。