计算机 操作系统ch2 (4).ppt

线程调度 局部调度(Local Scheduling) – 线程库怎样决定将哪个线程列入有效的轻量级进程LWP 全局调度 (Global Scheduling) – 内核怎样决定下一个运行的内核线程 调度响应时间 算法评估 确定性建模法 – 精确预定作业量，并定义该作业量在每个算法上执行的情况 排队模型 模拟 通过模拟CPU调度程序来评价 Solaris 2 Scheduling Windows 2000 Priorities * CPU脉冲串和I/O脉冲串的交替执行序列 * CPU脉冲时间片的图示 * CPU调度程序 * 调度程序 * 衡量调度的标准 * 最优化原则 * 先来先服务调度（续） * 最短作业优先调度 * 下一个CPU脉冲长度的确定 * 优先级调度 * 时间片轮转 * 多级队列 * 多级反馈队列调度 * 多级反馈队列实例 * 多处理器调度 * 实时调度 * 线程调度 * 调度响应时间 * 算法评价 * 通过模仿CPU调度程序来评价 6.* Silberschatz, Galvin and Gagne ?2005 Operating System Concepts – 7th Edition, Feb 8, 2005 内容 基本概念 调度准则 调度算法 多处理器调度 实时调度 算法评估 总结 基本概念 CPU调度（进程调度）是多任务操作系统的基础。 通过多道程序设计得到CPU的最高利用率 CPU-I/O脉冲周期 (CPU–I/O Burst Cycle )- 进程的执行包括进程在CPU上执行和等待I/O CPU和I/O的交替顺序 CPU使用时间图 CPU调度程序 选择内存中的就绪进程，并分配CPU给其中之一 CPU调度可能发生在当一个进程: 1. 从运行转到等待. 2. 从运行转到就绪. 3. 从等待转到就绪. 4. 终止运行. 发生在1、4两种情况下的调度称为非抢占式调度(nonpreemptive) . 其他情况下发生的调度称为抢占式调度(preemptive ). 调度模块(Dispatcher) 进程调度(分派程序)模块负责将对CPU的控制权转交给由CPU调度程序，包括: 切换上下文 切换到用户态 跳转到用户程序的适当位置并重新运行之 调度时间、分派延迟(Dispatch latency ) – 调度程序终止一个进程的运行并启动另一个进程运行所花的时间. 调度准则 CPU利用率 – 使CPU尽可能的忙碌 吞吐量 – 单位时间内运行完的进程数 周转时间 – 进程从提交到运行结束的全部时间 ,带权周转时间—周转时间/运行时间 等待时间 – 进程在就绪队列中等待调度的时间片总和 响应时间 – 从进程提出请求到 首次被响应[而不是输出结果]的时间段[在分时系统环境下] 优化准则 最大的CPU利用率 最大的吞吐量 最短的周转时间 最短的等待时间 最短的响应时间 First-Come First-Served (FCFS) Scheduling先来先服务调度算法 举例: 进程 区间时间 P1 24 P2 3 P3 3 假定进程到达顺序如下: P1 , P2 , P3 该调度的Gantt图为: 等待时间： P1 = 0; P2 = 24; P3 = 27 平均等待时间: (0 + 24 + 27)/3 = 17 P1 P2 P3 24 27 30 0 FCFS调度 假定进程到达顺序如下 P2 , P3 , P1 . 该调度的Gantt图为 : 等待时间: P1 = 6; P2 = 0; P3 = 3 平均等待时间 : (6 + 0 + 3)/3 = 3 比前例好得多 此种结果（护航效果convoy effect）产生是由于长进程先于短进程到达 P1 P3 P2 6 3 30 0 Shortest-Job-First (SJF) Scheduling短作业优先调度算法 关联到每个进程下次运行的CPU脉冲长度，调度最短的进程 两种模式: 非抢占式调度 nonpreemptive– 一旦进程拥有CPU，它的使用权限只能在该CPU 脉冲结束后让出. 抢占式调度 Preemptive –发生在有比当前进程剩余时间片更短的进程到达时，也称为最短剩余时间优先调度Shortest-Remaining-Time-First (SRTF). SJF是最优的 – 对一组指定的进程而言，它给出了最短的平均等待时间 进程 到达时间 区间时间 P1 0.0 7 P2 2.0 4 P3 4.0 1 P4 5.0 4 SJF (non-preemptive) 平均等待时间 = (0 + 6 + 3 + 7)/4