LINUX入门篇【11】---进程篇【3】---进程优先级,进程切换,进程调度

前言:

有了前面知识点的铺垫,本篇我们将围绕进程的三个方面来展开,即进程优先级,进程切换以及进程调度的问题,这里的进程调度其实本质就是CPU是如何去调度进程的。

进程优先级:

优先级的概念:

让我们先考虑这样一个场景,当我们中午去食堂排队买午餐的时候,我们的队伍是分为先后的,前面的人优先选择自己爱吃的,后面的人则需要等到前面的人选完才能轮到自己选。但是排队的所有人都要购买午餐的权利,只是先后买到的问题。
由此,我们便得出了在OS中进程排队的本质:
在资源不足的情况下,软硬件资源为少数,而进程是多数的,因此,在这种情况下,便有了优先级的概念。
那何为优先级呢?
即是得到某种资源的先后顺序
那优先级和权限有什么区别呢?他们两个如何区分呢?
权限是你是否有得到某种资源的能力,而优先级是你已经默认有了获取某种资源的能力,只不过是先得到还是后得到的区别
有了上面的概念的区分,我们下面来看看在实际的操作系统中是如何实现优先级的。

操作系统中优先级的实现方式:

优先级也属于PCB的一个数据段,和我们的状态一样,优先级也由一个整型变量来控制,对应的这个数值越小,它的优先级就越高。
反之,优先级就越低。
在LINUX中,进程的优先级的数值范围为60-99,一共40个等级划分,而LINUX中默认的进程的优先级都是80
我们在LINUX想要显示优先级,可以用指令ps -al来执行,即可以展示关于进程的更加详细的信息(其中的 l 代表更详细的意思,而a代表全部)
如下图:
在这里插入图片描述
图中的PRI即代表优先级的意思(priority),但是,默认的PRI都是80,那怎样体现优先级的先后呢?
LINUX是支持动态优先级调整的,如上图所示,你会发现,进程信息中还有一个NI值(nice值),我们默认的80的PRI是不会被修改的,本质上我们是利用PRI和NI的一个混合运算得到一个进程的优先级的,公式如下:
PRI(新)=PRI(默认80)+nice调整值
没错,根据公式,我们的PRI是不会变化的,一直是80默认,通过调整NI来调整优先级。
那如何调整NI值呢?其指令如下:
1.首先top打开任务管理器
2.输入r(renice)即修改NI值的指令
3.然后输入你要修改的进程的pid
4.然后重新输入新的要修改的NI值即可

如下图:
在这里插入图片描述
需要注意的点:
1.LINUX中,PRI默认都从80开始,不会记录上一次的PRI。
2.NI的取值范围为-20到19,也就是80减到60和加到99的临界情况,超出这个范围的数值,一旦超出,一律按照边界值处理,比如我NI值设为100,它也会自动将NI值设为19而不是100,不会超出范围。同理,NI值为-100,也会按照-20处理,不会超出范围

优先级的意义:

看了LINUX的优先级设置方法,或许有人会问:为什么要把优先级限定在一定的范围内呢?
这是由于OS在调度的时候,它需要较为均衡的让每一个进程都被均衡的得到调度,如果允许用户任意修改,则容易导致优先级较低的进程较长时间都得不到CPU资源来运行,这种现象又称为进程饥饿。故我们设置的级别为60-99,40位,导致区间进程的优先级相对固定。
因此,进程优先级的意义是:
让进程对于资源的调配更加合理,重要的进程优先运行,其次的进程后面运行,同时由于区间差距为40位,故优先级的差距不大,导致进程饥饿的问题得到解决。

其他的优先级指令:

1.nice指令
2.renice命令:与top一样,在进程启动时使用
3.LINUX系统调用,更改获取优先级,getpriority/setpriority

进程切换:

其他的概念:

1.竞争性:系统的进程数目众多,而CPU资源只有少量,甚至1个,所以进程之间是具有竞争关系的,故为了高效完成任务,更合理竞争相关资源,便具有了优先级,
2.独立性:多进程运行,需要独享各种资源,多进程运行期间互不干扰
3.并行:多个进程在多个CPU下分别同时进行运行,称之为并行
4.并发:多个进程在一个CPU下采用进程切换的方式,在一段时间内,让多个进程都得以推进,称之为并发。

注意的一些细节:
1.首先区分一下,并行和并发的不同点,从CPU角度上,并行是多个CPU同时进行多个进程的,而并发是一个CPU分别切换进行多个进程的运行。
2.不要把并发理解为CPU同一时间内同时运行多个进程,本质上是先后切换进行的,只是这个时间非常快,在人的感知里就相当于同时在推进,因此叫并发。

