linux进程管理，一个进程的一生（喂饭级教学）

coder_small_bell

于 2023-10-24 14:29:37 发布

阅读量187

点赞数

文章标签： 1024程序员节

原文链接：https://blog.csdn.net/2301_76144863/article/details/133611632

版权

    <link rel="stylesheet" href="https://csdnimg.cn/release/blogv2/dist/mdeditor/css/editerView/kdoc_html_views-1a98987dfd.css">
    <link rel="stylesheet" href="https://csdnimg.cn/release/blogv2/dist/mdeditor/css/editerView/ck_htmledit_views-dc4a025e85.css">
            <div id="content_views" class="htmledit_views">
                <blockquote>

这篇文章谈谈linux中的进程管理。

一周爆肝，创作不易，望支持！

希望对大家有所帮助！记得收藏！

要理解进程管理，重要的是周边问题，一定要知其然，知其所以然。看下方目录就知道都是干货！

3.为什么fork()给父进程返回子进程pid，给子进程返回0?

12.linux内核2.61CPU运行队列窥视(综合理解!)

1.什么是进程管理?

OS内核中有内存管理，进程管理，文件管理，驱动管理，OS将这四样管理起来才基本可以实现硬件和数据的自由调控，才可成为一个优质内核。

2.为什么要有进程管理?

要知道为什么要有进程管理，首先要知道进程是什么东西，这里给出进程的定义。

进程的定义：程序的一个执行实例，加载到内存中的程序，即正在执行的程序。进程是操作系统执行任务的基本单元，也是分配资源、处理数据和被调度的基本单元。更加通俗的理解：操作系统要做事情，进程就是一件又一件的"事情"。

3.如何对进程进行管理?

在哲学的范畴，管理的本质是对数据的管理，而非对具体对象的管理。管理的策略是：先描述，再组织。即先将被管理对象进行建模描述为抽象类型，再想好如何将每个被管理对象组织起来。

操作系统对进程的管理也是如此：

描述进程、组织进程

(1)描述进程

在操作系统中，经常将描述进程的类称为PCB(process control block)。进程的属性有很多：比如pid，ppid(父进程pid)，stat(进程状态)，进程优先级等等。后续慢慢学习······

(2)组织进程

进程的组织就是用高效的数据结构将进程对象组织起来，操作系统一般用双向链表将进程的PCB对象组织起来。

4.查看系统中的进程

(1)命令查看


 
 
   
   
    
    
   
   
   
   
    
    
     
     ps ajx //查看当前所有进程
    
    
   
   

   
   
    
    
   
   
   
   
    
    
     
     ps ajx | 
     
     head -1 && ps ajx | grep mybin//查看指定进程mybin

(2)文件查看

在根目录下的proc目录中有当前存在的所有进程，因此这个目录是动态的。

这个目录里的各个数字目录，就是以各个进程的pid命名的。目录里面放的就是进程PCB对象的各种属性。

5.创建进程的两种方式

(1)./运行一个程序

本质：将磁盘上的可执行程序代码和数据拷贝到内存当中，为这个进程创建PCB对象，将PCB对象链入内存中管理PCB对象的双链表中。（重点）

(2)通过代码创建

使用fork()函数创建当前进程的子进程。

6.父子进程与fork()

(1)父子关系

进程是有父子关系的，在一个进程中创建出新的进程，这个新的进程就被叫做那个进程的子进程。那个进程叫做新的进程的父进程。

(2)系统调用fork()

fork()是一个进程通过代码创建子进程的时候，所调用的系统接口。通过fork()函数，在fork()下一行处会创建一个子进程，这个子进程和父进程共同执行接下来的代码。

如图：

./mybin运行之后

体现出了fork()之后，子进程和父进程两个执行流分别执行接下来的代码。

fork()函数

头文件#include<unistd.h>

返回值:父进程返回子进程pid，子进程返回0。

(3)fork()原理

1.fork()干了什么事?

现象：fork()是系统接口，fork()之后会为父进程创建子进程，父子进程两个执行流共同执行fork()之后的代码。

本质：进程的创建，本质是将可执行程序代码和数据加载到内存中，创建PCB对象，再将PCB对象链接到管理PCB对象的双向链表中。父进程中使用fork()创建进程本质是：以父进程PCB为模板创建子进程PCB，由于子进程没有从磁盘中加载代码和数据，子进程的PCB只能指向父进程的代码和数据，因此父子进程共享代码子进程可以看到父进程的全部代码，由于进程的独立性，数据会以写时拷贝的方式给到子进程。

2.为什么fork()会有两个返回值?

