linux进程调度
面向基础,深入学习linux进程调度的相关知识,源码阅读,主要介绍 linux公平调度 CFS ( Completely Fair Schedule),基于linux版本2.6.34。
看源码所感:“而世之奇伟、瑰怪,非常之观,常在于险远,而人之所罕至焉,故非有志者不能至也。”
概述
调度程序即(scheduler)决定了多个程序运行策略,调度程序的最大原则在于能够最大限度的利用计算资源。
多任务系统可以划分为两类:非抢占式多任务(cooperative multitasking), 抢占式多任务(preemptive mulittasking).
Linux2.6.34内核中调度器的设计是模块化的,这样做的好处是允许不同可以有针对性的选择不同调度算法,其中最基本的调度算法为基于分时(time sharing)的技术。
架构
整体架构如下,即调度策略是模块化设计的,调度器根据不同的进程依次遍历不同的调度策略,找到进程对应的调度策略,调度的结果即为选出一个可运行的进程指针,并将其加入到进程可运行队列中。
CFS
完全公平调度: CFS的出发点基于一个简单的理念:即所有进程实际占用处理器CPU的时间应为一致,目的是确保每个进程公平的处理器使用比,即最大的利用了计算资源。FIFO
先入先出队列:不基于时间片调度,处于可运行状态的SCHED_FIFO级别的进程比SCHED_NORMAL有更高优先级得到调度,一旦SCHED_FIFO级别的进程处于可执行的状态,它就会一致运行,直到进程阻塞或者主动释放。RR
(Round-Robin):SCHED_RR级别的进程在耗尽事先分配的时间片之后就不会继续执行。即可以理解将RR调度理解为带有时间片的SCHED_FIFO。
FIFO和RR调度算法都为静态优先级。内核不为实时进程计算动态优先级,保证了优先级别高的实时进程总能抢找优先级比它低的进程。
Linux进程调度的实现
主要针对CFS调度
实现部分主要4个点:时间记账,进程选择,调度器入口,睡眠和唤醒
整体涉及的数据结构图如下:
task_struct
:为进程任务基础数据结构,存储着进程相关信息sched_entity
:存储着进程调度相关的信息,其中run_node
为可执行红黑树的节点ofs_rq
: 存储着rb_root,红黑树的根节点task_timeline
slab
: linux内核对于对象内存的一种高效的管理机制, 可以有效的降低内存碎片。task_struct
这类数据结构由slab
分配并管理
时间记账
所有的调度器都必须对进程的运行时间做记账。CFS不再有时间片的概念,维护了每个进程运行的时间记账,因为每个进程只在公平分配给它的处理器时间内运行。关键数据结构如下:
vruntime: 虚拟运行时间是在所有可运行基础的总数上计算出一个进程应该运行多久,计算时相应的nice值在CFS被作为进程获得处理器运行比的权重:越高的nice(越低优先级)值,获得更低的处