调度算法

背景

cpu调度

从就绪队列中挑选一个进程/线程作为CPU将要运行的下一个进程/线程
调度程序: 挑选进程/线程的内核函数(通过一些调度策略)
什么时候进行调度?

上下文切换

切换CPU的当前任务, 从一个进程/线程到另一个
保存当前进程/线程在PCB/TCB中的执行上下文(CPU状态)
读取下一个进程/线程的上下文

调度的条件（满足一个即可）

一个进程从运行状态切换到等待状态
一个进程被终结

不可抢占

调度程序必须等待事件结束

可以抢占

调度程序在中断被相应后执行
当前的进程从运行切换到就绪, 或者一个进程从等待切换到就绪
当前运行的进程可以被换出

调度准则

调度策略

人们通常都需要”更快”的服务什么是更快?
- 传输文件时的高带宽
- 玩游戏时的低延迟
- 这两个因素是独立的
和水管类比
- 低延迟: 喝水的时候想要一打开水龙头水就流出来
- 高带宽: 给游泳池充水时希望从水龙头里同时流出大量的水,并且不介意是否存在延迟

我们的目标:

减少响应时间: 及时处理用户的输出并且尽快将输出提供给用户
减少平均响应时间的波动: 在交互系统中,可预测性比高差异性低平均更重要
增加吞吐量: 减少开销(操作系统开销,上下文切换);系统资源的高效率用(CPU,IO设备)
减少等待时间: 减少每个进程的等待时间

公平的目标举例:

保证每个进程占用相同的CPU时间
这公平嘛?如果一个用户比其他用户运行更多的进程怎么办
举例:
- 保证每个进程都等待相同的时间
公平通常会增加平均响应时间

程序执行模型执行模型：

程序在CPU突发和IO中交替

每个调度决定都是关于在下一个CPU突发时将哪个工作交给CPU
在时间分片机制下,线程可能在结束当前CPU突发前被迫放弃CPU

评价指标

**CPU使用率: **CPU处于忙状态所占时间的百分比
**吞吐量: **在单位时间内完成的进程数量
**周转时间: **一个进程从初始化到结束,包括所有等待时间所花费的时间
**等待时间: **进程在就绪队列中的总时间
**响应时间: **从一个请求被提交到产生第一次相应所花费的总时间
各指标在操作系统上的表现: 低延迟调度增加了交互式表现(如果移动了鼠标,但是屏幕中的光标却没动,我们可能会重启电脑)
操作系统需要保证低吞吐量不受影响(我想要结束长时间的编程,所以操作系统必须不时进行调度,即使存在许多交互任务)
吞吐量是操作系统的计算带宽
响应时间是操作系统的计算延迟

调度算法

FCFS(先来先服务)First come, First Served

如果进程在执行中阻塞,队列中的下一个会得到CPU
优点: 简单
缺点:

平均等待时间波动较大
花费时间少的任务可能排在花费时间长的任务后面
可能导致IO和CPU之间的重叠处理(CPU密集型进程会导致IO设备闲置时,IO密集型进程也在等待)

SPN(SJF) SRT(短进程优先(短作业优先)短剩余时间优先)

[最优平均等待时间]Shortest Process Next(Shortest Job First) Shortest Remaining Time选择预测的完成时间来将任务入队可以是抢占的或者是不可抢占的可能导致饥饿

连续的短任务流会使场任务饥饿
短任务可用时的任何场任务的CPU时间都会增加平均等待时间
需要预测未来
- 怎么预估下一个CPU突发的持续时间
- 简单的解决: 询问用户
- 如果用户欺骗就杀死进程
- 如果不知道怎么办?

预估执行时间的算法： T（n+1） = atn + (1- a)at(n-1) + (1-a)(1-a)at(n-2) + ….

HRRN(最高响应比优先)Highest Response Ratio Next

在SPN调度的基础上改进
不可抢占
关注进程等待了多长时间
防止无限期推迟
R = (w + s ) / s

Round Robin(轮循)

举例：

使用时间切片和抢占来轮流执行任务
在叫做量子(或者时间切片)的离散单元中分配处理器。时间片结束时,切换到下一个准备好的进程
花销: 额外的上下文切换
时间量子太大:

等待时间过长
极限情况退化成FCFS
时间量子太小:
- 反应迅速
- 吞吐量由于大量的上下文切换开销受到影响
目标:
- 选择一个合适的时间量子
- 经验规则: 维持上下文切换开销处于1%以内

Multilevel Feedback Queues(多级反馈队列)

优先级队列中的轮循就绪队列被划分成独立的队列: 比如前台(交互),后台(批处理)每个队列拥有自己的调度策略: 比如前台(RR),后台(FCFS)调度必须在队列间进行:

固定优先级: 先处理前台,然后处理后台;可能导致饥饿
时间切片: 每个队列都得到一个确定的能够调度其进程的CPU总时间;比如80%使用RR的前台,20%使用FCFS的后台
一个进程可以在不同的队列中移动例如,n级优先级-优先级调度在所有级别中,RR在每个级别中
- 时间量子大小随优先级级别增加而增加
- 如果任务在当前的时间量子中没有完成,则降到下一个优先级
优点: CPU密集型任务的优先级下降很快;IO密集型任务停留在高优先级

进程调度

背景

cpu调度

上下文切换

调度的条件（满足一个即可）

不可抢占

可以抢占

调度准则

调度策略

程序执行模型执行模型：

评价指标

调度算法

FCFS(先来先服务)First come, First Served

SPN(SJF) SRT(短进程优先(短作业优先)短剩余时间优先)

HRRN(最高响应比优先)Highest Response Ratio Next

Round Robin(轮循)

Multilevel Feedback Queues(多级反馈队列)

实时调度

多处理器调度

优先级反转

背景

cpu调度

上下文切换

调度的条件（满足一个即可）

不可抢占

可以抢占

调度准则

调度策略

程序执行模型执行模型 ：

评价指标

调度算法

FCFS(先来先服务)First come, First Served

SPN(SJF) SRT(短进程优先(短作业优先)短剩余时间优先)

HRRN(最高响应比优先)Highest Response Ratio Next

Round Robin(轮循)

Multilevel Feedback Queues(多级反馈队列)

Fair Share Scheduling(公平共享调度)

实时调度

多处理器调度

优先级反转

程序执行模型执行模型：