计算机操作系统笔记
计算机操作系统笔记(一)
一、操作系统
二、进程
点此跳转
二、进程
2.2、处理机调度
- 高级调度
高级调度(作业调度)
。按一定的原则从外存上处于后备队列的作业中挑选一个(或多个)作业,给他们分配内存等必要资源,并建立相应的进程(建立PCB)
,以使它(们)获得竞争处理机的权利
。
高级调度是辅存(外存)与内存之间的调度。每个作业只调入一次,调出一次。作业调入时会建立相应的PCB,作业调出时才撤销PCB
。高级调度主要是指调入的问题,因为只有调入的时机需要操作系统来确定,但调出的时机必然是作业运行结束才调出。 - 中级调度
引入了虚拟存储技术之后,可将暂时不能运行的进程调至外存等待。等它重新具备了运行条件且内存又稍有空闲时,再重新调入内存。
这么做的目的是为了提高内存利用率
和系统吞吐量
。
暂时调到外存等待的进程状态为挂起状态
。值得注意的是,PCB
并不会一起调到外存,而是会常驻内存
。PCB中会记录进程数据在外存中的存放位置,进程状态等信息,操作系统通过内存中的PCB来保持对各个进程的监控、管理。被挂起的进程PCB会被放到的挂起队列
中。
中级调度(内存调度)
,就是要决定将哪个处于挂起状态的进程重新调入内存
挂起态又可以进一步细分为就绪挂起、阻塞挂起
两种状态
- 低级调度
低级调度(进程调度)
,其主要任务是按照某种方法和策略从就绪队列中选取一个进程,将处理机分配给它。
进程调度是操作系统中最基本的一种调度
,在一般的操作系统中都必须配置进程调度。进程调度的频率很高
,一般几十毫秒一次。
2.3、进程调度的时机、切换与过程、方式
2.3.1、时机
需要进行进程调度与切换的情况
当前运行的进程主动放弃
处理机
当前运行的进程被动放弃
处理机
不能进行进程调度与切换的情况
1.在处理中断的过程中
。中断处理过程复杂,与硬件密切相关,很难做到在中断处理过程中进行进程切换。
2.进程在操作系统内核程序临界区中
。
3.在原子操作过程中(原语)
。原子操作不可中断,要一气呵成(如之前讲过的修改PCB中进程状态标志,并把PCB放到相应队列)
临界资源:一个时间段内只允许一个进程使用的资源。各进程需要互斥地
访问临界资源。临界区:访问临界资源的那段代码。
内核程序临界区一般是用来访问某种内核数据结构
的,比如进程的就绪队列(由各就绪进程的PCB组成)
2.3.2、方式
非剥夺调度方式,又称非抢占方式
。即只允许进程主动放弃处理机。在运行过程中即便有更紧迫的任务到达,当前进程依然会继续使用处理机,直到该进程终止或主动要求进入阻塞态。
剥夺调度方式,又称抢占方式
。当一个进程正在处理机上执行时,如果有一个更重要或更紧迫的进程需要使用处理机,则立即暂停正在执行的进程,将处理机分配给更重要紧迫的那个进程。
2.3.3、切换与过程
进程切换的过程主要完成了:
1.对原来运行进程各种数据的保存
2.对新的进程各种数据的恢复
注意:进程切换是有代价的
,因此如果过于频繁
的进行进程调度、切换
,必然会使整个系统的效率降低
,使系统大部分时间都花在了进程切换上,而真正用于执行进程的时间减少。
2.4、调度算法的评价指标
CPU利用率:指CPU“忙碌”的时间占总时间的比例。
利用率= 忙碌的时间 / 总时间
系统吞吐量:单位时间内完成作业的数量
系统吞吐量=总共完成了多少道作业 / 总共花了多少时间
周转时间:是指从作业被提交给系统开始
,到作业完成为止
的这段时间间隔。
周转时间=作业完成时间-作业提交时间
平均周转时间=各作业周转时间之和 / 作业数
带权周转时间=作业周转时间 / 作业实际运行的时间=(作业完成时间-作业提交时间) / 作业实际运行的时间
带权周转时间必然≥1
带权周转时间与周转时间都是越小越好
等待时间:指进程/作业处于等待处理机状态时间之和,等待时间越长,用户满意度越低。
对于进程
来说,等待时间就是指进程建立后等待被服务的时间之和,
对于作业
来说,不仅要考虑建立进程后的等待时间,还要加上作业在外存后备队列中等待的时间
。
响应时间:指从用户提交请求到首次产生响应所用的时间。
2.5、调度算法
2.5.1、先来先服务(FCFS)
算法思想 | 主要从“公平”的角度考虑(类似于我们生活中排队买东西的例子) |
算法规则 | 按照作业/进程到达的先后顺序进行服务 |
用于作业/进程调度 | 算法规则用于作业调度时,考虑的是哪个作业先到达后备队列;用于进程调度时,考虑的是哪个进程先到达就绪队列 |
是否可抢占? | 非抢占式的算法 |
优点 | 公平、算法实现简单 |
缺点 | 排在长作业(进程)后面的短作业需要等待很长时间,带权周转时间很大,对短作业来说用户体验不好。即FCFS算法对长作业有利,对短作业不利(Eg :排队买奶茶… |
是否会导致饥饿 | 不会 |
2.5.2、短作业优先(SJF)
算法思想 | 追求最少的平均等待时间,最少的平均周转时间、最少的平均平均带权周转时间 |
算法规则 | 最短的作业/进程优先得到服务(所谓“最短”,是指要求服务时间最短) |
用于作业/进程调度 | 即可用于作业调度,也可用于进程调度。用于进程调度时称为“短进程优先(SPF, Shortest Process First)算法” |
是否可抢占? | SJF和SPF是非抢占式的算法。但是也有抢占式的版本――最短剩余时间优先算法(SRTN, Shortest Remaining Time Next) |
优点 | “最短的”平均等待时间、平均周转时间 |
缺点 | 缺点:不公平。对短作业有利,对长作业不利。可能产生饥饿现象。另外,作业/进程的运行时间是由用户提供的,并不一定真实,不一定能做到真正的短作业优先 |
是否会导致饥饿 | 会。如果源源不断地有短作业/进程到来,可能使长作业/进程长时间得不到服务,产生“饥饿”现象。如果一直得不到服务,则称为“饿死” |
1.如果题目中未特别说明
,所提到的“短作业/进程优先算法”默认
是非抢占式
的
2.很多书上都会说“SJF 调度算法的平均等待时间、平均周转时间最少”
严格来说,这个表述是错误的,不严谨的。应该加上一个条件“在所有进程同时可运行时,采用SJF调度算法的平均等待时间、平均周转时间最少”;或者说;“抢占式的短作业/进程优先调度算法(最短剩余时间优先, SRNT算法)的平均等待时间、平均周转时间最少”
2.5.3、高响应比优先(HRRN)
算法思想 | 要综合考虑作业/进程的等待时间和要求服务的时间 |
算法规则 | 在每次调度时先计算各个作业/进程的响应比,选择响应比最高的作业/进程为其服务 |
用于作业/进程调度 | 即可用于作业调度,也可用于进程调度 |
是否可抢占? | 非抢占式的算法。因此只有当前运行的作业/进程主动放弃处理机时,才需要调度,才需要计算响应比 |
优点 | 综合考虑了等待时间和运行时间(要求服务时间)、等待时间相同时,要求服务时间短的优先( SJF的优点)要求服务时间相同时,等待时间长的优先((FCFS的优点)对于长作业来说,随着等待时间越来越久,其响应比也会越来越大,从而避免了长作业饥饿的问题 |
是否会导致饥饿 | 不会 |
响应比=(等待时间+要求服务时间)/要求服务时间
响应比≥1
2.5.4、时间片轮转(RR)
算法思想 | 公平地、轮流地为各个进程服务,让每个进程在一定时间间隔内都可以得到响应 |
算法规则 | 按照各进程到达就绪队列的顺序,轮流让各个进程执行一个时间片(如100ms)。若进程未在一个时间片内执行完,则剥夺处理机,将进程重新放到就绪队列队尾重新排队。 |
用于作业/进程调度 | 用于进程调度(只有作业放入内存建立了相应的进程后,才能被分配处理机时间片) |
是否可抢占? | 若进程未能在时间片内运行完,将被强行剥夺处理机使用权,因此时间片轮转调度算法属于抢占式的算法。由时钟装置发出时钟中断来通知CPU时间片已到 |
优点 | 公平;响应快,适用于分时操作系统; |
缺点 | 由于高频率的进程切换,因此有一定开销;不区分任务的紧急程度。 |
是否会导致饥饿 | 不会 |
如果时间片太大
,使得每个进程都可以在一个时间片内就完成,则时间片轮转调度算法退化为先来先服务调度算法
,并且会增大进程响应时间
。因此时间片不能太大
。
另一方面,进程调度、切换是有时间代价的(保存、恢复运行环境),因此如果时间片太小,会导致进程切换过于频繁
,系统会花大量的时间来处理进程切换,从而导致实际用于进程执行的时间比例减少。可见时间片也不能太小
。
2.5.5、优先级调度
算法思想 | 随着计算机的发展,特别是实时操作系统的出现,越来越多的应用场景需要根据任务的紧急程度来决定处理顺序 |
算法规则 | 调度时选择优先级最高的作业/进程 |
用于作业/进程调度 | 既可用于作业调度,也可用于进程调度。甚至,还会用于在之后会学习的I/O调度中 |
是否可抢占? | 抢占式、非抢占式都有。做题时的区别在于:非抢占式只需在进程主动放弃处理机时进行调度即可,而抢占式还需在就绪队列变化时,检查是否会发生抢占。 |
优点 | 用优先级区分紧急程度、重要程度,适用于实时操作系统。可灵活地调整对各种作业/进程的偏好程度。 |
缺点 | 若源源不断地有高优先级进程到来,则可能导致饥饿 |
是否会导致饥饿 | 会 |
根据优先级是否可以动态改变,可将优先级分为静态优先级
和动态优先级
两种
静态优先级:创建进程时确定,之后一直不变。
动态优先级:创建进程时有一个初始值,之后会根据情况动态地调整优先级。
2.6、进程同步、进程互斥
同步亦称
直接制约关系,它是指为完成某种任务而建立的两个或多个进程,这些进程因为需要在某些位置上协调
它们的工作次序
而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。
对临界资源的访问,必须互斥
地进行。互斥,亦称间接制约关系
。进程互斥
指当一个进程访问某临界资源时,另一个想要访问该临界资源的进程必须等待。当前访问临界资源的进程访问结束,释放该资源之后,另一个进程才能去访问临界资源。
为了实现对临界资源的互斥访问,同时保证系统整体性能,需要遵循以下原则
1.空闲让进。临界区空闲时,可以允许一个请求进入临界区的进程立即进入临界区;
2.忙则等待。当已有进程进入临界区时,其他试图进入临界区的进程必须等待;
3.有限等待。对请求访问的进程,应保证能在有限时间内进入临界区(保证不会饥饿);
4.让权等待。当进程不能进入临界区时,应立即释放处理机,防止进程忙等待。
2.6.1、信号量机制
- 整型信号量
用一个整数型的变量
作为信号量,用来表示系统中某种资源的数量
。 - 记录型信号量
可以用记录型信号量实现系统资源的"申请"和"释放”
可以用记录型信号量实现进程互斥、进程同步
2.6.2、信号量机制
1.分析并发进程的关键活动,划定临界区(如:对临界资源打印机的访问就应放在临界区)
2.设置互斥信号量mutex,初值为1
3.在临界区之前执行P(mutex)
4.在临界区之后执行v(mutex)
用信号量实现进程同步:
1.分析什么地方需要实现“同步关系”,即必须保证“一前一后”执行的两个操作(或两句代码)
2.设置同步信号量S,初始为0
3.在“前操作”之后执行V(S)
4.在“后操作”之前执行P(S)
2.7、生产者消费者问题
生产者、消费者共享一个初始为空、大小为n的缓冲区
。
只有缓冲区没满时
,生产者才能把产品放入缓冲区,否则必须等待。
只有缓冲区不空时
,消费者才能从中取出产品,否则必须等待。
缓冲区是临界资源,各进程必须互斥地访问
。
因此,实现互斥的P操作一定要在实现同步的P操作之后
。
V操作不会导致进程阻塞,因此两个v操作顺序可以交换。
2.8、多生产者-多消费者问题
计算机操作系统笔记(三)
二、进程
三、内存
点此跳转
计算机操作系统笔记(四)
四、文件
五、I/O
点此跳转