进程优先级与环境变量

最新推荐文章于 2024-08-24 22:01:16 发布

编程之路，妙趣横生

最新推荐文章于 2024-08-24 22:01:16 发布

阅读量858

点赞数 19

分类专栏： Linux 文章标签：服务器运维

本文链接：https://blog.csdn.net/m0_74126249/article/details/136329541

版权

Linux 专栏收录该内容

15 篇文章 0 订阅

订阅专栏

本文详细介绍了Linux进程的优先级概念、调度原理，涉及Linux2.6内核的调度队列，包括优先级范围、nic值调整以及调度策略。还涵盖了命令行参数和环境变量的使用，如PATH、PWD和HOME，以及它们在进程管理和系统交互中的作用。

摘要由CSDN通过智能技术生成

二、Linux2.6内核的调度队列与调度原理

一、进程优先级

理解优先级

排队的本质就是在确定优先级，而排队的本质是因为资源不足，软硬件资源再多也没有进程多，所以进程需要通过排队来确认优先级，进而确定哪个进程先被调用

优先级 vs 权限

权限是能还是不能得到某种资源，而优先级的潜台词是保证能够得到申请的资源，只是需要等一等！

Linux中的优先级本质是进程pcb中的1个字段，数字越小，优先级越高【类比考试排名，名次越小，成绩越高】

查看优先级

Linux中进程优先级范围是60-99,默认的进程优先级是80

之所以把进程优先级限制在一定的范围内，是因为优先级越高，在一定时间内被cpu调度的时间就越长，响应速度越快，如果用户可以随意调整优先级就会导致一些进程的优先级过高，有些优先级较低的进程长时间内得不到cpu调度，而调度是有自己的调度算法的，能较为均衡的保证所有进程调度的公平性，优先级低的进程长时间得不到cpu调度就会导致"进程饥饿"

修改优先级

Linux是支持修改优先级的，但不能直接修改PRI，而是要通过修改NI(nice值)来动态调整优先级

ps：新的优先级 = 旧的优先级 + nice值，旧的优先级每次调整时都重新从80开始

Linux进程默认优先级是80, 优先级范围是60~99，所以NI值的范围是-20~19，当NI小于-20,会被当成-20，大于19,会被当成19
调整步骤: top --> r -> 要调整的进程id -> 调整的nice值

ps:普通用户通常可以提高优先级，但要降低优先级，则需要使用root用户权限

四个概念

竞争性: 硬件资源有限，进程数量众多，进程之间必然存在竞争性，优先级本质是竞争之后的结果

独立性: 进程=代码/数据+内核数据结构, 无论是代码/数据还是内核数据结构, 都要保证进程之间互不影响，相互独立

并行: 多个cpu同时运行多个进程，叫做并行性

并发: 1个cpu, 在很短的时间内来回切换运行多个进程，在用户能感知的时间内，多个任务同时得以推进，逻辑上可以认为是多个cpu同时运行多个进程, 这就叫做进程并发

进程切换过程：

---预备知识:

1.cpu内存在很多寄存器, eax, ebx, ecx, edx, ss, ds, cs, gs, fs, bs, ebp, esp, eip, status_reg, cr0~cr4, ....

2.C语言中，函数内部创建的局部变量是如何返回到外部的? --- 寄存器(充当返回值的寄存器一般是eax寄存器, 充当代码的临时空间) 变量！= 变量的内容

3.我们的进程/程序,它怎么知道我们当前运行到哪里呢??如何做到函数间跳转?

cpu内有一个寄存器, eip(extern, i是指令意思, point, 也可以叫pc指针) 程序计数器，保存当前正在执行的指令的下一条指令的地址，当前指令执行完之后，从下一个地址处继续读指令，读完之后eip自动++, 想要在函数之间跳转，只需要让eip保存要跳转函数的入口地址即可！

代码在运行的时候是会使用cpu内的寄存器的, 我们的进程会产生各种数据，在寄存器中临时保存！！

如果有多个进程, 各个进程在cpu寄存器中形成的临时数据，都应该是不一样的, cpu寄存器内的各种临时数据叫做进程的硬件上下文

4.进程运行了一半就切走了，把cpu内寄存器的数据保存到进程的pcb中，这种行为叫做硬件上下文的保护，而进程重新切回来到cpu上运行，首先将曾经保存在进程pcb中的数据恢复到cpu寄存器的过程叫做硬件上下文的恢复

