前言
大家好吖,欢迎来到 YY 滴Linux系列 ,热烈欢迎! 本章主要内容面向接触过Linux的老铁
主要内容含:
一.进程状态变化の本质原理
PS:我们大致知道就可以,理解在下文
引入: 下面以Linux操作系统中的状态举例,不同系统或多或少会有差别
- R运行状态(running) : 并不意味着进程一定在运行中,它表明进程要么是在运行中要么在运行队列里。
- S睡眠状态(sleeping) : 即广义上的“阻塞状态” 。意味着进程在等待事件完成(这里的睡眠有时候也叫做可中断睡眠(interruptible sleep))
- D磁盘休眠状态(Disk sleep): 有时候也叫不可中断睡眠状态(uninterruptible sleep),在这个状态的进程通常会等待IO的结束。
- T停止状态(stopped): 可以通过发送 SIGSTOP 信号给进程来停止(T)进程。这个被暂停的进程可以通过发送 SIGCONT 信号让进程继续运行。
- X死亡状态(dead):这个状态只是一个返回状态,你不会在任务列表里看到这个状态
原理:
- 操作系统中有许多 队列 :运行队列,阻塞队列,设备等待队列…
- 进程状态:就是PCB中的一个字段,就是PCB中的一个 整型变量
- 所谓的 状态变化的本质: 本质就是修改整型变量 ,并将对应的PCB放到各种队列中
- 宏定义了各种状态
#define NEW 1 #define RUNNING 2 #define BLOCK 3
- 通过对PCB中 相应字段的赋值 ,从而实现各种进程操作
PCB->status == BLOCK if(PCB->status == NEW) //PCB放入运行队列 else if (PCB->status == BLOCK) //PCB放入阻塞队列
二.操作系统层面的三种广义进程状态
1.运行状态
- 每一个CPU在系统层面都会维护一个 运行队列
- 运行队列: 我们运行程序创建进程时,会生成PCB;
- 而我们的运行队列中有头节点,可以穿起这些PCB,从而实现运行的先后
- 只要在运行队列中的进程 ,它的状态都是 运行状态 (代表我已经准备好了,可以随时被调度)
2.阻塞状态
- 我们的代码中,一定会或多或少 访问系统中的某些资源!
- 例如:scanf()/ cin>>,我们要从键盘中接收数据
- 而如果我们一直不输入,就代表 我们进程要访问的资源 没有就绪
- 最终结果是:进程代码 无法继续向后执行
- 而我们知道:操作系统会对驱动程序,底层硬件进行 管理 (先描述,后组织——会有各种数据结构)
- 操作系统内部,会以类似PCB的形式,创建各种设备特有的结构体;
- 并且他们能够以 链表 形式被串起来,也就是我们俗称的 设备列表
- 对设备的管理,同时也变成了对链表的增删查改
- 操作系统中有许多队列,运行队列…
- 而在上面我们知道的每个设备结构体中,都维护了一个 wait_queue等待队列
重点
- 而我们进程代码无法继续向后执行时,我们就会把 没有就绪的PCB 移动到未响应的设备(键盘)的 wait_queue等待队列中
- 这个状态就是 阻塞状态
- 阻塞状态 的本质: PCB不在运行队列中,而在设备的等待队列中
- PCB同时也可以在其他PCB的等待队列中
3.挂起状态
- 如果一个进程当前被 阻塞 了,注定这个进程在他等待的资源没有就绪的时候,该进程无法被调度
- 而如果此时,恰好OS的 内存资源已经严重不足了,该怎么办?
挂起状态的本质 :操作系统把在内存中的进程(代码和数据)置换到磁盘中(SWAP分区)
- 操作系统会优先挂起阻塞的进程,因此也叫: 阻塞挂起
- 这种挂起状态,会造成系统效率变低
- 在设计操作系统时,会避免将用于置换PCB的SWAP分区设置过大,防止操作系统过于依赖挂起;
三.Linux的进程状态
1.Linux进程状态在kernel源代码里的定义
- R运行状态(running) : 并不意味着进程一定在运行中,它表明进程要么是在运行中要么在运行队列里。
- S睡眠状态(sleeping) : 即广义上的“阻塞状态” 。意味着进程在等待事件完成(这里的睡眠有时候也叫做可中断睡眠(interruptible sleep))
- D磁盘休眠状态(Disk sleep): 有时候也叫不可中断睡眠状态(uninterruptible sleep),在这个状态的进程通常会等待IO的结束。
- T停止状态(stopped): 可以通过发送 SIGSTOP 信号给进程来停止(T)进程。这个被暂停的进程可以通过发送 SIGCONT 信号让进程继续运行。
- X死亡状态(dead):这个状态只是一个返回状态,你不会在任务列表里看到这个状态
/* * 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 */ };
2.S :浅度睡眠状态
- S睡眠状态(sleeping) : 即广义上的“阻塞状态” 。意味着进程在等待事件完成(这里的睡眠有时候也叫做可中断睡眠(interruptible sleep))
- 浅度睡眠状态,可以被终止
- 浅度睡眠会对外部信号做出响应
1.S状态与S+状态
- 前台进程:带+
- 后台进程:不带+
- 不能ctrl c关闭;只能kill关闭;可以输入其他命令
3.D :磁盘休眠状态 / 深度睡眠状态
- D磁盘休眠状态(Disk sleep): 有时候也叫不可中断睡眠状态(uninterruptible sleep),在这个状态的进程 通常会等待IO的结束。Linux在特殊情况下,会通过 杀掉睡眠中的进程,节省资源!
- 即我们熟知的“杀后台”
- 深度睡眠状态不可被杀掉!
- 避免了进程向磁盘写入关键数据时,被操作系统杀掉的问题
4.T :停止状态(阻塞状态)
- 进程状态:让进程 暂停 (前台进程转为后台进程)
- 系统中有许多信号,在系统中都是宏定义而来
- 例如:9号信号SIGKILL
#define SIGKILL 9
- 图中18,19信号就是与停止状态有关的信号
kill -SIGSTOP [PID] //PID对应进程由S状态进入T状态,前台进程变为后台进程
kill -SIGCONT [PID] //PID对应进程由T状态进入S状态,后台进程变为前台进程
- 进程为什么需要暂停状态?
- 在进程访问软件资源的时候,可能暂时不让进程进行访问,就将进程设置为STOP
4.1 t :追踪停止状态
- 不同与T状态;
- debug程序时(不断向系统发送SIGSTOP,SIGCONT信号过程中)
- 程序停在断点处时,就是t状态
- 现在一般而言,T,t不分家,都是停止状态
5. X :死亡状态
- 进程结束
6. Z :僵尸状态(Linux特有状态)
- 现在一般而言,T,t不分家,都是停止状态
5. X :死亡状态
- 进程结束
6. Z :僵尸状态(Linux特有状态)
- OS必须维护这个推出进程的PCB结构
- 原因:在进程死亡时,操作系统 或者 父进程 需要知道进程退出的原因,因此它的PCB里的退出信息不会被释放
- 父进程或者OS读取后,PCB状态先被改成X死亡状态,才会被释放
1)僵尸进程的危害
- 进程的退出状态必须被维持下去,因为他要告诉关心它的进程(父进程),你交给我的任务,我办的怎
么样了。可父进程如果一直不读取,那子进程就一直处于Z状态?是的!
- 维护退出状态本身就是要用数据维护,也属于进程基本信息,所以保存在task_struct(PCB)中,换句话说,Z状态一直不退出,PCB一直都要维护?是的!
- 那一个父进程创建了很多子进程,就是不回收,是不是就会造成内存资源的浪费?是的!因为数据结构对象本身就要占用内存,想想C中定义一个结构体变量(对象),是要在内存的某个位置进行开辟空 间!
2)孤儿进程的引入
- 子进程和父进程运行时,父进程退出了,父进程会进入僵尸状态吗?
- 现象:不会进入僵尸状态,而是直接没了。
- 原因:父进程也有其父进程bash,会被其立刻回收! 且父进程不对孙子进程负责(即bash不对场景中子进程负责)
- 子进程和父进程运行时,父进程退出了, 子进程进入僵尸状态谁来维护它?
- 回答:子进程的父进程直接退出了,子进程要被领养,即 子进程被1号进程(systemd)领养;
- 我们称这种状态的进程作“孤儿进程”