清华大学《操作系统》(十一):处理机调度

一、处理机调度概念

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

CPU调度:从就绪队列中挑选一个进程/线程作为CPU将要运行的下一个线程/进程

调度程序:挑选进程/线程的内核函数(通过一切调度策略)使得效率最高,满足用户需求

在进程/线程的生命周期中的什么时候进行调度?

  1. 从一个状态变为另一个状态,特别是和运行(running)相关的状态。
  2. 内核运行调度程序的条件:进程从运行状态切换到等待状态or终结了(done)
  3. 不可抢占调度,调度必须等待事件/进程结束,早期OS。
  4. 现在多为可以抢占的进程,OS决定在何时打断进程,调度程序在中断被响应后执行,当前进程从运行切换到就绪,或者一个进程从等待切换到就绪,可以被换出。

针对的是用户态的进程。

进程在内核中通过系统调用执行,因为系统调用返回时是到发起这个调用的进程继续执行,所以内核中不会切换,抢占。只要进程在系统调用时不存在从运行态到阻塞态的变化,OS可以确保返回正常。

二、调度准则

1、处理机资源的使用模式

CPU的占用率是波状,CPU大量运算是高峰,而读写I/O时是平稳的低值。每个调度决定都是关于下一个CPU突发时将哪个工作交给CPU,在时间分片下,线程可能在结束当前CPU突发前被迫放弃CPU。 

程序在CPU突发和I/O中交替,CPU占用率高说明是在充分地使用CPU。

2、比较调度算法的准则

  1. CPU使用率:CPU处于忙状态的时间百分比
  2. 吞吐量:单位时间内完成的进程数量
  3. 周转时间:一个进程从初始化到结束包括(所有等待时间)所花费的总时间,周转时间=等待时间+服务时间
  4. 等待时间:进程在就绪队列中的总时间,进程从就绪态到运行态的时间。
  5. 响应时间:一个请求被提交到第一次响应所花费的总时间

2、吞吐量与延迟

要求:希望更快的服务。什么是更快?

  • 高带宽:吞吐量高 (传输文件)
  • 低延迟:响应时间快(玩游戏)

3、调度算法的响应时间目标

  • 减少响应时间:及时处理用户的输入请求,尽快发馈给用户
  • 减少平均响应时间的波动:交互系统中,可预测性比高差异低平均更重要
  • 低延迟调度改善用户的交互体验 
  • 响应时间是操作系统的计算延迟

4、调度策略的吞吐量目标

  • 增加吞吐量:减少开销(操作系统开销,上下文切换) 、系统资源的高效利用(CPU,I/O设备)
  • 减少等待时间
  • 操作系统需要保证吞吐量不受用户交互的影响

5、处理机调度的公平性目标

  • 公平的定义:保证每个进程占用相同的CPU时间;保证每个进程的等待时间相同
  • 公平通常会增加平均响应时间

三、先来先服务、短进程优先和最高响应比优先调度算法

1、FCFS first come first served先来先服务算法

依据进程进入就绪状态的先后顺序排列

如果前面的进程运行的时间长,后面的进程就只能等着,导致周转时间慢。如果进程阻塞了,队列中的下一个会得到CPU

优点:简单 

缺点:平均等待时间波动大,花费时间少的可能反而排在后面,可能导致CPU和I/O之间的重叠处理,没考虑抢占,CPU密集的进程导致I/O闲置时,I/O密集型进程也在等。

2、短进程优先算法

选择就绪队列中执行时间最短进程占用CPU进入运行状态,就绪队列按预期的执行时间来排序;

短进程优先算法具有最优平均周转时间

  • 不可抢占:SJF、SPN
  • 可抢占:ready queue中的第一个进程正在运行时,来了一个比它的预测完成时间还短的进程,SPT

优点:最小的平均等待时间和周转时间

缺点:可能导致长任务饥饿,不能保证公平;需要预知未来下一个进程的时间,比如询问用户,如果用户欺骗就杀死进程。

短进程优先算法的执行时间预估:根据执行历史看将来CPU突发的持续时间,递归展开

3、最高响应比优先算法(HRRN)

选择就绪队列中响应比R值最高的进程

  • R=(w+s)/s
  • w:等待时间(waiting time)
  • s:执行时间(service time)

在短进程优先算法的基础上改进;不可抢占;关注进程的等待时间;防止无限期推迟。

