死锁问题和其解锁

死锁

产生死锁的四个必要条件：

1.互斥条件：一个资源每次只能被一个进程使用。

2.请求与保持条件：一个进程因请求资源而阻塞时，对己获得的资源保持不放。

3.不剥夺条件：进程已获得的资源在未被使用完之前不能强制剥夺。

4.循环等待条件：若干进程之间形成一种头尾相接的循环等待资源关系。

解决死锁的基本方法：

预防死锁：

资源一次性分配：一次性分配所有资源，不会再有其他的请求。只要有一个资源得不到分配，就不给这个进程分配其他资源。（破坏了请求与保持条件）

可剥夺资源：某个进程获得了部分资源，但得不到其他资源，则释放已占有资源。（破坏了不剥夺条件）

资源有序分配：系统给每一类资源附上一个编号，每一个进程按照编号递进的顺序请求资源，释放则相反。（破坏了循环等待条件）

解除死锁：

剥夺资源：剥夺其他进程的资源，使死锁进程获得足够的资源从而解除死锁状态。

撤销进程：直接撤销死锁进程或撤销代价小的进程，直至有足够的资源可用，使死锁进程解除。