本文是根据bilibili王道考研操作系统课程部分知识点整理而来,仅作为个人学习记录所需
基本概念
让我们思考如下两个场景:
第一个场景:一堆人排队去银行办理业务。这个时候,对于这一堆不同的人,银行会采取不同的措施。普通客户享受先到先服务,而VIP客户则会享受优先被服务,且服务优先级会高于普通用户。
第二个场景:大家一起上厕所。假如大家对于厕所的优先级都是一样的,那么可能会采取这样一种措施,也就是时间短的优先,时间相同的则先排队先使用。
操作系统当中自然也存在类似的调度场景。
当有一堆任务要处理,但由于资源有限,这些事情没法同时处理。这就需要确定某种规则来决定处理这些任务的顺序,这就是“调度”研究的问题。
那什么是处理机调度呢?
在多道程序系统中,进程的数量往往是多于处理机的个数的,这样不可能同时并行地处理各个进程。处理机调度,就是从就绪队列中按照一定的算法,选择一个进程并将处理机分配给它运行,以实现进程的并发执行。
三个层次
高级调度(作业调度)
在早期的多道批处理系统中,用户需要从输入设备,将作业输入到更高速的磁盘/硬盘这样的外存空间上。由于内存空间有限,有时无法将用户提交的作业全部放入内存,因此就需要确定某种规则来决定将作业调入内存的顺序。
高级调度(作业调度)就是按一定的原则从外存上处于后备队列的作业中挑选一个(或多个)作业,给他们分配内存等必要资源,并建立相应的进程(建立PCB),以使它(们)获得竞争处理机的权利。
注意是竞争处理机的权利
高级调度是辅存(外存)与内存之间的调度。每个作业只调入一次,调出一次。作业调入时会建立相应的PCB,作业调出时才撤销PCB。高级调度主要是指调入的问题,因为只有调入的时机需要操作系统来确定,但调出的时机必然是作业运行结束才调出。
中级调度(内存调度)
根据前面所学的知识我们知道,引入了虚拟存储技术之后,操作系统可将暂时不能运行的进程调至外存等待。等它重新具备运行条件且内存又稍有空闲时,再重新调入内存。
这么做的目的是为了提高内存利用率和系统吞吐量。
暂时调到外存等待的进程状态为挂起状态。值得注意的是,PCB并不会一起调到外存,而是会常驻内存。PCB中会记录进程数据在外存中的存放位置,进程状态等信息,操作系统通过内存中的PCB来保持对各个进程的监控、管理。被挂起的进程PCB会被放到的挂起队列中。
中级调度(内存调度),就是要决定将哪个处于挂起状态的进程重新调入内存。
注意,不是决定哪个作业调出内存嗷
一个进程可能会被多次调出、调入内存,因此中级调度发生的频率要比高级调度更高。
低级调度(进程调度)
低级调度也成为进程调度。其主要的任务就是按照某种方法和策略从就绪队列中选取一个进程,并为其分配处理机。
进程调度是操作系统中最基本的一种调度,在一般的操作系统中都必须配置进程调度,它是实现进程并发执行的基础。其频率较高,一般几十毫秒执行一次。
三层调度的联系、对比
名称 | 要做什么 | 调度 | 发生频 | 对进程状态的影响 |
---|---|---|---|---|
高级调度 (作业调度) | 按照某种规则,从后备队列中选择合适的作业将其调入内存,并为其创建进程 | 外存->内存 (面向作业) | 最低 | 无->创建态->就绪态 |
中级调度 (内存调度) | 按照某种规则,从挂起队列中选择合适的进程将其数据调回内存 | 外存->内存 (面向进程) | 中等 | 挂起态->就绪态 (阻塞挂起→阻塞态) |
低级调度 (进程调度) | 按照某种规则,从就绪队列中选择一一个进程为其分配处理机 | 内存->CPU (面向进程) | 最高 | 就绪态->运行态 |
补充知识
进程的”挂起态”
除了传统的5大状态外,进程状态其实还可以再分出两个状态:就绪挂起和阻塞挂起。
暂时调到外存等待的进程状态就称为挂起态(suspend),就绪挂起和阻塞挂起是挂起态的两种细分。
比如一个进程处于就绪状态,如果操作系统此时负载较高,内存不够用了,就有可能会将其暂时移到外存中,也就是”挂起“(数据在外存,PCB在内存),此时进程的状态就可以被称为就绪挂起。一直到内存空间足够或者进程需要被执行,操作系统才会重新激活该进程,进程重新回到就绪态。
阻塞挂起同理,只不过状态改变路线为:阻塞态=>阻塞挂起=>阻塞态。
需要注意的是,有的操作系统检测到阻塞挂起的进程等待的事件出现后,会将该进程的状态直接变成就绪挂起,此时进程再回到内存中就是直接变成就绪态了。
七状态模型
引出了挂起态,那么自然而然也会引出新的状态模型:七状态模型。
当然,进程也有可能从创建态、运行态直接变成就绪挂起态。结合以往的知识,我们可以得到下面这一个七状态模型:
另外提一嘴,注意“挂起”和“阻塞”的区别,两种状态都是暂时不能获得CPU的服务,但挂起态是将进程映像调到外存去了,而阻塞态下进程映像还在内存中。
有的操作系统会把就绪挂起、阻塞挂起分为两个挂起队列,甚至会根据阻塞原因不同再把阻塞挂起进程进一步细分为多个队列。