四、时间轮转、多级反馈队列、公平共享调度算法和ucore调度框架

1、时间片轮换算法(RR)

时间片:分配处理机资源的基本时间单元

算法思路:用时间切片和抢占来轮流执行,强调了公平。在量子切片/时间切片的离散单元中分配处理器,时间片结束时切换到下一个准备好的进程 

时间片长度

  • 开销: 额外的上下文切换;
  • 时间片太大则等待时间过长会退化成FCFS,
  • 太小反应迅速但吞吐量由于大量的上下文切换开销受影响 ;
  • 选择一个合适的时间片,经验是维持上下文切换开销处于1%以内,现在LINUX是千分之一秒

2、多级队列调度算法(MQ)

就绪队列分为多个相对独立的队列,每个队列拥有自己的调度策略。

队列间的调度:

  1. 固定优先级:先高优先级,再处理低优先级,可能导致饥饿
  2. 时间切片轮转:每个队列都得到一个确定的,调度其进程的CPU总时间,如80%给前台,20%给后台

3、多级反馈队列算法(MLFQ)

  • 时间片大小随优先级增加而增加
  • 若当前时间量子中没有完成就给当前任务则降到下一个优先级

进程调度先是I/O密集型,CPU密集型随着不断消耗时间片就下降到低的优先级,保证I/O密集型任务停留在高优先级 

等待时间越长,优先级越高,服务时间越长优先级越低 ,能动态地根据进程的特征调整队列和调度

4、公平共享调度(FSS)

在用户级别实现公平共享 

FFS 一些用户组比其他组更重要,保证不重要的组无法垄断资源,未使用的资源按照每个组所分配的资源的比例来分配,没有达到资源使用率目标的组获得更高的优先级

5、评价调度方法

确定性建模,对确定的工作量计算每个算法的表现
队列模型:用来处理随机工作负载的数学方法
实现/模拟:建立一个允许算法运行实际数据的系统,最灵活,一般性

五、实时调度和多处理器调度

1、实时调度

  • 定义:正确性依赖于其时间和功能两方面的一种OS
  • 性能指标:时间约束的及时性(deadlines),速度和平均性能相对不重要,
  • 重点是时间约束的可预测性。
  • 实时任务:任务/工作单元(一次计算,一次文件读取,一次信息传递等等) 
  • 任务属性:取得进展所需要的资源和实时参数 
  • 任务请求时间(release time):进程处于就绪态的时间 
  • 相对截止时间(relative deadline): 任务是间隔时间段完成,每个任务有个特定的时间,要在特定的时间段内完成 
  • 绝对截止时间(absolute deadline):最终的结束时间

周期任务:一系列相似的任务,有规律的重复

  • 周期p=任务请求时间间隔 (0 < p) 
  • 执行时间e=最大执行时间,最大执行时间< p 
  • 使用率/利用率:U=e/p

2、类别 

  • 硬实时系统/强实时系统:如果某个任务没完成有严重后果,比须验证在最坏情况下能够满足时限
  • 软实时系统/弱实时系统:重要的进程优先级更高,要尽量完成,如看视频,帧数没控制好会掉帧。

3、实时调度算法

  • 速率单调调度算法(RM):通过周期安排优先级,周期越短优先级越高,执行周期最短的任务;
  • 最早截止时间优化算法(EDF):截止时间越早优先级越高,执行截止时间最早的任务

对于实时系统来说,有两种调度策略,一是静态调度策略,一个是动态调度策略。静态调度策略是指按照进程执行时间长短进行调度,执行时间短的先执行。动态调度策略是按照进程截止时间进行调度,截止时间越早的先执行。

4、多处理器调度 

  • 要考虑:1,任务来了,放在哪个CPU上执行?2,怎么考虑公平性?load balance负载平衡 
  • 多处理器的CPU调度更加复杂,多个相同的单处理器组成一个多处理器,优点是负载共享。对称多处理器(SMP),每个处理器运行自己的调度程序,需要在调度程序中同步

多处理机是指由多个处理机组成一个多处理机系统,处理机之间可以实现负载共享。其中每个处理器有自己的调度程序,调度程序对共享资源的访问需要进行同步。多处理机调度策略中最重要的一点是一个进程应该分配给哪一个处理机。静态进程分配是进程从开始到结束都分配到一个固定的处理机上执行,之后就是在每个处理机上的单处理机调度算法,但这会导致处理机利用率不均。动态进程分配则是一个进程可以分配到任意空闲处理机执行,所有处理机共享一个就绪队列,调度开销较大,但负载均衡。

