操作系统锁——针对实习面试

操作系统锁

在这里插入图片描述

什么是死锁？

死锁是指在多任务操作系统中，两个或多个进程在执行过程中，因争夺资源而造成的一种僵局，使得这些进程都处于等待状态，法继续执行，除非外力干预。简而言之，死锁就是多个进程在等待对方释放资源，导致它们都无法向前推进的状态。

说说死锁产生的条件？

死锁产生的条件包括以下四个：

互斥条件：一个资源一次只能被一个进程使用。
占有和等待条件：一个进程至少占有一个资源，并且等待获取其他进程占有的资源。
不可抢占条件：资源只能由占有它的进程自愿释放。
循环等待条件：存在一个进程序列，其中每个进程都等待下一个进程所占有的资源。

死锁如何预防？

死锁的预防主要通过破坏产生死锁的四个必要条件中的一个或多个来实现。以下是具体的预防措施：

破坏互斥条件：
- 允许某些资源可以被多个进程同时使用，但这在实际操作中很难实现，因为很多资源（如打印机）本质上是互斥的。
破坏占有和等待条件：
- 要求进程在请求新的资源之前释放所有已经占有的资源，这可以通过一次性分配所有必需资源的方式来实现，但这可能导致资源利用率低。
破坏不可抢占条件：
- 允许进程抢占其他进程占有的资源，但这可能会造成进程多次执行，增加系统开销。
破坏循环等待条件：
- 对所有资源类型进行排序，规定进程必须按照特定的顺序请求资源，这样可以避免循环等待的发生。

通过这些措施，可以有效地预防死锁的发生。然而，这些措施在实际应用中可能会降低系统的效率和灵活性，因此在设计系统时需要根据具体情况权衡利弊。

死锁如何避免？

死锁避免不是通过破坏死锁的必要条件来实现的，而是通过动态地检测和控制资源分配过程来确保系统不会进入死锁状态。以下是几种常见的死锁避免策略：

银行家算法：
- 这是一种预防策略，通过模拟资源分配后系统状态，检查是否会导致死锁。如果分配后系统处于安全状态，则允许分配；否则，等待。
资源分配图：
- 使用资源分配图来动态检测死锁。图中的节点代表进程和资源，边代表资源请求和分配。通过检测图中是否存在循环来确定是否会发生死锁。
有序资源分配：
- 要求所有进程按照一定的顺序请求资源，这样可以破坏循环等待条件，从而避免死锁。
动态资源分配策略：
- 在进程运行过程中动态地分配和回收资源，以避免资源长时间被占用而造成的死锁。
死锁避免算法：
- 允许进程在运行时请求和释放资源，并通过算法确保系统不会进入死锁状态。
检测和恢复：
- 定期检测系统是否可能发生死锁，如果检测到死锁，采取恢复措施，如终止进程或回滚操作。

通过这些策略，系统可以在运行时动态地避免死锁的发生，而不是在系统设计时就完全排除死锁的可能性。这提供了更大的灵活性，允许更有效地使用资源。

银行家算法具体怎么操作？

银行家算法是一种避免死锁的著名算法，它的核心思想是在资源分配之前，先预测分配后系统是否处于安全状态。如果分配后系统处于安全状态，则允许分配；否则，等待。以下是银行家算法的具体操作步骤：

初始化数据结构：
- Available：表示当前可用的资源向量。
- Max：表示每个进程对每种资源的最大需求，是一个矩阵，行表示进程，列表示资源。
- Allocation：表示每个进程已经分配到的资源向量，也是一个矩阵。
- Need：表示每个进程还需要的资源向量，计算方式为 Need[i] = Max[i] - Allocation[i]。
安全性检查：
- 检查系统是否处于安全状态。如果存在一个进程序列 P1, P2, ..., Pn，使得：
  - 对于每个 Pi，Available >= Need[Pi]。
  - 分配 Pi 所需的资源后，系统仍然处于安全状态。
- 如果存在这样的进程序列，则系统处于安全状态。
请求资源：
- 当进程 P 请求资源时，检查请求是否小于等于 Need[P]。
- 如果请求超出其最大需求，则拒绝请求。
预分配资源：
- 假设系统暂时分配请求的资源给进程 P，更新 Available 和 Allocation。
检查安全状态：
- 使用安全性检查算法，检查预分配后系统是否仍然处于安全状态。
- 如果系统仍然安全，则实际分配资源给进程 P。
- 如果系统不安全，则拒绝请求，保持原来的资源分配状态。
释放资源：
- 当进程 P 释放资源时，更新 Available 和 Allocation。
- 检查是否有其他进程因等待 P 释放的资源而阻塞，如果有，则尝试唤醒这些进程。

银行家算法的关键在于，它通过预先检查资源分配的安全性，避免了死锁的发生。这种算法适用于资源有限且需要预先分配的场景，如操作系统中的内存管理、数据库系统中的事务处理等。

死锁如何解决？

