进程调度概述
定义
进程存在的核心目的:虚拟化CPU,从而支持多个进程在少量的物理CPU上运行(每个进程以为它独享一个CPU)。
进程调度就是选择一个可用的进程(可能从多个可用进程集合中选择)到CPU上执行。单处理器系统从来不会有超过一个进程在运行。如果有多个进程,那么余下的则需要等待CPU空闲并重新调度。
调度队列
进程进入系统时被加入到作业队列中,该队列包含系统中所有进程。
驻留在内存中等待运行的程序保存在就绪队列中,该队列常用链表来实现,其头节点指向链表的第一个和最后一个PCB块的指针。
操作系统也有其他队列。等待特定IO设备的进程列表称为设备队列。每个设备都有自己的设备队列。
就绪队列中进程在就绪队列中等待直到被选中执行或被派遣。当进程分配到CPU执行时,可能发生:
- 进程发出一个IO请求,并放到IO队列中。
- 进程创建新的子进程,并等待其结束。
- 进程由于中断而强制释放CPU(被抢占),并被放回到就绪队列中。
即如下图:
调度的分类 & 调度程序
调度有以下几种:
- 长程调度(作业调度):决定加入待执行进程池
- 中程调度:决定加入部分/全部位于内存中的进程集合(换入/换出)
- 短程调度(进程调度):决定处理器执行哪个可运行进程(执行)
- I/O调度:决定可用I/O设备处理哪个进程挂起的I/O请求
除I/O调度外,对应到队列如下图所示:
进程会在各种调度队列之间迁移,为了调度,操作系统必须按某种方式从这些队列中选择进程。进程的选择是由相应的调度程序(scheduler)来执行的。
短程调度程序 从准备执行的进程中选择进程,并为之分配CPU。
短程调度程序通常100ms至少执行一次,由于每次执行之间的时间较短,短程调度程序必须要快。
导致当前进程阻塞或抢占当前运行进程的事件(时钟中断、I/O 中断、操作系统调用、信号)发生时,会调用短程调度程序。
长程调度程序 批处理系统中,进程更多的是被提交,而不是马上执行。这些进程通常放到磁盘的缓冲池里,以便以后执行。长程(作业)调度程序从该池中选择进程,并装入内存以准备执行。
长程调度程序执行的并不频繁,所以长程调度程序能使用更多的时间来选择执行进程。长程调度程序控制多道程序设计的程度(内存中进程的数量)。长程调度程序必须仔细选择执行进程。
绝大多数进程可分为:I/O密集和计算(CPU)密集。为使系统达到平衡和更好的性能,长程调度程序应当选择一个合理的包含I/O为主的和CPU为主的组合进程以充分使用设备和短程调度程序。
Linux和Windows系统通常没有长程调度程序,这些系统的稳定性依赖于物理限制,如果系统性能下降很多,会有用户的退出。
中程调度程序 分时系统中可能引入中程调度程序,其核心思想是能够将进程从内存中移出,从而降低多道程序设计的程度,之后进程可以被换入。
三者在执行频繁程度上有较大差别,执行频繁程度:短程调度 > 中程调度 > 长程调度
调度算法
● 非抢占:在这种情况下,一且进程处于运行状态,就会不断执行直到终止,进程要么因为等待I/O,要么因为请求某些操作系统服务而阻塞自己。
● 抢占:当前正运行进程可能被操作系统中断,并转换为就绪态。一个新进程到达时,或中断发生后把一个阻塞态进程置为就绪态时,或出现周期性的时间中断时,需要进行抢占决策。
经典调度
先来先服务 FCFS
算法描述:非抢占、先请求CPU的进程先分配CPU。
缺点:在长短任务混合的场景下对短任务不友好
最短作业优先 SJF(SPN)
算法描述:非抢占、下次选择预计时间最短的进程。
缺点:
- 必须预知任务运行时间
- 表现严重依赖于任务到达时间点
- 不公平,有饥饿风险
在SJF中加入抢占即是最短剩余时间优先。
抢占:
最短剩余时间有限 SRT
算法描述:抢占、选择预期剩余时间最短的进程。
缺点:
- 必须预知任务运行时间
- 长任务有饥饿风险
时间片轮转(Round Robin ,RR)
算法描述:抢占、以一个周期(q)产生中断,当中断发生时,当前运行的程序置于就绪队列(队尾)中,然后基于FCFS选择下一个就绪作业运行。
缺点:在任务运行时间相似的场景下平均周转时间高
经典调度算法对比:
实时调度
每个任务都有截止时间(Deadline)。
软实时(Soft Real Time):允许超过截止时间、视频播放,每一帧的渲染
硬实时(Hard Real Time):不允许超过截止时间、自动驾驶汽车的刹车任务
最早截止时间优先 (Earliest Deadline First, EDA )
算法描述:每次调度截止时间最近的任务
缺点:在任务不可调度时,会造成多数任务都错过截止时间(多米诺效应)
优先级调度
算法描述:设置许多独立的队列(queue),每个队列有不同的优先级(priority level)。任何时刻,一个工作只能存在于一个队列中。优先级调度总是优先执行较高优先级的工作(即在较高级队列中的工作)。具有同样的优先级的作业采用轮转调度。
做法:多级反馈队列(Multi-level Feedback Queu, MLFQ)
公平共享调度
- 每个用户占用的资源是成比例的,而非被任务的数量决定
- 每个用户占用的资源是可以被计算的
- 设定”权重值”以确定相对比例(绝对值不重要)
- 例:权重为4的用户使用资源,是权重为2的用户的2倍
做法:彩票调度
reference
[1] 操作系统概念
[2] 操作系统-精髓与设计原理
[3] 上海交通大学并行与分布式系统研究所-进程/线程调度
[4] 操作系统导论(ostep)
[5] 现代操作系统