4.cpu寄存器硬件只有1套，各个进程的上下文数据有几套有多套

5.之所以cpu要来回切换进程，是因为cpu要较为公平地调度所有进程

---过程演示:

二、Linux2.6内核的调度队列与调度原理

queue[140]数组

之前的博客已经提到过，每个cpu都会维护一个自己的运行队列（runqueue结构体），而运行队列里面有一个重要的成员变量，就是queue[140]这个数组，数组元素类型是task_struct *,显然queue[140]这个数组的每个元素都指向了(维护着)的是task_struct结构体变量(进程pcb)

queue[0] 到 queue[99] 的元素下标对应的是实时优先级，用于实时操作系统做实时响应用的，比如车载系统就是实时操作系统，实时操作系统要求优先级高的进程必须先被快速执行完，再去执行优先级低的进程(听音乐的同时遇到紧急情况刹车，必须先相应刹车，先把刹车进程执行完!)

实时优先级我们暂时不用关心，普通优先级对应的下标是100~139，一共40个元素，对应的是上文提到的处于60-99范围的这40个优先级

所以按优先级去调度进程其实就是将queue[140]数组扫描一遍，如果遇到指针不为空，就先调度该进程

active与expired

上图可以看到，runqueue中维护了两份queue[140]数组，意义何在？ active与expired指针又是干什么的？？

操作系统既要保证优先级较高的进程先被调度，又不能让一些进程长时间占据cpu导致其他进程饥饿，所以采用了如下策略:

active与expired是两个指针，分别指向两个queue[140]队列，开始cpu调度进程的时候进程pcb就先链入到active指向的queue[i]里面，过一会就如下所示:

然后如果还有进程要等待运行，就不要再插入到active指向的队列来了，因为如果来了优先级稍微高一点的进程就会插到已经等待了一会的进程前面，可能会导致进程饥饿；所以将新来的进程插入到expired指向的队列中，随着cpu的调度，此时active指向的队列进程越来越少，而expired指向的队列进程越来越多，当active指向的进程都运行完之后，交换active和expired内容，于是指针指向就交换了!

交换完之后，active指针指向的队列依旧是要调度进程的队列，所以继续重复上述过程，就可以实现既按照优先级排队又能较为均衡调度所有进程！

所以进程插队或者抢占指的就是不要将新来的进程放入到expired队列中，而是直接按照优先级放入到active队列中进行插队!

bitmap[5]

bitmap是位图的意思，bitmap[5]的每个元素都是整形，占32个比特位，共160个比特位

因为swap(active, expired)前提是系统已经检测到active队列中没有进程了，而检测必须把所有queue[140]扫描一遍，时间复杂度有点高，因此可以将queue[140]中每个位置是否有元素(也就是是否有进程需要被调度)的信息记录在位图中，二进制为1表示有进程，二进制为0表示没有进程，这样系统就可以以8个比特位/16个比特位为整体做检测，提高了效率！

三、命令行参数和环境变量

命令行参数

命令行输入内容会被当成一个大的字符串，以空格为分隔符，被分割成了5个子串(shell完成)

argc表示字符串个数

argv是一个指针数组，下标从0开始，各个数组元素依次保存了各个字符串的起始地址，而数组元素会比命令行上的字符串多一个，数组最后一个元素必须以NULL结尾

为啥要这样做??

命令行版的计算器

借助main函数的参数我们就可以实现在命令行中控制输入的参数来达到计算加减乘除的目的

现在我们就可以理解各种指令搭配的选项了，指令本质是系统特定目录下的可执行程序，"可执行程序"参数就是传递给argv[0]的，而指令带的各个选项本质就是传递给argv数组其余元素的，这就是为啥指令带不同的选项能够实现不同功能，就是因为程序内部根据参数进行了选择！

掌握了原理，我们也可以自己实现指令，比如实现新建文件指令-touch

环境变量

PATH

系统指令也是可执行程序，但是运行系统指令不用带 "./", 而运行自己的可执行程序要带 "./", 之所以要要带 "./", 是因为在执行程序之前先要找到程序，"./"就是在告诉系统要执行的可执行程序就在当前目录下，不用去其他地方找了！而系统指令不带"./"说明系统指令一定有自己的默认搜索路径，系统中存在一个环境变量，记录了系统可执行程序的默认搜索路径，这个变量叫做PATH