fork()函数在return x 之前，子进程就被创建出来了，所以不要把fork()看成一个整体，return之后父子进程两个执行流共同执行接下来的代码，return也被父子进程以不同的值返回两次。

3.为什么fork()给父进程返回子进程pid，给子进程返回0?

给父进程返回子进程的pid，是为了让父进程较好的控制管理子进程，所以返回子进程的pid让父进程进行控制。子进程只需要确认自己创建成功与否，所以返回0。

4.fork()之后，父子进程谁先运行?

fork()后，父子进程都会进入CPU的执行队列中被调度，需要依赖进程PCB的调度优先级和调度器算法。

5.如何理解同一个变量会有不同的值?

父子进程共享代码，但是要保证进程的独立性，数据不能共享，所以数据会以写时拷贝的方式拷贝给子进程，return两个值本质是写两次数据，子进程的数据就要写时拷贝。因此父子进程都有自己存储返回值的变量。

6.重新理解fork()

7.进程状态

(1)一般操作系统的进程状态

进程的状态指的是一个进程处在内存中某个PCB队列中所体现出来的状态。进程的状态是为了更好的让操作系统得知每个进程的实时情况所设定的。进程可以在很多PCB队列中进行排队。进程状态是PCB中的一个属性，是一个int类型的值，来表示这个进程目前的状态。

1.运行状态

我们把进程的PCB在CPU的运行队列中排队的状态认定为运行状态。在CPU运行队列的进程准备被调度(取决于调度器算法)。

2.阻塞状态

当我们的进程在CPU的运行队列中被调度的时候，这个进程开始让CPU来执行它的可执行程序，这个可执行程序势必或多或少会访问到操作系统中的软硬件资源，如果此时要访问的软硬件资源还没有到位，那么这个进程的PCB就会从CPU的运行队列上剥离，去到软硬件资源的等待队列中排队，此时这个进程的状态被设置为阻塞状态！

3.阻塞挂起和swap分区

硬件阻塞

当我们的进程处于阻塞状态，进程的PCB在对应软硬件资源的等待队列中排队，此时这个进程的代码数据和PCB都在内存中占用着资源，但是这个进程暂时不需要被调度，如果此时操作系统的内存资源严重不足，就会把这个进程的代码和数据交换到磁盘中的swap分区中，为内存腾出空间。此时进程就处于阻塞挂起状态。当软硬件资源就绪时，操作系统再把这部分代码和数据唤回内存中，此时进程再从软硬件资源的等待队列中剥离到CPU的运行队列中排队。

软件阻塞

用linux调试代码工具gdb来解释一下就是，gdb在调试程序的过程中要根据断点来追踪、暂停进程，要想调试一个程序的代码，gdb和这个程序必须都加载到内存当中成为进程，CPU执行代码遇到断点进程就被阻塞了，需要等待gdb这个进程的继续操作，此时这个进程就需要等待软件资源gdb的响应，而gdb又要等待诸如键盘的响应，所以进程的PCB到gdb这个进程的PCB里的等待队列里排队，gdb这个进程PCB又到键盘的等待队列里排队。当键盘响应gdb，gdb的PCB又到CPU的运行队列里排队，待调试代码的进程也到CPU的运行队列里排队。

(2)linux的进程状态

linux进程状态主要有一下几种：


 
 
   
   
    
    
   
   
   
   
    
    
     
     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 */   //僵尸状态
    
    
   
   

   
   
    
    
   
   
   
   
    
    
     
     };

linux进程的休眠状态

本质就是阻塞状态(可以随时被终止)。这里还有一个深度休眠状态disk sleep(磁盘休眠)。当一个进程在向磁盘上写入数据的时候，这个进程需要等待磁盘写入完毕，并把写入结果返回给进程PCB，由于这个过程中进程不可被终止（防止数据丢失）此时这个进程的状态就是深度休眠状态。

linux僵尸进程和孤儿进程

当一个进程的可执行程序已经在CPU上跑完了，这个进程的生命周期就结束了，此时操作系统会先将这个进程的代码和数据进行释放，暂时不会释放这个进程的PCB。为什么？由于进程退出时的退出信息会保存在进程的PCB中，而操作性系统或者父进程要得知进程的退出原因（任务完成情况），所以要在父进程或者操作系统读取到退出信息之后，进程才能完全销毁，将进程PCB也释放。linux规定：进程在退出后，进程的PCB还没有被父进程或者操作系统读取到，进程还没有完全退出的进程状态为僵尸状态。如果进程一直处于僵尸状态，会导致内存泄露的问题。

上面所说，进程在退出时，PCB是由父进程来回收的。那么，如果进程退出前，父进程就已经退出了，那这个进程的PCB就没有相应的进程来回收了，此时进程的状态成为孤儿状态。