【进程管理】进程状态

一.什么是进程状态

进程状态是PCB中定义的一个字段,具体到LInux操作系统,就是task_struct结构体中的一个变量,所谓的状态变化,本质就是修改整型变量。例如:

#define NEW 1

#define RUNNING 2

#define BLOCK 3

……

int status = 2;//运行状态

二.进程的三种状态

【进程管理】进程状态_第1张图片 【进程管理】进程状态_第2张图片

以上是在网上找的图,这些图基本都是教材上的,然而你会发现,不同教材进程的划分方式不一样,到底该听谁的呢?

其实不同的操作系统的状态分类是不一样的,但是原理都是大差不差,所以我们要做的就是学号原理。接下来我说的三种状态就是操作系统的原理层面,讲解完后我会再结合具体的LInux操作系统来分析,最终你会发现L虽然Inux操作系统的状态有那么多种,但都是从这三种上面衍生过来的。

1.运行状态

在操作系统内部,每个CPU都对应着一个运行队列,CPU和这个运行队列相关联,CPU要调度进程时直接到运行队列中获取

【进程管理】进程状态_第3张图片

只要在运行队列中的进程 ,状态都是运行状态。也就是说运行状态不一定是真正意义上的运行,而是说这个进程已经准备好了,可以随时被调度。

2.阻塞状态

我们写的代码中,一定会或多或少地访问系统中的某些资源,比如磁盘,键盘,显示器等硬件设备。

加入代码中有一段使用scanf从键盘读取数据,代码跑到这就停了下来,等待用户输入数据。但我就是不输入,键盘上的数据没有就绪,不具备访问条件,进程的代码就无法向后执行。

进程要访问的资源没有就绪,操作系统要不要知道呢?当然要知道,不只要知道,所谓的不具备访问条件,就是操作系统告诉你的。操作系统不仅仅要进行进程管理,还有驱动管理来管理硬件。

和进程管理类似,要想对硬件进行管理,就得先描述再组织,所以每一个硬件设备也有对应的结构体来描述它的属性。所以硬件的资源有没有准备好,操作系统是一清二楚的。

操作系统是这样做的:当硬件资源没有就绪时,将进程的PCB从运行队列中移除,放到硬件设备的等待队列中,并将进程状态设为阻塞状态。当硬件资源就绪时,操作系统也是最先知道的,这时再将进程的PCB从等待队列移到运行队列,进程状态更改为运行状态,随时准备被调度。

没错,硬件也有自己的队列,事实上,操作系统中存在非常多的队列:CPU的运行队列,等待硬件设备的等待队列

这里我们得出一个重要结论:进程状态变化的本质就是:

  1. 更改PCB中的status整型变量
  2. 将PCB链入不同队列中

当一个进程阻塞了,我们看到了什么现象?为什么?

我们会看到进程卡住了,因为PCB不在运行队列中,进程不是运行状态,不会被CPU调度。

生活中,当我们执行多个下载任务时就会很卡,这是因为很多个进程都要向网卡获取数据,网卡忙到停不下来,很多进程大多数时候都处于阻塞状态。

补充说明:一个进程的PCB可同时在多个链表中

我们写的链表,next结点只有一个,因为结构体里的next指针只有一个,但是PCB在实现时,将prev,next这些链接字段又用了一层结构体封装了,所以一个PCB里可以有多个prev,next指针。

3.挂起状态

当一个进程阻塞了,注定了这个进程在它所等待的资源就绪之前,该进程是无法被调度的。如果此时,操作系统内的内存资源已经严重不足了,怎么办呢?操作系统是如何解决的?

当操作系统内存资源严重不足时,操作系统会将某些处于阻塞状态的进程的代码和数据置换到磁盘中,以腾出更多空间来使用,这时进程所处的状态就叫做阻塞挂起。当进程被调度,曾经被置换出去的进程代码和数据,又要被重新加载进来

问题一:这样不会变慢吗?

肯定是会变慢的,但这是操作系统生死存亡的时候啊,慢些又算得了什么呢?

问题二:数据换到哪里了?

换到了磁盘上的swap分区。建议不要把swap分区设置得太大,因为空间太大了,操作系统会更加依赖这种挂起进程获得空间的方式,频繁地和磁盘交换数据会降低效率。swap分区设置成和内存大小一样即可。

三.Linux操作系统的进程状态

以下内容来自Linux某个版本的源代码:

static const char * const task_state_array[] = 
{
    "R (running)",
    "S (sleeping)", 
    "D (disk sleep)", 
    "T (stopped)",
    "t (tracing stop)",
    "X (dead)", 
    "Z (zombie)", 
};

1.R运行状态

写一段平平无奇的helloworld,运行后打开另一个窗口,用ps命令查看一下

  1 #include 
  2 
  3 int main()
  4 {
  5     while (1)
  6     {
  7         printf("hello world\n");                    
  8     }
  9     return 0;
 10 }