因此,我们接下来详细讲讲进程切换的问题:

对进程切换的理解:

1.时间片:

首先注意,任何一个进程不是占有了CPU就一直运行,每隔一段时间,就会自动被从CPU上剥离下来,我们把这个进程在CPU上运行到被剥离出CPU的这段时间称之为时间片。
而LINUX内核是支持进程之间进行CPU资源抢占的,它的内核的本质是一种基于时间片的轮转,抢占式内核,根据每一个时间片的时间差去切换进程,故涉及到并发,则并发的过程中是一定涉及到进程间的切换的。

2.寄存器:

在我们的CPU硬件中存在着很多寄存器,比如eax,ebx,edx,ss,ds,cs,gs,fs,ebp,esp,eip,status,reg,cro~cr4等…
1.我们的函数内定义的栈的临时变量,在函数调用完就销毁的前提下,可以返回给外部,靠的就是eax寄存器将数据存储起来,为数据充当临时空间
2.为什么程序/进程,会知道我们当前程序运行到哪个位置了呢/它是如何做到函数跳转的呢?
这正是因为CPU内,有eip程序计数器,它会保存下一条指令的地址。
因此我们可以总结出:我们的进程在运行的时候,会使用寄存器,我们的进程运行的过程中会产生各种数据,这些数据都会由寄存器临时保存起来,不同的进程,CPU寄存器内的临时数据都是不一样的,我们将这些临时数据称为硬件上下文。
CPU硬件只有一套,但是寄存器可以存储的数据就不止一套了。
因此我们要明确,寄存器是硬件,而数据是逻辑的产物,寄存器!=寄存器里的内容。

寄存器里面的内容是可以随时更换的,但寄存器硬件只有一套。

3.进程切换的具体过程:

由上面的知识我们知道,一个进程的数据是由寄存器来保存的,那么在进程切换的时候,数据又是怎样保存下来为下一次运行做准备呢?
首先,所有的保存,都是为了恢复。进程保存数据也是为了下一次运行做准备。
而进程切换的本质就是将数据由硬件先保存到内存中,也就是用来管理进程属性的PCB中,再由内存中返回给硬件从而继续运行。
详细的切换过程如下:
一个进程倘若没有开始运行,则它会直接将数据拿到CPU上去跑,当涉及到进程切换的时候,CPU中的寄存器按顺序将寄存器中的数据拷贝到这个进程的PCB对应的数据段成员变量中,而后进程的PCB去执行其他调度,切换另一个进程交由CPU处理,而对于已经由CPU运算过一部分的进程,再次交给CPU运算,则会先将PCB中的数据,再按照顺序交给CPU的寄存器,其中也包括eip程序计数器等一系列寄存器,故此进程会从上一次切换的位置继续向下进行,这便是进程切换的过程如下图所示:
在这里插入图片描述

同时要强调一点的是,PCB的数据是以覆盖的方式把数据传给PCB的,同理寄存器传给PCB也是同理,不要担心数据丢失的问题,因为覆盖之前一定要首先对数据进行保存或者更新。

进程调度:

进程优先级,进程切换这些关于进程的知识点讲完了,下面我们来看看CPU是如何去调动我们的进程的。
我们以LINUX2.6为例,来看看它的调度队列是怎样的,如下:
在这里插入图片描述
从图中我们会看到,LINUX2.6的调度队列中存在着由红笔和蓝笔画上了两个一模一样的结构,在这个结构里包含三个成员:
1.一个状态标识变量nr_active
2.一个位图bitmap[5]
3.一个队列queue[140]

我用这张图让我们看懂我们的调度原理:
在这里插入图片描述
首先我们得queue数组是一个以PCB指针存储起来的数组,也就是说,它的每一个成员都是一个PCB结构体指针,在每一个结构体的后面去链接进程,前0-99是实时优先级,而100-139对应的就是我们的60-99正好40个优先级,数据的访问会从下标小的位置开始依次向后进行,故我们的优先级是越小优先级越高。
而在整个调度队列中还维护了两个指针voidactive,voidexpired,他们分别对应着我们的两个队列:活跃进程队列和过期进程队列
为了防止无限制的进程优先级高得进程得不断插入,导致后续得进程永远无法被执行,从而破坏了进程优先级的平衡性,LINUX2.6采取了双队列交替运行队列的方式,其中一个为活跃进程队列,另一个为过期进程队列,当活跃进程队列正在运行进程的时候,新增加的进程不论优先级都会被填入到过期运行队列中,不影响活跃队列的执行,当活跃进程队列的进程都被执行完后,此时的过期进程队列已经装配好了新的进程,这个时候active和expired交换指针的指向,让活跃变过期,过期变活跃,这个过程循环往复,两个队列交替运行进程,就保证了优先级的相对平衡性,不会有进程饥饿的情况发生。
而所谓的抢占,其实就是将过期队列的进程链接到活跃进程中优先运行。

