0

0

【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制

看不見的法師

看不見的法師

发布时间:2025-04-17 14:22:05

|

562人浏览过

|

来源于php中文网

原创

1. 前文铺垫

进程状态是task_struct内的一个整数;进行:进程在调度队列中,进程的状态都是running,阻塞:等待某种设备或者资源就绪。进程是一个队列,设备也是一个队列,当我们读磁盘,读网卡的时候,如果对应设备未就绪那么进程就要阻塞等待了。进程状态变化的表现之一就是要在不同的队列中进行流动,本质都是数据结构的增删查改!

理解内核链表
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制

如果一个类里面有多个next,prve,那么就可以把任何一个task_struct即属于运行队列,又属于全局链表,还可以把它放到二叉树中等。

【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
2. 进程状态

一个进程可以有几个状态(在Linux内核里,进程有时候也叫做任务)。

下面的状态在kernel源代码里定义:代码语言:javascript代码运行次数:0运行复制
/**The task state array is a strange "bitmap" of*reasons to sleep. Thus "running" is zero, and*you can test for combinations of others with*simple bit tests.*/static const char *const task_state_array[] = { "R (running)", /*0 */ "S (sleeping)", /*1 */ "D (disk sleep)", /*2 */ "T (stopped)", /*4 */ "t (tracing stop)", /*8 */ "X (dead)", /*16 */ "Z (zombie)", /*32 */};
R 运行或可运行 (Running 或 Runnable)状态描述: 进程正在CPU上执行,或在运行队列中等待调度。触发场景: 进程处于活动状态,正在执行或准备执行。S 可中断睡眠(Interruptible Sleep)状态描述: 进程在等待事件完成(如I/O操作、信号),可被信号中断。触发场景: 例如调用 sleep()read() 等阻塞操作时。D 不可中断睡眠(Uninterruptible Sleep)状态描述: 进程等待不可中断的操作(如硬件I/O),不响应信号。触发场景: 常见于磁盘I/O或某些内核操作,需等待操作完成。T 停止(Stopped)状态描述: 进程被信号(如 SIGSTOPSIGTSTP)暂停,需 SIGCONT 恢复。触发场景: 手动暂停进程(如按 Ctrl+Z)或调试时。Z 僵尸(Zombie)状态描述: 进程已终止,但父进程未调用 wait() 回收资源。触发场景: 父进程未正确处理子进程退出,导致残留进程描述符。t 追踪状态(Tracing Stop)状态描述: 进程被调试器(如 gdb)跟踪时暂停,属于停止状态的一种。触发场景: 调试器设置断点或单步执行时。X 死亡(Dead)状态描述: 子进程结束之后,父进程获取子进程信息之前。触发场景: 父进程已回收子进程状态,短暂存在后消失。2.1 进程状态查看

命令: ps aux / ps axj

2.2 僵尸进程
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
僵死状态(Zombies)是一个比较特殊的状态。当进程退出并且父进程(使用wait()系统调用)没有读取到子进程退出的返回代码时就会产生僵死(尸)进程。僵死进程会以终止状态保持在进程表中,并且会一直在等待父进程读取退出状态代码。只要子进程退出,父进程还在运行,但父进程没有读取子进程状态,子进程进入Z状态。2.3 僵尸进程危害进程的退出状态必须被维持下去,因为他要告诉关心它的进程(父进程),你交给我的任务,我 办的怎么样了。可父进程如果一直不读取,那子进程就一直处于Z状态?是的!维护退出状态本身就是要用数据维护,也属于进程基本信息,所以保存在task_struct(PCB)中,换句话说,Z状态⼀直不退出,PCB一直都要维护?是的!那一个父进程创建了很多子进程,就是不回收,是不是就会造成内存资源的浪费?是的!因为数据结构对象本身就要占用内存,C语言中定义一个结构体变量(对象),是要在内存的某个位置进行开辟空间,那就会存在内存泄漏?是的! 如何避免呢?我们后期讲。2.4 孤儿进程我们先来创建一段代码
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
代码运行后,子进程一直运行,父进程运行5秒后退出
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
这个1号进程是谁呢?top一下,我们可以看到它是systemd
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
我们继续查一下这个systemd
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
为什么子进程会被1(systemd)号进程领养呢?如果不领养会出现什么问题呢? 答案是如果不被领养,那么这个子进程就进入僵尸进程,有可能会造成内存泄漏父进程为什么不会变成孤儿进程或者僵尸进程呢? 答案是父进程也有自己的父进程,父进程的父进程就是bash一旦进程变成孤儿进程,它就会被1号进程领养,变成后台进程,这时候Ctrl c就杀不掉它了,我们只能使用kill来杀死。3. 进程优先级3.1 概念cpu资源分配的先后顺序,就是指进程的优先级(priority)。目标资源稀缺,导致要通过优先级确认谁先谁后的问题。优先权高的进程有优先执行权利。配置进程优先级对多任务环境的linux很有用,可以改善系统性能。还可以把进程运行到指定的CPU上,这样一来,把不重要的进程安排到某个CPU,可以大大改善系统整体性能。优先级 vs 权限:优先级是能得到资源,先后的问题,权限是能否得到资源的问题

