3.7 避免死锁

 

 

避免死锁：确保系统安全状态

避免死锁的核心在于保持系统始终处于安全状态，即通过资源的动态分配过程预防系统进入可能导致死锁的不安全状态。这种策略虽然相对宽松，但能有效提高系统性能，并避免死锁的发生。

系统安全状态的重要性

安全状态定义

• 安全状态意味着系统能够按某种顺序（安全序列）为每个进程分配所需资源，直至满足其最大需求，使得每个进程都能顺利完成。
• 不安全状态并非意味着死锁必然发生，但一旦系统进入不安全状态，死锁的风险显著增加。

安全序列示例

假设系统中有三个进程和十二台磁带机，根据当前资源的分配和需求情况，系统可以找到一个进程推进顺序，使得所有进程都能按需获得资源并顺利完成。这个顺序即为安全序列。

从安全状态到不安全状态的转换

• 系统从安全状态转向不安全状态通常由于错误的资源分配决策。
• 如在例子中，若系统错误地分配资源给请求资源的进程，可能导致无法找到一个满足所有进程需求的安全序列，从而进入不安全状态，增加死锁发生的风险。

死锁避免策略

• 系统在对进程的资源请求进行响应前，需评估此次资源分配是否会导致系统进入不安全状态。
• 若资源分配后系统仍处于安全状态，则可以将资源分配给进程；否则，进程需等待，直到系统能够安全地满足其请求。

实施死锁避免的挑战

• 需要系统能够准确预测每个进程的资源需求，以及在分配资源后系统状态的变化。
• 需要有效的算法来评估和保证资源分配后的系统状态安全性。

结论

通过保持系统处于安全状态，我们可以有效避免死锁的发生。这要求系统在资源分配前进行详细的安全性评估，确保每次资源分配不会导致系统进入不安全状态。虽然这种方法可能增加系统的复杂度和资源分配的延迟，但相比死锁造成的系统停滞和资源浪费，这是一种值得采用的策略。

 

 

避免死锁：银行家算法的工作原理

在多任务和并发编程环境中，死锁是一个常见而棘手的问题。死锁发生时，进程集合中的每个进程都在等待一个事件，但这个事件只能由集合中的另一个进程触发。这就导致了一个僵局，没有任何进程能够继续执行。幸运的是，有一种称为“银行家算法”的技术，可以有效避免死锁。让我们深入了解银行家算法的工作原理。

银行家算法的起源和命名

银行家算法由著名的计算机科学家Edsger Dijkstra提出。这个名字来源于银行系统的贷款方式，银行在发放贷款时必须确保即使所有客户同时要求取出存款，银行也能满足这些需求而不会破产。在操作系统中，这一概念被应用于资源分配，以避免死锁。

银行家算法的数据结构

银行家算法的实现依赖于以下四个关键的数据结构：

1. 可用资源向量（Available）：表示每种类型资源当前的可用数量。
2. 最大需求矩阵（Max）：每个进程可能需要的每种资源的最大数量。
3. 分配矩阵（Allocation）：当前每种资源已分配给每个进程的数量。
4. 需求矩阵（Need）：每个进程还需要的每种资源的数量。

银行家算法的核心逻辑

银行家算法在进程请求资源时进行两个主要的检查：

1. 请求是否超过声明的最大需求：系统首先检查进程的请求是否超过了其声明的最大需求。
2. 资源分配后系统是否仍处于安全状态：系统尝试分配请求的资源，并运行安全性算法来判断分配后系统是否仍处于安全状态。

如果这两个条件都满足，系统才会分配资源给请求的进程。这确保了系统在任何时候都能按照某种顺序完成所有进程，避免死锁的发生。

安全性算法

安全性算法是银行家算法中用于确定系统是否处于安全状态的关键组成部分。一个系统状态被认为是安全的，如果存在一个进程序列，使得每个进程都可以在等待时获得其最大需求的资源，然后执行、完成并释放资源。这个进程序列称为安全序列。

银行家算法的实际应用

尽管银行家算法在理论上是解决死锁的有效方法，但它在实际应用中可能会遇到一些挑战，主要包括：

• 进程必须事先声明其最大资源需求，这在实际操作中可能难以准确估计。
• 算法的运行需要额外的时间和资源，可能会影响系统性能。

总结

银行家算法提供了一种避免死锁的有效策略，通过预先分析资源分配的后果来确保系统始终处于安全状态。虽然它在实践中可能存在一些局限性，但银行家算法对于理解如何通过预防性策略来避免死锁仍然是一个宝贵的资源。在设计能够处理资源竞争的复杂系统时，了解和实现银行家算法的原理无疑是非常有用的。