死锁状态

在多道程序系统中，一组进程中的每个进程均无限期的等待被该组进程中的另一个进程所占有且永远不会释放的资源，这种现象处于死锁状态。

处于死琐状态的进程称为死琐进程。

发生死琐时，死琐进程至少有两个。

所有死琐进程都有等待资源，其中，至少有两个死琐进程占用了资源。

永久性资源和临时性资源。

产生死琐的原因是：

3 系统提供的资源数量有限，不能满足每个进程的使用。

4 多道程序设计时，进程推进次序不合理。

产生死琐的4个必要条件：

1 互斥条件。

2 不可剥夺条件。

3 部分分配。

4 循环等待。

三种预防措施：

1 采用静态资源预分配，破坏“部分分配”条件。

2 允许进程剥夺其他进程占用的资源，从而破坏“不可剥夺”条件。

3 采用资源有序分配法，破坏“环路”条件。

安全状态是没有死琐的状态。

什么时候进行死琐检测主要取决于死琐发生的频率和死琐所涉及的进程个数。

死琐的解除：

1 资源剥夺法。

2 撤消进程法。