六、优先级反置

优先级反置是指高优先级进程要请求的资源被低优先级进程占用而被阻塞,此时中优先级进程反而抢占了CPU导致高优先级进程始终无法运行。针对这一现象有两种解决方案:一是优先级继承,导致高优先级进程阻塞的低优先级进程会暂时继承高优先级进程的优先级,避免被中间优先级进程抢占;二是优先级天花板协议,占有资源的进程和所有可能申请该资源的进程的优先级比较,设置成其中最高优先级对应的优先级,这样就不会有进程阻止他使用这个资源,可能会出现优先级滥用的情况。

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/454139.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

通过纯css实现图片居中的多种实现方式

html结构&#xff1a; 1 <div class"demo" style"width: 800px;height: 600px; border:1px solid #ddd"> 2 <img src"default.jpg" width"400" height"300"/> 3 </div> 实现img位于外层div的居中显示…

GCC 命令行详解

作者&#xff1a; www.linuxfans.org mozilla 1。gcc包含的c/c编译器 gcc,cc,c,g,gcc和cc是一样的&#xff0c;c和g是一样的&#xff0c;(没有看太明白前面这半句是什 么意思:))一般c程序就用gcc编译&#xff0c;c程序就用g编译 2。gcc的基本用法 gcc test.c这样将编译出一个…

Java网络编程从入门到精通(5):使用InetAddress类的getHostName方法获得域名

该方法可以得到远程主机的域名&#xff0c;也可以得到本机名。getHostName方法的定义如下&#xff1a; publicString getHostName() 下面是三种创建InetAddress对象的方式&#xff0c;在这三种方式中&#xff0c;getHostName返回的值是不同的。 1&#xff0e;使用getLocalHost方…

猿辅导python面试_猿辅导面试经历—个人感受

今天参加了猿辅导的二面&#xff0c;无数槽点&#xff0c;不知道是不是很多公司都是这样&#xff0c;但是我还是忍不住要逼逼叨。6月10号&#xff0c;我向猿辅导投了简历&#xff0c;想做招聘邀约专员这个岗位&#xff0c;然后hr加了我的微信&#xff0c;要了一份简历之后通知我…

对称加密与非对称加密

&#xff08;一&#xff09;对称加密&#xff08;Symmetric Cryptography&#xff09; 对称加密是最快速、最简单的一种加密方式&#xff0c;加密&#xff08;encryption&#xff09;与解密&#xff08;decryption&#xff09;用的是同样的密钥&#xff08;secret key&#xff…

清华大学《操作系统》(十二):临界区与锁

多进程并发运行&#xff0c;导致多个进程间有资源共享&#xff0c;比如CPU、内存&#xff0c;因此存在不确定性和不可重现&#xff0c;可能导致多次运行结果不一致。因此操作系统需要利用同步机制在并发执行的同时&#xff0c;保证一些操作是原子操作。 互斥是指一个进程占用了…

gcc生成静态库和动态库

gcc生成静态库和动态库一、库文件简介简单地说&#xff0c;库&#xff08;Library&#xff09;就是一组已经写好了的函数和变量、经过编译代码&#xff0c;是为了能够提高开发效率和运行效率而设计的。库分为静态库&#xff08;Static Library&#xff09;和共享库&#xff08;…

python 流式计算框架_流式计算的三种框架:Storm、Spark和Flink

我们知道&#xff0c;大数据的计算模式主要分为批量计算(batch computing)、流式计算(stream computing)、交互计算(interactive computing)、图计算(graph computing)等。其中&#xff0c;流式计算和批量计算是两种主要的大数据计算模式&#xff0c;分别适用于不同的大数据应用…

清华大学《操作系统》(十八):管程于信号量

信号量与管程也是进程间通信的方式。信号量是与锁在同一层级实现的&#xff0c;是操作系统提供的一种协调共享资源访问的方法。信号量由操作系统管理&#xff0c;操作系统作为管理者地位是高于进程的。 一、信号量 1、信号量&#xff08;semaphore&#xff09;&#xff1a;是操…

Iptalbes自动封杀暴力破解(Qmail邮件系统)者的IP地址

