nachos lab2-线程调度

总体概述

本次lab的主要内容是扩展线程调度算法，实现基于优先级的抢占式调度算法

我认为，本次lab的关键在于理解Timer、Scheduler和Interrupt之间的关系，从而理解线程之间是如何进行调度的

任务完成情况

1. Exercise 1 –> Y
2. Exercise 2 –> Y
3. Exercise 3 –> Y
4. 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维护了多个优先级队列，就绪线程会按照其优先级进入对应的队列，系统总是选择最高优先级的线程让其运行，同一个优先队列中的线程按照时间片轮转调度。多处理器系统中允许多个线程同时运行。