零、进程分类及调度原则
- 实时进程
- 实时的含义和分类
- 调度原则
- 交互进程
- 交互的特点以及补偿
- 调度原则
- batch进程
- Linux版本号
- Linux重要版本及特性
算法概要:
- 设计
- O(N):SMP所有核心竞争任务队列
- O(1):NUMA每个核心一个runqueue
- CFS:NUMA每个核心一颗红黑树
- 数据结构
- O(n):链表
- O(1):bitmap+基于数组的优先级队列
- CFS:红黑树
- task_struct中主要字段
- O(n):policy、nice、counter、rt_priority
- O(1):policy、static_priority、rt_priority
- CFS:policy、vruntime
- 调度算法:O(n)和O(1)主要是如何计算动态优先级,CFS是如何保证公平性
- O(n):动态优先级weight=counter+20-nice,其中时间片counter=counter/2+nice_to_ticket(nice),对交互式进程而言,其counter值会逐渐增大
- O(1):static_priority+交互补偿,对交互式进程而言,其动态优先级会获得±5的bonus
- CFS:根据虚拟时间维护公平性
一、Linux kernel 2.4 O(n)
- 实时进程调度
- FIFO
- RR
- 一般进程调度SCHED_OTHER
- 基于分时系统和优先级的周期epoch非抢占O(n)调度
- 数据结构和算法:基于循环队列的优先级调度算法
- 模型:基于epoch的周期调度模型
- 分时:实时时钟、时钟计数和可编程间隔定时器
- 优先级:静态和动态
- 静态优先级:分配epoch中的时间片
- 动态优先级:进程调度时选择动态优先级最高的进程/线程运行
- 时间片
- 周期epoch:就绪队列上所有就绪进程的时间片加起来就是一个epoch周期
- O(n)
- 不支持抢占
- 基于分时系统和优先级的周期epoch非抢占O(n)调度
- 调度模型和算法
二、Linux kernel 2.5 O(1)
- 实时进程调度
- FIFO
- RR
- 一般进程调度SCHED_NORMAL
- 数据结构和算法
- 交互进程的识别和补偿
- 抢占和非抢占
三、Linux kernel 2.6 CFS
- 数据结构
- rt
- CFS
- 公平:公平即一视同仁,也就意味着在CFS中不再区分交互进程和batch进程,不再像O(n)和O(1)调度那样识别交互进程并对其进行时间片补偿;仅仅根据静态优先级作为进程对CPU资源需求的度量;对于之前的交互式进程,补偿时间片是没有意义的,她需要的是在从阻塞态等待的条件满足之后回到就绪队列,需要被尽快调度执行。
- 长时间阻塞的进程导致虚拟时间过小,然后报复性获得CPU资源的解决办法:
- tick过小,导致获得CPU资源的进程频繁交换的问题:
四、主被动调度
前面四节属于“调度基础”的内容,主要是从算法和数据结构的角度出发,完整一点的Linux进程调度还需要补充主被动调度。
- 调度基础:O(N)、O(1)、CFS、调度策略和调度类、调度队列和调度实体
- 主动调度:schedule——pick next(不同调度算法上pick next)和context switch(switch_mm和switch_to)
- 被动调度:基于时钟中断的schedule_tick,和唤醒睡眠进程try_to_wake_up