✏️优先级其实也是一种数字,是task_struct中的一种属性,数字值越低,优先级越高 ,基于时间片的分时操作系统,优先级未来可能变化,但变化的幅度不能太大

3.2 查看系统进程命令ps -al,其中a表示所有,l表示详细信息。我们上上面代码中的父进程不再退出,父子进程一直运行,再运行代码
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制

linux系统中,每个用户都有一个UID,linux中识别用户就是用UID识别的。

UID:代表执行者的身份PID:代表这个进程的代号PPID:代表这个进程是由哪个进程发展衍生出来的,亦即父进程的代号PRI:代表这个进程可被执行的优先级,其值越小越早被执行。进程优先级默认:80NI:代表这个进程优先级的修正数据,nice值 ✏️进程真实的优先级 = PRI(默认) + NI ✏️PRI(new) = PRI(old) + nice所以,调整进程优先级,在Linux下,就是调整进程nicenice其取值范围是-2019,一共40个级别。linux进程优先级范围[60,99]UID,命令ls -ln
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制

sp用户对应的UID就是1001,文件创建的时候会把这个UID保存起来表明这个文件是谁创建的,进程创建的时候也会把UID保存起来表明进程是谁创建的。 ? 所以当我们访问一个文件时,系统怎么识别出我们是拥有者,所属组,或者other呢,我们访问文件时本质就是进程在访问文件,进程怎么知道我们是谁呢?答案是是谁启动的这个进程,进程就知道这个人的UID,这个文件是谁创建的这个文件的UID就有了,所以一个进程将来拿着它的UID和文件的UID做对比,相等了就是拥有者,不相等查下一个,两个都不相等就是 other。 ✏️linux系统中,访问任何资源都是进程访问,进程就代表用户。

LongShot
LongShot

LongShot 是一款 AI 写作助手,可帮助您生成针对搜索引擎优化的内容博客。

下载
3.3 查看进程优先级的命令

top命令更改已存在进程的nice

top 进入top后按“r”‒>输入进程PID‒>输入nice值 其他调整优先级的命令:nicerenice linux调整优先级的系统调用 3.4 补充概念-竞争、独立、并行、并发竞争性: 系统进程数目众多,而CPU资源只有少量,甚至1个,所以进程之间是具有竞争属性的。为了高效完成任务,更合理竞争相关资源,便具有了优先级独立性: 多进程运行,需要独享各种资源,多进程运行期间互不干扰并行: 多个进程在多个CPU下分别,同时进行运行,这称之为并行并发: 多个进程在⼀个CPU下采用进程切换的方式,在一段时间之内,让多个进程都得以推进,称之为并发
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
4. 进程切换

先谈两个问题:

死循环进程是如何运行的 我们平时在vs中写一个while(1)的死循环,一旦跑起来我们就会发现系统会变卡了,但是不会卡死。 a.一旦一个进程占有CPU,会把自己的代码跑完吗?不会!(除非这个代码很短)每个进程系统都会为它分配一个叫做时间片的东西。所以每一个进程拥有CPU资源都不是永久性的,而是临时性的。 b.死循环进程不会打死进程,因为死循环进程不会一直占用CPU!cpu,寄存器 cpu执行一个进程的时候就和PCB的关系不大了,cpu重点是访问的是进程的代码和数据,所以cpu会访问当前进程的代码和数据,为了能够处理一条一条的代码和数据,所以cpu中会存在很多的寄存器,每个寄存器在cpu内部都有着临时保存数据的任务,所以当进程再跑时,寄存器就会被填上临时值,有的是计算结果,浮点数计算有没有错误等。 结论: a.寄存器就是cpu内部的临时空间 b. 寄存器 != 寄存器里面的数据

进程如何切换? CPU上下文切换:其实际含义是任务切换,或者CPU寄存器切换。当多任务内核决定运行另外的任务时,它保存正在运行任务的当前状态,也就是CPU寄存器中的全部内容。这些内容被保存在任务自己的堆栈中,入栈工作完成后就把下一个将要运行的任务的当前状况从该任务的栈中重新装入CPU寄存器,并开始下一个任务的运行,这一过程就是context switch

【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制

进程切换最核心的就是保存和恢复当前进程的硬件上下文数据,即cpu内寄存器的内容。

保存在哪里? 保存到进程的task_struct里面如何区分新的进程和已经调度过的进程? 在task_struct中增加一个标记位。5.Linux2.6内核进程O(1)调度队列
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
一个CPU拥有一个runqueue如果有多个CPU就要考虑进程个数的负载均衡问题优先级普通优先级:100〜139(我们都是普通的优先级,想想nice值的取值范围,可与之对应!)实时优先级:0〜99(不关心)活动队列时间片还没有结束的所有进程都按照优先级放在该队列nr_active:总共有多少个运行状态的进程queue[140]:一个元素就是一个进程队列,相同优先级的进程按照FIFO规则进行排队调度,所以,数组下标就是优先级!从该结构中,选择一个最合适的进程,过程是怎么的呢? a. 从0下标开始遍历queue[140] b. 找到第一个非空队列,该队列必定为优先级最高的队列 c. 拿到选中队列的第一个进程,开始运行,调度完成! d. 遍历queue[140]时间复杂度是常数!但还是太低效了!bitmap[5]:一共140个优先级,一共140个进程队列,为了提高查找非空队列的效率,就可以用5*32个比特位表示队列是否为空,这样,便可以大 大提高查找效率。
【Linux篇】进程状态(僵尸进程,孤儿进程),优先级与调度机制
过期队列过期队列和活动队列结构一模一样过期队列上放置的进程,都是时间片耗尽的进程当活动队列上的进程都被处理完毕之后,对过期队列的进程进行时间片重新计算active指针和expired指针active指针永远指向活动队列expired指针永远指向过期队列活动队列上的进程会越来越少,过期队列上的进程会越来越多,因为进程时间片到期时一直都存在的。在合适的时候,只要能够交换active指针和expired指针的内容,就相当于有具有了一批新的活动进程!

linux真是算法调度:O(1)调度算法 再次理解nice值:nice值是为了保证老进程的优先级不被强制改变,原本进程的优先级不改变,加上一个nice值,当本次调度完重新放入过期队列时,更新优先级,链入到指定位置。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

401

2023.06.20

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

620

2023.07.25

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

354

2023.08.02

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

259

2023.08.09

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

606

2023.09.05

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

531

2023.09.20

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

646

2023.09.20

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

604

2023.09.22

java入门学习合集
java入门学习合集

本专题整合了java入门学习指南、初学者项目实战、入门到精通等等内容,阅读专题下面的文章了解更多详细学习方法。

1

2026.01.29

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
CSS3 教程
CSS3 教程

共18课时 | 5万人学习

PostgreSQL 教程
PostgreSQL 教程

共48课时 | 8万人学习

Git 教程
Git 教程

共21课时 | 3.1万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号