死锁

• 死锁： 各进程互相等待对方手里的资源， 导致各进程都阻塞， 无法向前推进的现象。
• 饥饿： 由于长期得不到想要的资源， 某进程无法向前推进的现象。 比如： 在短进程优先（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 表示本次申请的各种资源量。