上一篇博文分析介绍了CFS调度算法和一些基本的调度算法,下面将继续分析CFS调度算法的实现过程。调度的实现基本可以分为以下四个步骤:
1、时间记账:
每一个进程的调度器都需要对进程运行的时间进行记账,我们给每个进程分配一定的时间片,在每次系统的时间节拍发生时时间片都会减少一个节拍周期的时间,直至时间片使用完,下一个时间片非零的进程会进行抢占。
CFS中虽然没有了时间片的概念,但是由于CFS调度器要保证每个进程被公平的分配以处理器的处理时间,所以依旧需要对时间进行记账。
记账的实现:①首先根据所有进程的总数进行保准化,加权,得到一个总的运行时间;②同一个优先级的进程获得相等的处理器使用时间;③使用一个vruntime结构体变量来记录程序已经运行的时间以及还需要继续运行的时间。
2、进程选择:
选择的核心:选择具有最小vruntime的任务。由此去均衡进程的虚拟运行时间。
具体的实现:使用红黑树来管理可运行的进程队列,并最快的找到最小vruntime的任务(运行rbtree树中最左边叶子节点所代表的那个进程);
对于进程队列管理涉及的操作包括:任务的挑选(实现的步骤);向树中加入新的进程;向树中删除进程。
3、调度器入口:
进程调度的入口是schedule()函数,他也是内核中负责调用进程调度器的入口,他会选择那个进程可以运行,并将其投入运行。而调度的实现首先需要和一个具体的调度类相关联,首先找到最高优先级的调度器类,然后这个调度器类有着自己属于自己负责的进程的进程队列,然后这个调度器将负责实现具体的调度功能;每一个调度器类按优先级依次进行调度,最后完成所有进程的调度。
4、睡眠和唤醒:
进程只有处于可执行的就绪状态才能被调度执行,而处于等待状态(TASK_INTERRUPTIBL、TASK_UNINTERRUPTIBL)被放在等待队列中,然后合适的时机通过wke_up函数唤醒指定队列上的所有进程,将其插入进程队列等待调度执行。