解决死锁通常涉及检测死锁的存在，并采取相应的恢复措施。以下是几种常见的解决死锁的方法：

预防死锁：
- 通过破坏死锁的四个必要条件之一或多个来预防死锁的发生。
避免死锁：
- 使用算法（如银行家算法）在资源分配前预测是否会发生死锁，并据此决定是否分配资源。
检测和恢复死锁：
- 检测死锁：定期检查系统是否处于死锁状态，通常使用资源分配图来检测是否存在循环等待。
- 恢复死锁：一旦检测到死锁，可以采取以下措施之一来恢复系统：
  - 终止进程：选择一个或多个进程终止，释放它们占有的资源，以打破死锁。
  - 回滚事务：在数据库系统中，可以通过事务回滚来释放资源。
  - 资源剥夺：从其他进程中剥夺资源，分配给死锁进程，以解除死锁。
  - 进程预占：要求进程在开始执行前声明其最大资源需求，如果无法满足，则推迟进程的执行。
动态调整资源分配策略：
- 在系统运行过程中动态调整资源分配策略，以减少死锁发生的可能性。
提高资源利用率：
- 通过优化资源分配算法，提高资源利用率，减少因资源不足导致的死锁。
用户干预：
- 在某些情况下，可能需要用户介入来解决死锁，例如，用户可以手动释放某些资源或重启进程。
设计合理的系统结构：
- 在系统设计阶段就考虑到死锁问题，设计合理的系统结构和资源管理策略，以减少死锁的发生。

解决死锁的关键在于平衡系统性能和死锁风险，采取合适的策略来最小化死锁对系统性能的影响。

死锁会产生什么影响？

死锁会对计算机系统产生一系列负面影响，主要包括：

资源浪费：
- 死锁发生时，涉及死锁的进程无法继续执行，但它们可能仍然占用着一些资源。这些资源既不能被其他进程使用，也不能被释放，导致资源的浪费。
系统吞吐量降低：
- 由于死锁进程无法完成，它们占用的CPU时间和其他资源无法被其他进程利用，这会降低系统的吞吐量，即单位时间内完成的任务数量。
系统响应时间延长：
- 死锁可能导致系统对用户请求的响应时间变长，因为系统资源被锁定，无法及时响应新的请求。
进程延迟：
- 死锁进程无法继续执行，导致进程的执行被延迟，影响任务的及时完成。
用户满意度降低：
- 用户可能会因为系统响应慢或任务执行延迟而感到不满，这会影响用户体验和系统的整体评价。
系统稳定性和可靠性下降：
- 频繁的死锁可能导致系统稳定性和可靠性下降，因为死锁可能需要系统管理员手动干预来解决，这增加了系统的维护成本。
系统复杂性增加：
- 为了防止死锁，可能需要引入更复杂的资源管理策略和算法，这增加了系统设计的复杂性。
经济损失：
- 在商业环境中，系统性能的下降和响应时间的延长可能会导致经济损失，特别是在高交易量和对实时性要求高的系统中。

因此，死锁的管理和预防是操作系统设计和维护中的重要任务，需要采取有效的策略来减少死锁的发生，以保证系统的稳定性和效率。

乐观锁与悲观锁有什么区别？

乐观锁和悲观锁是两种不同的并发控制策略，它们在处理并发访问共享资源时的假设和实现方式有所不同。以下是它们的主要区别：

锁的假设：
- 悲观锁：假设会发生冲突，即假设数据在大多数情况下会被多个进程同时修改，因此在数据被读取或写入时就加锁，以防止其他进程的并发访问。
- 乐观锁：假设冲突发生的概率较低，允许多个进程同时读取和修改数据，只在提交更新时检查是否发生了冲突。
锁的实现方式：
- 悲观锁：通常通过数据库的锁机制（如行锁、表锁）或编程语言提供的同步机制（如互斥锁、信号量）来实现。
- 乐观锁：通常通过数据版本控制来实现，例如使用时间戳或递增的版本号来检测在读取数据后是否发生了修改。
性能开销：
- 悲观锁：由于需要频繁地加锁和解锁，可能会产生较高的性能开销，特别是在高并发场景下。
- 乐观锁：在没有冲突的情况下，性能开销较小，因为不需要加锁。但如果冲突频繁发生，可能会导致多次重试，从而增加性能开销。
适用场景：
- 悲观锁：适用于写操作多于读操作，或者数据竞争激烈的场景，可以有效地避免数据不一致的问题。
- 乐观锁：适用于读操作多于写操作，或者数据冲突较少的场景，可以提高系统的并发性能。
死锁风险：
- 悲观锁：由于锁的持有和等待关系，存在死锁的风险。
- 乐观锁：由于没有锁的等待关系，不存在死锁问题。
事务回滚：
- 悲观锁：如果发生冲突，通常需要手动或自动地进行事务回滚。
- 乐观锁：如果检测到冲突，事务会自动回滚，并可能需要重试。