Linux操作系统分析13_scheduling.pptVIP

xlanchen@2008.4.11 Linux内核源代码导读 Linux内核源代码导读 中国科学技术大学计算机系 陈香兰（0551－3606864） xlanchen@ustc.edu.cn Spring 2009 进程调度 调度策略 调度算法 进程的分类 不同类型的进程有不同的调度需求 第一种分类： I/O-bound 频繁的进行I/O 通常会花费很多时间等待I/O操作的完成 CPU-bound 计算密集型 需要大量的CPU时间进行运算 第二种分类 交互式进程（interactive process） 需要经常与用户交互，因此要花很多时间等待用户输入操作 响应时间要快，平均延迟要低于50~150ms 典型的交互式程序：shell、文本编辑程序、图形应用程序等 批处理进程（batch process） 不必与用户交互，通常在后台运行 不必很快响应 典型的批处理程序：编译程序、科学计算 实时进程（real-time process） 有实时需求，不应被低优先级的进程阻塞 响应时间要短 典型的实时进程：视频/音频、机械控制等 Linux中的进程调度 Linux既支持普通的分时进程，也支持实时进程 Linux中的调度是多种调度策略和调度算法的混合。 什么是调度策略？ 是一组规则，它们决定什么时候以怎样的方式选择一个新进程运行 Linux的调度基于分时和优先级 随着版本的变化，分时技术在不断变化 优先级越来越复杂 Linux的进程根据优先级排队 根据特定的算法计算出进程的优先级，用一个值表示 这个值表示把进程如何适当的分配给CPU Linux中进程的优先级是动态的 调度程序会根据进程的行为周期性的调整进程的优先级 较长时间未分配到CPU的进程，通常↑ 已经在CPU上运行了较长时间的进程，通常↓ 与调度相关的系统调用 nice getpriority/setpriority sched_getscheduler/sched_setscheduler sched_getparam/sched_setparam sched_yield sched_get_priority_min/sched_get_priority_max sched_rr_get_interval 调度算法 Linux 2.4的调度算法 需要遍历可运行队列，算法O(n) Epoch，基本时间片，动态优先级 Linux 2.6.17的调度算法（2.6.23之前） 采用双队列（Active；expire ），按照优先级组队，O(1) Linux 2.6.26的调度算法 非实时：CFS，vruntime，红黑树 实时：优先级队列 Linux进程可以指定该进程所采用的调度策略 调度算法根据进程的调度策略，采用不同的调度算法 Linux 2.6.26中的调度策略：Policy，调度类型 查看各个policy的使用情况 调度类型 阅读const struct sched_class，调度类 rt_sched_class fair_sched_class idle_sched_class 调度类接口举例 找到主要与运行队列有关的 enqueue_task、dequeue_task Idle相关：idle_sched_class no enqueue/yield_task for idle tasks dequeue_task_idle Fair相关 enqueue_task_fair dequeue_task_fair Rt相关 enqueue_task_rt dequeue_task_rt 接口关系 Idle类特殊 Fair类 Rt类 激活一个任务 activate_task TASK_RUNNING状态的进程组织 每个cpu有一个运行队列 非实时任务和实时任务各有一个子队列 运行队列数据结构 struct cfs_rq struct rt_rq 调度实体 公平调度实体：sched_entity 3部分，其中调度统计和组公平调度的不看 实时调度实体sched_rt_entity 其中组实时调度信息不看 阅读2.6.26的schedule函数 调度函数的关键： 调度算法的关键 入列 CFS根据vruntime的值入列，其关键在于vruntime值的计算 RT根据优先级入列 CFS算法 就绪队列的组织：红黑树 进程在红黑树中的键值的调整 阅读入列操作enqueue_entity Linux2.6.26中的优先级范围 Linux2.6.26中的nice值 Nice值用来调整进程的优先级 Nice值的范围在-20~19之间。 Linux2.6.26中的USER_PRIO CFS进程的优先级 prio：当前有效优先级 static_prio：根据nice设置 n