linux内核设计与实现笔记之第四章进程调度

一、I/O消耗型和处理器消耗型进程

   进程可以被分为I/O消耗型和处理器消耗型。前者指进程的大部分时间用来提交I/O请求或是等待I/O请求。因此,这样的进程经常处于可运行状态,但通常都是运行短短的一会儿,因为它在等待更多的I/O请求时最后总会阻塞。相反,处理器消耗型进程把时间大多用在执行代码上。除非被抢占,否则它通常一直不停的运行,因为它们没有太多的I/O请求。当然,这种划分 方式并不是绝对的,进程可以同时展示这两种行为。

二、linux进程优先级

   linux采用两种不同的优先级范围。

   第一种是nice值。nice值的范围从-20到+19,默认值为0。nice值越大,优先级越低。在linux系统中nice值代表时间片的比例。

   第二种是实时优先级。实时优先级的范围是0--99。与nice相反,实时优先级数值越大,进程优先级越高。

   需要注意的是,nice值用于表示普通进程的优先级,实时优先级表示实时进城的优先级。任何实时进程的优先级都高于普通进程。实时优先级和nice优先级处于互不相交的两个范围。

三、时间片

   时间片是一个数值,它表示进程被抢占前所能运行的最大时间。

   I/O消耗型不需要太长的时间片,而处理器消耗型则希望时间片越长越好。

   linux的CFS调度器并没有直接分配时间片到进程。进程所获得的处理器时间跟系统负载密切相关。nice作为权重将调整进程所使用的处理器时间比。

四、linux调度算法

   linux调度器是以模块方式提供的,这样做的目的是允许不同类型的进程可以有针对性的选择调度算法,这种模块化结构被称为调度器类,它允许多种不同的可动态添加的调度算法存在。即:

   linux允许多种不同的可动态添加的调度算法并存;

   linux允许不同类型的进程可以有针对性的选择调度算法。

   完全公平调度(CFS)是一个针对普通进程的调度类。CFS调度算法的核心是选择具有最小vruntime的进程。

   CFS的出发点是基于一个简单的理念:进程调度的效果应该如同系统具备一个理想中的完美多任务处理器。在这种系统中,每个进程能够获得1/n的处理器时间--n是指可运行进程的数量。

   nice值在CFS中被作为进程获得的处理器运行比的权重:越高的nice值(越低的优先级)进程获得更低的处理器使用权重。每个进程都按其权重在全部可运行进程中所占比例的时间片来运行。

   CFS为每个进程引入获得时间片的最小值,这个最小值称为最小粒度。默认情况下这个值是1ms。如此一来,即便是可运行进程趋于无限大,每个进程最少也能获得1ms的运行时间。确保切换消耗被限制在一定范围内。

五、时间记账

   所有的调度器都必须对进程运行时间做记账。struct sched_entity结构中的vruntime变量存放进程运行的虚拟时间。虚拟时间以ns为 单位,所以vruntime和定时器节拍不再想关。虚拟运行时间可以帮助我们逼近CFS模型所追求的理想多任务处理器。因此,CFS用vruntime来记录一个进程到底运行了多长时间以及它还再运行多久。

   当CFS需要选择下一个运行进程时,它会挑一个具有最小vruntime的进程。这其实就是CFS调度算法的核心:

选择具有最小vruntime的进程。

   CFS使用红黑树来组织可运行进程队列,并利用其迅速找到具有最小vruntime值的进程。CFS的进程选择算法也可以简单总结为:

运行rbtree树中最左边叶子节点所代表的那个进程。

六、睡眠和唤醒

   休眠(被阻塞)的进程处于一种特殊的不可执行状态。进程的休眠有多种原因,但肯定都是为了等待一些事件。无论是等待那种事件,内核的操作都相同:进程把自己标记成休眠状态,从可执行红黑树中移出,放入等待队列,然后调用schedule选择和执行一个其他的进程。

   唤醒的过程刚好相反:进程被设置为可执行状态,然后再从等待队列中移到可执行红黑树中。由此可见,休眠的进程被唤醒后,不一定立即会被执行,需要等待内核的调度。唤醒只是将进程从等待队列移到可执行红黑树中。

   休眠有2中相关的状态:TASK_INTERRUPTIBLE、TASK_UNINTERRUPTIBLE。不论是哪种状态,两种状态地进程都位于同一个等待队列中,等待某些事件。

   休眠通过等待队列进行处理。等待队列是由等待某些事件发生的进程组成的简单链表。内核用wait_queue_head_t来表示等待队列。

   唤醒操作通过wake_up()来进行。它会唤醒指定的等待队列上的所有进程。它调用函数try_to_wake_up(),该函数负责将进程设置为TASK_RUNNING状态,调用enqueue_task()将此进程放入红黑树中。如果被唤醒的进程优先级比当前正在执行的进程优先级高,还要设置need_resched标志。

七、need_resched

   内核必须知道在什么时候调用schedule()。如过仅靠用户代码显式的调用schedule(),它们就可能永远地执行下去。相反的,内核提供一个need_resched标志来表明是否需要重新执行一次调度。当某个进程应该被抢占时,scheduler_tick()就会设置这个标志;当一个优先级高的进程进入可执行状态的时候,try_to_wake_up()也会设置这个标志。内核检查该标志,确认其被设置,调用schedule()来切换到一个新的进程。该标志对内核来讲是一个信息,它表示 有其他进程应当被运行了,要尽快调用调度程序。

   每个进程都包含一个need_resched标志。

   内核抢占发生在:

   ·中断处理程序正在执行,且返回内核空间之前。

   ·内核代码再一次具有可抢占性的时候

   ·内核中的任务显式的调用schedule()的时候

   ·如果内核中的人物阻塞(这同样也对导致调用schedule())

 

 

 

  

 

 

 

 

 

 

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值