死锁笔记

死锁是多个进程在运行过程中因竞争资源导致的一种僵局，如果没有外力作用它们都将无法推进。
产生死锁的四个必要条件
互斥条件：进程要求对所分配的资源进行排他性控制，一段时间内某资源仅为一个进程所占。
请求和保持条件：当进程因请求资源而阻塞时，对自己已经获得的资源保持不放。
不剥夺条件：进程的资源在未使用完前，不能剥夺，只能在使用完后自己释放。
环路等待条件：在发生死锁时必然有一个资源-进程形成环链。
解决死锁的基本方法
预防死锁：
一次性分配所有资源。（破坏请求条件）
只要有一个资源得不到分配，其他资源也不分配。（破坏保持条件）
当进程得不到其他资源就释放已经获得的资源（破坏不剥夺条件）
资源有序分配（破坏环路等待条件）
避免死锁：
典型有银行家算法：系统接收到进程请求资源后，假设同意，如果存在一个安全序列就给予分配，否则拒绝。
检查死锁：
首先为每个进程每个资源设立唯一的号码，建立资源分配表和进程等待表。
解除死锁：
从其他进程剥夺足够的资源给死锁进程，解除死锁。
撤消死锁进程或撤消代价最小的进程直到资源足够使用。