位图成员:

在进程队列中还维护着一个位图成员bitmap[5],它是一个含有五个元素的整型数组,它的目的是快速锁定下标从而执行进程,我们找进程就不用再遍历queue去找了,而是通过位图去直接访问下标执行对应的进程,5个整型就是160个bit位,因此,利用二进制,从最右端开始位操作移动,遇到为1的说明此位数对应的下标上有进程要执行,而根据二进制的特点,我们可以8个一组或者16个一组去查看1的情况,这个要比遍历快很多,这种方法便是O(1)查找法。

因此,我们来总结一下CPU调度的具体流程:
首先访问active队列,查看nr_active的状态是否为1,为1说明有进程在队列中,然后通过位图锁定对应的下标,进入queue中直接根据下标去访问对应的进程队列从而执行相应的进程

最后我想提出的一个问题是:
我们之前说CPU维护着一条运行队列,协助调度,在这里我们有学到了调度队列中有两个队列,他们的关系是怎样的呢?
首先CPU维护着一条运行队列,这条队列在LINUX2.6中的实现方式是通过两个进程队列协助开始的,也就是说,两个进程队列是运行队列的一种实现方式,这便是他们的关系,不要混淆

总结:

本篇文章我们系统总结了进程优先级,进程切换,进程调度的问题,我希望结合前两个进程篇的知识,我们把整个进程在OS中的工作方式系统的去梳理一遍,保证每一个逻辑都是清晰的,有模糊的地方就去重新查看文章的细节,进程将对我们使用计算机的时候的一些现象有了更加合理的解释,所以,更希望大家在使用计算机的时候刻意去尝试推测某个软件所处的状态,从而进一步深化我们的进程知识。

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

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

相关文章

[Linux ] sed文本处理和免交互

一、sed 1.1 sed是什么 sed 是一种流编辑器(stream editor),用于对文本数据进行文本转换和处理。它通常被用于在命令行中执行文本编辑任务,可以对输入的文本进行搜索、替换、删除等操作,并将结果输出。sed 是一个非交…

10.点赞 + 我收到的赞

1.点赞 点赞:支持对帖子、评论点赞;第1次点赞,第2次取消点赞首页点赞数量:统计帖子的点赞数量详情页点赞数量:统计点赞数量、显示点赞状态 1.1 生成 redis 工具类 将数据存入到 redis 中,以 key 为关键&…

Spring Boot 整合RabbitMQ

系列文章目录 第一章 Java线程池技术应用 第二章 CountDownLatch和Semaphone的应用 第三章 Spring Cloud 简介 第四章 Spring Cloud Netflix 之 Eureka 第五章 Spring Cloud Netflix 之 Ribbon 第六章 Spring Cloud 之 OpenFeign 第七章 Spring Cloud 之 GateWay 第八章 Sprin…

文章解读与仿真程序复现思路——电力自动化设备EI\CSCD\北大核心《考虑不确定性的火电发电商现货-深度调峰市场优化决策》

标题涉及到电力行业的领域,尤其是火电发电商在电力市场中面对深度调峰需求时的决策问题。下面是对标题的解读: 考虑不确定性: 这指的是在制定优化决策时,考虑到环境的不确定性,可能包括但不限于电力市场的价格波动、发…

算法—双指针

双指针算法可以帮忙把时间复杂度降低一个维度,即原本O(n2)降为O(n);将O(n)降为O(1) 移动零 移动零 题目解析 将所有0移动到末尾保持非0元素相对顺序对数组进行原地操作(不开辟额外空间) 算法原理 数组…

等保——密评技术要求

密评简介 密评定义:全称商用密码应用安全评估, 是指对采用商用密码技术、产品和服务集成建设的网络和信息系统密码应用的合规性、正确性、有效性进行评估。密评对象:重要信息系统、关键信息基础设施、网络安全等保三级及以上的系统。评测依据&#xff1…

IMO国际奥林匹克数学竞赛推出AI-MO,奖金高达1000万美元; SDXL Turbo: 新一代文本到图像模型

🦉 AI新闻 🚀 IMO国际奥林匹克数学竞赛推出AI-MO,奖金高达1000万美元 摘要:IMO国际奥林匹克数学竞赛推出新的AI竞赛AI-MO,旨在推动大语言模型的数学推理能力,鼓励开发能与人类数学天才相媲美的AI模型。比…