while :; do ps ajx | head -1 && ps ajx | grep code |grep -v "vim" | grep -v "grep" ; sleep 1; echo "###########################################"; done

用这样一段Shell脚本来监控进程,也就是一秒钟打印一下信息。

【进程管理】进程状态_第4张图片

然后发生了戏剧性的一幕,左边code进程在疯狂刷屏,右边进程的stat怎么不是R呢?这个S+是个什么鬼?

S是休眠状态,就是一种特殊的阻塞状态。因为printf操作是在访问显示器外设,在执行IO操作,IO操作和CPU处理处理速度相比是很慢的,所以这个进程大多数时间是在阻塞状态等待显示器就绪的。而监控脚本一秒钟打印一次,所以检测到运行状态的概率很小。

  1 #include 
  2 
  3 int main()
  4 {
  5     while (1)
  6     {
  7     }
  8     return 0;
  9 }

当把printf去掉,再次运行代码,监控进程,得到的结果就是这样的了:

【进程管理】进程状态_第5张图片

为什么是S理解了,但后面加号是什么呢?+表示这个进程是前台进程。这种进程一旦启动就会导致命令行解释器无法接收命令,并且可以Ctrl + C终止的,就叫做前台进程。要想一个进程在后台运行,只需启动时加上&。后台进程运行时,我们仍然可以在命令行中输入命令,并且这种进程不能用Ctrl + C终止,但是可以用kill命令杀死

./code &

【进程管理】进程状态_第6张图片

2.S睡眠状态

前面讲的阻塞状态是一种统称,具体到Linux系统,S睡眠状态就是所说的阻塞状态。S状态是一种浅度睡眠,会对外部信号做出反应,可以被kill掉。与浅度睡眠相对的还有深度睡眠

3.D磁盘休眠状态

D休眠状态也是阻塞状态,它是一种深度睡眠,是专门针对磁盘来设计的。D状态是为了防止进程向磁盘写入关键数据时,该进程被操作系统杀掉而导致数据丢失。深度睡眠的进程不可被杀掉,即使是操作系统也不行。只有这个进程完成了写入工作自动醒来,除此之外没有任何办法,关机都关不了。

一般而言,D状态我们是查不到的。如果你查到了D状态,说明你的磁盘已经非常忙了,计算机快要挂掉了。

4.T停止状态

kill不仅可以杀死一个进程,也可以把一个进程暂停,使其进入T停止状态。

kill -l

【进程管理】进程状态_第7张图片

如图可以使用kill指令给进程发送各种信号,前面是编号,后面是名称。这些信号其实是操作系统中的宏定义。其中19号信号就能使进程stop。

kill -SIGSTOP [pid]

kill -19 [pid]

以上两个指令都能暂停一个进程,但这个进程并没有被杀死,如果它是前台进程,就会将它移到后台。

kill -SIGCON [pid]

这个指令可以解除进程的暂停状态,使其继续运行。

S状态存在的意义是什么呢?

在进程访问软件资源的时候,操作系统可能暂时不让进程访问,就将进程设为T停止状态

T状态和D状态一样,用户基本是见不到的。

5.t追踪停止状态 

T和t可以基本看成是同一个状态,T不常见,当t比较常见。

例如用gdb来debug程序时,追踪程序,遇到断点,进程就暂停了,此时就处于t状态。

其实T/t状态也是一种阻塞状态,进程debug时停下来,其实是在等待gdb给它下一步的指令,是在等待gdb这个软件(进程)的资源。当我们输入n给gdb,gdb就会给进程发送kill SIGCON指令,软件资源就绪,进程又会继续运行。

所以说等待队列不只是CPU和各种硬件设备拥有,进程PCB也是可以有自己的等待队列的!进程也可以等待另一个进程

6.X死亡状态

当一个进程结束时就处于X状态,这是一个瞬时状态,用户很难查到

7.Z僵尸状态

我们创建一个进程的目的是什么?是为了完成某项任务。那么一个进程在退出时,是不是理应告诉我任务完成的情况如何呢?是这样的。

当一个进程退出后,它的退出信息会被操作系统写入到进程PCB中,进程的代码和数据会被立即释放,但是PCB仍然被操作系统维护。只有父进程读取了退出信息,得知进程的退出原因,PCB才会被释放。像这种进程已经退出,但是退出信息未被父进程读取,PCB一直存在的进程就叫做僵尸进程,所处的状态就做僵尸状态。当退出信息被读取之后,操作系统会先将PCB设为X状态,然后释放PCB。

僵尸进程的危害是什么? 

一个进程已经退出,但是它的父进程就是不读取退出信息,PCB就会一直存在,占用内存空间,造成内存泄漏。

四.孤儿进程

当一个进程的父进程退出时,他就变成了孤儿进程。孤儿进程必须要被领养,否则他的退出信息无法被读取,会一直处于僵尸状态,造成内存泄漏。孤儿继承统一被一号进程systemd领养,1号进程就是操作系统

你可能感兴趣的:(linux,运维,服务器,单片机,嵌入式硬件)