【Linux】进程状态&优先级

t5y22

已于 2024-04-15 15:41:17 修改

阅读量873

点赞数 19

文章标签：服务器运维

于 2024-04-09 09:29:19 首次发布

本文链接：https://blog.csdn.net/t5y22/article/details/137469755

版权

进程状态：我们知道，一个程序被加载到内存变成进程之后，操作系统要对该进程进行管理，即为其创建对应的PCB对象；而进程状态，本质上就是PCB内部的一个整形变量，不同的整形值就对应不同的进程状态。

一.普适的操作系统层面

在普适的操作系统层面，即站在操作系统学科的角度来说，进程状态可能有如下几种：运行、挂起、阻塞、新建、就绪、等待、挂机、死亡。

运行状态：

操作系统为了合理分配CPU以及各种硬件资源，也为了更好的调度各个进程，会为CPU创建一个进程队列，为每一个硬件都创建一个等待队列；而让某一个进程处于运行状态本质上就是将该进程对应的PCB放入CPU的运行队列中，然后再将PCB中维护进程状态的变量修改为相应的值，比如0；

因为进程PCB里面有进程的各种属性，以及进程对应的代码和数据的地址，所以CPU从运行队列中取出PCB后，可以根据该PCB来得到进程的各种数据和指令，然后执行相应运算；

所以进程处于运行状态并不一定意味着该进程此刻正在被运行，只要该进程处于CPU的运行队列中即可。(注：CPU是纳秒级的芯片，运算速度非常快，所以只要进程处于CPU的运行队列中，我们就可以认为该进程正在被运行)

阻塞状态：

和CPU一样，我们计算机中的各种硬件也是十分有限的，但是需要使用这些硬件资源的进程却有很多，比如很多进程都需要向磁盘中写入数据，又或者要通过网卡发送数据；但是一个磁盘或者一个网卡在同一个时刻只能为一个进程提供服务，那么如果此时有其他运行中的进程需要使用该硬件资源，操作系统就会将该进程的PCB放入硬件的等待队列中，等待硬件来为我提供服务。

上面这种由于访问某种硬件需要进行等待的状态就被称为阻塞状态，阻塞状态本质上就是将进程的PCB从CPU的运行队列中剥离出来，放入硬件的等待队列中，然后将PCB中维护进程状态的变量修改为相应的值，比如1；待该进程获得对应的对应的硬件资源以后，再将该进程放入CPU的运行队列中。

注：并不是只有等待硬件资源时进程才会处于阻塞状态，一个进程等待另一个进程就绪、一个进程等待某种软件资源就绪等都会处于阻塞状态。

挂起状态：

上面我们学习了阻塞状态，处于阻塞状态的进程由于需要等待某种资源，所以它对应的代码和数据在短期内并不会被执行，此时它们仍存在在内存中就相当于浪费了内存资源；而如果当前操作系统处于高IO的情况下，内存空间不足，操作系统就会选择将这些处于阻塞状态的进程对应的代码和数据拷贝一份存放到磁盘中，然后释放内存中那一份，从而节省出内存空间；

上面这种由于内存空间不足，操作系统将在等待资源的进程对应的代码数据放到磁盘中以节省内存空间的状态就被称为挂起状态；挂起状态不会移动进程的PCB，只会移动进程对应的代码和数据。

注：挂起进程并不是释放进程，因为该进程对应的PCB仍然处于某硬件的等待队列中，当该进程获得对应的资源以后，操作系统仍然可以将该进程对应的代码和数据从磁盘加载到内存中来继续运行，其本质是对内存数据的唤入唤出；同时阻塞不一定挂起，挂起也不一定阻塞，也可能是新建挂起、就绪挂起，甚至是运行挂起。

总结：进程状态改变的本质是进程对应的 PCB (task_struct 对象) 处于不同设备的运行队列/等待队列中

二、具体Linux操作系统层面

上面我们谈到的都是理论上的操作系统中进程的状态，下面我们来学习具体Linux操作系统中进程的状态。

