LINUX 操作系统 第4章 进程调度概要1.pptVIP

第4章 进程调度 进程调度 调度程序是内核的组成部分，它负责选择下一个要运行的进程。 调度程序的基本工作：在一组处于可运行状态的进程中选择一个来执行。 Linux提供抢占式的多任务模式。 本章主要内容 调度策略 Linux调度算法 抢占和上下文切换 实时 与调度相关的系统调用 4.1 调度策略 调度策略决定调度程序在何时让什么进程运行。 4.1.1 I/O消耗型和处理器消耗型进程 I/O消耗型进程：进程的大部分时间用来提交I/O请求或是等待I/O请求。这样的进程经常处于可运行状态，但通常只运行短短的一会儿。 处理器消耗型进程：它把时间大多用在执行代码上。 对于处理器消耗型进程，调度策略是尽量降低它们的运行频率。 调度策略 调度策略通常要在两个矛盾中寻找平衡： 进程响应时间短 系统吞吐量高 Linux为了保证交互式应用，更倾向于优先调度I/O消耗型进程。 4.1.2 进程优先级 基于优先级的调度：调度程序总是选择时间片未用尽而且优先级最高的进程运行。 Linux实现了基于动态优先级的调度方法。 Linux内核提供了两组独立的优先级： nice值：范围从-20~19，默认值是0。值越大，优先级越低。 实时优先级：任何实时进程的优先级都高于普通进程。 4.1.3 时间片 时间片大小的确定 太短 —— 问题？ 太长 —— 问题？ Linux的调度程序提供较长的默认时间片给交互式程序。 Linux还能根据进程的优先级动态调整分配给它的时间片，从而保证优先级高的进程，执行的频率高，执行时间长。 时间片 当一个进程的时间片耗尽时，就认为进程到期了。 没有时间片的进程不会再投入运行，除非等到其它所有的进程都耗尽了它们的时间片，这时，会重新计算所有进程的时间片。 4.1.4 进程抢占 两种情况下会发生进程抢占： 有一个进程进入TASK_RUNNING状态，而它的优先级高于当前正在运行的进程 当正在运行的进程的时间片变为0时 4.2 Linux调度算法 Linux的调度程序在kernel/sched.c中定义。 在2.5开发版的内核中重写了调度程序的大部分代码，主要为了实现以下目标： 充分实现O(1)调度 全面实现SMP的可扩展性 强化SMP的亲和力 加强交互性能 保证公平 4.2.1 可执行队列 可执行队列定义于kernel/sched.c中，由结构runqueue表示。 可执行队列是给定处理器上的可执行进程的链表，每个处理器一个。 可执行队列runqueue 与可执行队列相关的几个宏 cpu_rq(processor)：返回给定处理器的可执行队列的指针 this_rq( )：返回当前处理器的可执行队列 task_rq(task)：返回给定任务所在的队列指针 锁住可执行队列 在对可执行队列进行操作之前，应该先锁住它，防止队列被其它代码改动。 需要用到task_rq_lock( )和task_rq_unlock( )函数。 锁住当前的可执行队列 可以用this_rq_lock( )来锁住当前的可执行队列，用rq_unlock(struct runqueue * rq) 释放给定队列上的锁。 如何避免死锁 为了避免死锁，要锁住多个运行队列的代码必须总是按照同样的顺序获取这些锁：按照可执行队列地址从低到高的顺序。 P34页代码 自旋锁用于防止多个任务同时对可执行队列操作。 4.2.2 优先级数组 每个运行队列有两个优先级数组，一个活跃的，一个过期的。 优先级数组在kernel/sched.c中定义，是prio_array类型的结构体。 优先级数组是一种能够提供O(1)算法复杂度的数据结构。 prio_array结构体 MAX_PRIO定义了系统拥有的优先级个数，默认值是140，在sched.h中定义如下： prio_array结构体分析 BITMAP_SIZE是优先级位图数组的大小，定义如下： prio_array结构体分析 每个优先级数组都包含一个这样的位图成员，至少为每个优先级准备一位。初始时，所有的位都置0；当拥有某个优先级的进程准备执行时，位图中的相应位就被置1。 这样，查找系统中最高的优先级就变成了查找位图中被设置的第一个位。因为优先级的个数是定值(140个)，所以查找时间恒定，并不受系统到底有多少可执行进程的影响。 prio_array结构体分析 每个prio_array包含一个叫作queue的数组，该数组的每个元素都是一个struct list_head类型的队列。每个队列与一个给定的优先级相对应。 prio_array中还包含了一个计数器nr_active，记录该优先级数组内可执行进程的数目。 4.2.3 重新计算时间片 重新计算时间片的老方法： 新的Linux调度程序如何计算时间片 Linux调度程序