总体概述
本次lab的主要内容是扩展线程调度算法,实现基于优先级的抢占式调度算法
我认为,本次lab的关键在于理解Timer、Scheduler和Interrupt之间的关系,从而理解线程之间是如何进行调度的
任务完成情况
- Exercise 1 –> Y
- Exercise 2 –> Y
- Exercise 3 –> Y
- Challenge 1 –> Y
具体完成情况如下所示:
Exercise 1 调研
调研Linux或Windows中采用的进程/线程调度算法
Linux进程调度
Linux将进程分为以下两类:
1. 实时进程
对调度延迟要求最高,要求立即响应并执行
调度策略:FIFO,Round Robin
2. 普通进程
又可分为交货时进程和批处理进程
调度策略为CFS(Completely Fair Scheduler)
CFS调度策略:
每一个进程都有一个“虚拟运行时间”,表示该进程运行了多长时间,调度器会选择运行时间最小的进程来运行。
虚拟运行时间的计算与实际运行时间成正比,与进程优先级成反比
CFS使用虚拟时间作为键值构造一棵红黑树,从而实现了快速的更新和删除
CFS的核心算法为:
分配给进程的运行时间 = 调度周期 * 进程权重 / 所有进程权重之和
vruntime = 实际运行时间 * NICE_0_LOAD / 进程权重
综合为下式:
vruntime = (调度周期 * 进程权重 / 所有进程总权重) * NICE_0_LOAD / 进程权重 = 调度周期 * NICE_0_LOAD / 所有进程总权重
其中调度周期
是,将所有处于TASK_RUNNING态进程都调度一遍的时间
Windows进程调度
Windows的调度单位为线程,采用的调度算法是基于动态优先级的抢占式调度,结合时间配额调整,总是运行最高优先级线程。
Windows维护了多个优先级队列,就绪线程会按照其优先级进入对应的队列,系统总是选择最高优先级的线程让其运行,同一个优先队列中的线程按照时间片轮转调度。多处理器系统中允许多个线程同时运行。