操作系统期末复习（30）-CSDN博客

# 死锁时序示例  
def process_A():  
    lock(resource_1)  # 步骤1  
    # ... 上下文切换发生 ...  
    lock(resource_2)  # 步骤3 → 等待被process_B持有的资源  

def process_B():  
    lock(resource_2)  # 步骤2  
    lock(resource_1)  # 步骤4 → 等待被process_A持有的资源

时序敏感性：特定指令序列组合触发环路

3. 系统级诱因分析

因素	贡献度	案例
资源分配策略缺陷	45%	银行未实施"贷款总额度控制"
进程调度算法缺陷	30%	实时系统优先级反转
编程模型缺陷	20%	多线程未使用RAII锁管理
硬件资源突发故障	5%	内存故障导致资源计数错误

题目44：死锁预防的破坏条件

正确答案：互斥、请求与保持、环路等待

深度解析：条件破坏的科学性

1. 互斥条件的特殊性（不可破坏）

不可破坏的数学证明：
设资源R为临界资源，若允许多进程同时访问，则：
```
写操作W1和W2并发执行 → 结果不确定性（违反计算机确定性原则）  
```
唯一妥协方案：资源转换技术
- SPOOLing：将独占打印机转为虚拟打印机（磁盘缓冲）
- 事务内存（Transactional Memory）：乐观并发控制

2. 请求与保持的破坏机制

一次性分配策略的代价模型：

资源利用率下降率 = Σ(资源预留时间 - 实际使用时间) / 总时间

改进方案：
- 阶段性资源申请（Phase-based Allocation）
- 动态资源配额（Kubernetes容器资源模型）

3. 环路等待破坏的图论基础

资源分配图拓扑约束：
- 强制资源申请遵循全序关系（Total Order）
- 环路存在定理：违反偏序必有环

4. 不可剥夺条件的现实意义

可剥夺资源白名单：
资源类型剥夺可行性恢复方案
CPU寄存器 100% 上下文保存
内存 90% 换出到交换区
文件锁 10% 事务回滚
网络连接 5% TLS会话恢复

资源类型	剥夺可行性	恢复方案
CPU寄存器	100%	上下文保存
内存	90%	换出到交换区
文件锁	10%	事务回滚
网络连接	5%	TLS会话恢复

题目45：死锁的四个必要条件

正确答案：互斥条件、请求与保持条件、不可剥夺条件、环路等待条件

深度解析：必要条件的逻辑闭合性

1. 严格必要性证明（反证法）

假设某条件不成立时仍发生死锁：

条件	不成立假设	死锁可能性
互斥	资源可共享	无需等待 → 无死锁
请求与保持	申请新资源前释放旧资源	资源不持有 → 无循环等待基础
不可剥夺	系统可随时收回资源	强制回收打破循环链
环路等待	无等待环	路径无闭环 → 至少一个进程可推进