/*
* 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 )

运行状态即进程的PCB位于CPU的运行队列中：

睡眠状态 (S)

Linux下的睡眠状态其实就是我们上面所说的阻塞状态，进程需要等待某种资源：

注：我们使用 ps axj 指令查看进程状态只能查看进程某一时刻的状态，而外设的速度是要远远低于CPU的，所以我们可以发现，虽然 process 也在执行加法运算，但是我们每次查询时进程基本都处于阻塞状态，因为进程99%的时间都在等待硬件资源就绪，只有1%的时间在进行加法运算以及执行打印代码。

深度睡眠状态 (D)

上面我们提到，当内存空间不足的时候，操作系统会将一部分进程挂起来节省资源；但是如果内存空间严重不足，挂起已经解决不了问题的时候，操作系统就会主动杀掉某些进程；

那么这里就出现了一个问题，万一操作系统把某些非常重要的进程杀掉了怎么办？比如，当前有一个进程需要向磁盘写入一批数据，这批数据是10万名用户一年的转账记录，非常重要；该进程访问磁盘，让磁盘帮它写入数据，在磁盘写数据的时间段内，该进程是属于阻塞状态的，因为它要等待磁盘返回给它一个结果，即是否写入成功；而一旦该进程被操作系统杀掉，且恰好磁盘写入失败了，磁盘将写入结果反馈给该进程发现无人应答，磁盘就只能将该部分数据丢弃然后为其他进程提供服务；此时，这部分十分重要的用户数据就丢了。

为了防止这种情况的发生，Linux设计出了深度睡眠 (D) 状态，处于深度睡眠状态的进程既不能被用户杀掉，也不能被操作系统杀掉，只能通过断电，或者等待进程自己醒来。

注：深度睡眠一般只会在高IO的情况发生下，且如果操作系统中存在多个深度睡眠状态的程序，那么说明该操作系统也即将崩溃了。

暂停状态 (T)

暂停状态其实也属于阻塞状态的一种，我们可以使用 kill 命名，指定 -19 选项来让一个进程从运行状态变为暂停状态：

我们也可以使用 kill -18 让一个处于暂停状态的进程恢复运行：

我们将 process 暂停或者 continue 之后，进程状态前面的 + 号消失了；其实，进程状态后面的 + 号代表着一个进程是前台进程，没有 + 号就代表是后台进程；

对于前台进程，我们可以使用 Ctrl + c 将其终止，也可以用 kill 命令杀死它；

但是对于后台进程来说，我们只能通过 kill 命令来杀死它。

追踪暂停状态 (t)

追踪暂停状态是一种特殊的暂停状态，进程处于此状态表示该进程正在被追踪，比如 gdb 调试进程：

死亡状态 (X)

死亡状态代表着一个进程结束运行，该进程对应的PCB以及代码和数据全部被操作系统回收。

僵尸状态 (Z)

我们创建一个进程的目的是为了让其帮我们完成某种任务，而既然是完成任务，进程在结束前就应该返回任务执行的结果，供父进程或者操作系统读取。

所以，一个进程在退出的时候，不能立即释放全部资源 – 对于进程的代码和数据，操作系统可以释放，因为该进程已经不会再被执行了，但是该进程的PCB应该保留，因为PCB中存放着该进程的各种状态代码，特别是退出状态代码。

僵尸状态就是进程在退出时等待父进程或者操作系统来读取退出状态代码，然后释放PCB的一种状态。

总结：可以看到，具体的Linux操作系统下的进程状态和普适的操作系统学科上进程的状态是不同的，比如Linux操作系统没有阻塞和挂起状态，阻塞状态通过睡眠、深度睡眠、暂停、追踪暂停等状态表现出来，而进程处于这些状态时是否会被调整为挂起状态，用户是不可得知的，因为操作系统没必要将挂起状态暴露给用户，用户也不关心一个进程是否会处于挂起状态。

两种特殊的进程

1、僵尸进程

什么是僵尸进程？

上面我们提到一个进程的资源在被全部释放之前，需要由父进程或者操作系统来读取退出状态代码，而如果父进程不读取子进程的退出状态代码，该进程的PCB就一直得不到释放，此时该进程就会变成僵尸进程。

#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <sys/types.h>

int main()
{
    int id = fork();
    if(id > 0)
    {
        while(1)
        {
            printf("我是父进程，pid: %d, ppid: %d\n", getpid(), getppid());
            sleep(1);
        }
    }
    else if(id == 0)
    {
        while(1)
        {
            printf("我是子进程，pid: %d, ppid: %d\n", getpid(), getppid());
            sleep(1);
        }
    }
    else 
    {
        perror("fork fail");
        exit(-1);
    }
    return 0;
}