今天发现Qmail邮件系统的maillog里面有大量的“user not found”信息&#xff0c;通过下面的日志不难发现&#xff0c;是来自同一IP的很多不同的用户连接Qmail邮件系统认证失败的信息。黑客试图通过这种方式来破解Qmail邮件系统的用户名和密码&#xff0c;从而来发送大量的垃圾…

安装Postman

在web和移动端开发时&#xff0c;常常会调用服务器端的restful接口进行数据请求&#xff0c;为了调试&#xff0c;一般会先用工具进行测试&#xff0c;通过测试后才开始在开发中使用。 这里介绍一下如何在chrome浏览器利用postman应用进行restful api接口请求测试。 因为&#…

python红楼梦词频统计_用 Python 分析《红楼梦》(2)-阿里云开发者社区

6 词频统计完成分词以后&#xff0c;词频统计就非常简单了。我们只需要根据分词结果把片段切分开&#xff0c;去掉长度为一的片段(也就是单字)&#xff0c;然后数一下每一种片段的个数就可以了。这是出现次数排名前 20 的单词&#xff1a;(括号内为频数)可以跟之前只统计出现次…

清华大学《操作系统》(二十):死锁和进程通信

一、死锁 死锁&#xff1a;一组阻塞的进程&#xff08;两个或多个&#xff09;&#xff0c;持有一种资源&#xff0c;等待获取另一个进程所占有的资源&#xff0c;而导致谁都无法执行。 可重复使用的资源&#xff1a; 在一个时间只能一个进程使用&#xff0c;且不能被删除。…

python操作redis实例_Java,php,Python连接并操作redis实例

1、Java连接并操作redis在Eclipse里新建一个java project&#xff0c;导入jedis-*.jar包。示例代码&#xff0c;其他对应的操作类型见&#xff1a;http://my.oschina.net/u/2391658/blog/705069import redis.clients.jedis.Jedis;//示例代码public class RedisTest {public sta…

java: cannot execute binary file 如果遇到这个错,一般是操作系统位数出问题了。

[roottestserver usr]# java/jdk1.6.0_12/bin/java-bash: java/jdk1.6.0_12/bin/java: cannot execute binary file后来检验&#xff0c;检查了一段时间&#xff0c;没有问题&#xff0c;最后有高人提示经验证&#xff0c;是64位版本移到32位上。本文转自 jxwpx 51CTO博客&…

div 自适应高度

自适应高度 &#xff0c;设置最小高度&#xff1b;通常情况下&#xff0c;没有设置高度&#xff0c;div默认自适应高度且无最低高度 1 div{ 2 _height:200px; /* css 注解&#xff1a; 仅IE6设别此属性&#xff0c;假定最低高度是200px &#xff0c;设置高度200px&#xff0c…

GCC使用详情

1.前言 GCC编译器的手册(GCC MANUAL)的英文版已经非常全面&#xff0c;并且结构也非常完善了&#xff0c;只是一直都没有中文的版本&#xff0c;我这次阅读了GCC编译器的主要内容&#xff0c;对手册的内容进行了结构性的了解&#xff0c;认为有必要对这次阅读的内容进行整理&am…

清华大学《操作系统》(二十二):文件系统

文件系统和文件&#xff1a; 文件系统是操作系统中管理持久性数据的子系统&#xff0c;提供数据存储和访问功能&#xff0c;组织、检索、读写访问数据。文件是具有符号名&#xff0c;由字节序列构成的数据项集合&#xff0c;是文件系统的基本数据单位&#xff0c;文件名是文件…

卡巴绿杀6 By Moshow魔手

卡巴绿杀6 By Moshow魔手 Kaspersky Anti-Virus Move-edition 6 (-_-b汗Move Edition...)【这是卡巴斯基绿色移动版本推荐用于u盘】By Moshow魔手 [url]Http://Hi.baidu.com/MoshowGame[/url]祝o(∩_∩)o...天下无毒)拥有全球最全的病毒库)拥有最快的全球剿毒反应速度) 基于稳定…

python将字符串写入csv_用Python将字符串值写入CSV文件

我有一个很大的数据集&#xff0c;在第二列有句子和他们的情绪状态。我开发了代码来将它们读作numpy数组。我需要的是&#xff0c;如果一个句子的情感是中性的&#xff0c;那么返回为真&#xff0c;否则返回假。if-else条件返回的每个结果都应写入CSV文件。但是这里它只在CSV文…