真空工艺腔内潮湿有什么危害?

在半导体制程中,真空工艺腔被广泛使用。薄膜沉积,干法刻蚀,光刻,退火,离子注入等工序均需要在相应的真空腔室中完成相应制程。真空工艺腔在半导体制程中起着至关重要的作用,它能够提供一个高度控制的环境&a…

在Springboot中操作Redis——五大数据类型

在Java中操作Redis Redis的Java客户端 前面我们讲解了Redis的常用命令,这些命令是我们操作Redis的基础,那么我们在java程序中应该如何操作Redis呢?这就需要使用Redis的Java客户端,就如同我们使用JDBC操作MySQL数据库一样。 Red…

电气制图用什么软件?CAD和Eplan哪个更胜一筹?

身为电气工程师,每天打交道最多的可能不是自家对象,而是时时刻刻攥在手里的电气图。目前市面上制作电路图的软件形形色色,但是AutoCAD Electrical和Eplan是目前大家使用率最高的两款电气制图软件。 EPLAN是一款专业的电气设计软件&#xff0…

UTONMOS:元宇宙时代已经来临

当我们站在这个新的人工智能时代的十字路口,不可避免地要面对一个问题:在这个技术革新的大潮中,区块链技术还有没有生存和发展的空间?本文将深入探讨这个问题,分析区块链在人工智能时代的优势、挑战以及未来的可能性。…

【算法刷题】Day7

文章目录 283. 移动零1089. 复写零 283. 移动零 原题链接 看到题目,首先看一下题干的要求,是在原数组内进行操作,平切保持非零元素的相对顺序 这个时候我们看到了示例一: [ 0, 1, 0, 3,12 ] 这个时候输出成为了 [ 1, 3, 12, 0, …

ground truth 在深度学习任务中代表的是什么意思?

1、概念 在深度学习领域,ground truth (中文意思是“地面真实值”或“基准真实值”,简单理解就是真实值) 是指用于训练和评估模型的准确标签或数据。它是机器学习算法的参考标准,用于衡量模型的性的和判断模型的准确性,本文将介绍…

泗博Modbus转Profinet网关TS-180对水表流量的监控应用

应用场景: 陕西某工程技术有限公司在一民生工程项目中,需要对公园直饮水进行净化保证其水质。直饮水净化装置需根据用水量不定期的维护,通过统计各个净化装置净化的直饮水的流量,来实现提前维护目的。 应用痛点: 项目…

4/150:寻找两个正序数组的中位数⭐

题目:寻找两个正序数组的中位数 给定两个大小分别为 m 和 n 的正序(从小到大)数组 nums1 和 nums2。请你找出并返回这两个正序数组的 中位数 。 算法的时间复杂度应该为 O(log (mn)) 。 题解1:暴力 暴力思路简介,…

基于ArcGIS Pro、R、INVEST等多技术融合下生态系统服务权衡与协同动态分析实践应用

生态系统服务是指生态系统所形成的用于维持人类赖以生存和发展的自然环境条件与效用,是人类直接或间接从生态系统中得到的各种惠益。联合国千年生态系统评估(Millennium ecosystem assessment,MA)提出生态系统服务包括供给、调节、…

项目中的svg图标的封装与使用

1.安装 npm install vite-plugin-svg-icons -D2.在vite.config.ts中配置 **所有的svg图标都必须放在assets/icons // 引入svg import { createSvgIconsPlugin } from vite-plugin-svg-iconsexport default defineConfig({plugins: [vue(),createSvgIconsPlugin({iconDirs: [p…

项目:基于UDP的网络聊天室

项目需求: 1.如果有用户登录,其他用户可以收到这个人的登录信息 2.如果有人发送信息,其他用户可以收到这个人的群聊信息 3.如果有人下线,其他用户可以收到这个人的下线信息 4.服务器可以发送系统信息 服务器代码: #i…

《数据结构与测绘程序设计》试题详细解析(仅供参考)

一. 选择题(每空2分,本题共30分) (1)在一个单链表中,已知q所指结点是p所指结点的前驱结点,若在q和p之间插入结点s,则执行( B )。 A. s->nextp->next; p->nexts; …

王者荣耀游戏制作

1.创建所需要的包 2.创建怪物类 bear package beast;import wangzherogyao.GameFrame;public class Bear extends Beast {public Bear(int x, int y, GameFrame gameFrame) {super(x, y, gameFrame);setImg("img/bear.jpg");width 85;height 112;setDis(65);}} b…