6调度与死锁分解.ppt

Linux Scheduling Linux使用混合调度算法(quickdirty) PCB中与调度有关数据结构 Policy(OTHER、FIFO、RR、YIELD) Counter:剩余时间片 Priority:20 Rt_priority Nice Linux Scheduling(cont.) Schedule() (kernel/sched.c)操作 处理内核例程(如timer_bh等） 对当前进程进行处理 Goodness() Switch_to() Linux Scheduling(cont.) 调度时机 在某个时候设置need_reshed标志 1个进程进入就绪队列 当前进程时间片用完 在系统调用结束返回时、在部分中断服务程序返回时检测need_reshed标志 直接状态转换 Exit Sleep wait 进程死锁 定义 死锁(Deadlock)指多个进程因资源竞争而造成的一种僵局，若无外力作用，这些进程将永远不能再向前推进 进程死锁 Examples semaphores A and B, initialized to 1 P0 P1 wait (A); wait(B) wait (B); wait(A) 进程死锁 Examples 进程死锁 产生死锁的原因 竞争资源 进程推进顺序不当 进程死锁 产生死锁的必要条件 互斥条件 请求与保持条件(部分分配) 不剥夺条件 环路等待条件 处理死锁的基本方法 预防死锁(严格、静态预防) 避免死锁(宽松、动态预防) 检测死锁 解除死锁 死锁的预防 破坏4个必要条件之一 破坏“互斥”条件？ 根据临界资源共享原则,不能破坏! 破坏“请求与保持条件”？ 可以 采取全部分配或不分配原则 资源浪费和进程推迟运行 破坏“不剥夺”条件？ 破坏“环路等待条件”？ 死锁的预防 破坏4个必要条件之一 破坏“不剥夺”条件？ 可以 申请新资源而得不到满足时,释放所占有的资源 复杂、可能引起前段工作失效、导致系统效率低下 破坏“环路等待条件”？ 死锁的预防 破坏4个必要条件之一 破坏“环路等待条件”？ 可以 方法：不让资源分配图出现环，顺序申请 依赖用户，不方便 死锁的避免 系统安全状态 所谓安全状态，指系统能按照某种顺序如p1,p2,…,pn（安全序列），为每个进程分配其所需资源，直至最大需求，使每个进程都可顺序完成，若系统不存在这样一来一个安全序列，则称系统处于不安全状态。只要存在1个安全序列，该系统处于安全状态。 避免死锁就是使系统时刻处于安全状态 死锁的避免 系统安全状态 进程 最大需求 已分配 可用 p1 10 5 3 p2 4 2 p2 9 2 进程序列p1,p2,p3、p1,p3,p3 p3,p1,p2、p3,p2,p1不是安全序列 p2,p1,p3、p2,p3,p1为安全序列 死锁的避免 银行家算法 来源于银行家的投资策略 投资项目 总资金需求 已投资金 P1 100 20 P2 200 100 P2 50 10 银行现有资金50 死锁的避免 银行家算法 数据结构 可利用资源向量Available 最大需求矩阵Max 分配矩阵Allocation 需求矩阵Need 死锁的避免 银行家算法 在进程Pi请求资源时，执行银行家算法 1 、如果Requesti = Needi，转2，否则error 2、如果Requesti=Available,转3，否则阻塞 3、试探性分配 4、执行安全性算法，做安全性检查 5、如果是安全状态，则正式分配，否则取消试探性分配 死锁的检测与解除 死锁的检测 对访问资源和进程没有任何约束,只要有可能就将资源分配给进程. 操作系统周期性检测死锁(循环等待条件、死锁定理)，判断死缩发生 申请资源得不到满足 定期(1hour) Cpu利用率下降 死锁恢复 死锁的检测与解除 死锁的检测 资源分配图 死锁的检测与解除 资源分配图的简化 1.在资源分配图中找一个既不阻塞又非独立的进程节点,去掉所有请求边和分配边 2.重复步骤1,直到找不到这样的节点 3.若能消除所有的边,使所有的进程节点成为孤立节点,则称该图是可完全简化的,否则称该图为不可完全简化 死锁的检测与解除 资源分配图的简化的例子 死锁的检测与解除 死锁定理 状态S为死锁状态,当且仅当