系统是怎样创建进程的?_解读HarmonyOS源码：HarmonyOS内核源码分析(进程管理篇)

最新推荐文章于 2024-07-25 16:30:32 发布

weixin_39900608

最新推荐文章于 2024-07-25 16:30:32 发布

阅读量481

点赞数

文章标签：系统是怎样创建进程的?

本文链接：https://blog.csdn.net/weixin_39900608/article/details/111578669

版权

本文基于OpenHarmony内核，分析了进程的基本概念，包括进程的状态迁移、进程控制块以及内核态和用户态进程的创建过程。内核态的KProcess进程在系统启动时创建，用户态进程由KProcess fork产生。文章还讨论了进程的优先级和调度机制，并提出了两个关于内存分配和进程池的问题。

摘要由CSDN通过智能技术生成

提示：本文基于开源鸿蒙内核分析，

官方源码【kernel_liteos_a】

官方文档【docs】

参考文档【Huawei LiteOS】

官方源码【kernel_liteos_a】:

https://gitee.com/openharmony/kernel_liteos_a

官方文档【docs】:

https://gitee.com/openharmony/docs

参考文档【HuaweiLiteOS】:

https://support.huaweicloud.com/LiteOS/index.html

基本概念

从系统的角度看，进程是资源管理单元。进程可以使用或等待CPU、使用内存空间等系统资源，并独立于其它进程运行。

OpenHarmony内核的进程模块可以给用户提供多个进程，实现了进程之间的切换和通信，帮助用户管理业务程序流程。这样用户可以将更多的精力投入到业务功能的实现中。

OpenHarmony内核中的进程采用抢占式调度机制，支持时间片轮转调度方式和FIFO调度机制。

OpenHarmony内核的进程一共有32个优先级(0-31)，用户进程可配置的优先级有22个(10-31)，最高优先级为10，最低优先级为31。

高优先级的进程可抢占低优先级进程，低优先级进程必须在高优先级进程阻塞或结束后才能得到调度。

每一个用户态进程均拥有自己独立的进程空间，相互之间不可见，实现进程间隔离。

用户态根进程init由内核态创建，其它用户态进程均由init进程fork而来。

进程状态说明：

· 初始化(Init)：该进程正在被创建。

· 就绪(Ready)：该进程在就绪列表中，等待CPU调度。

· 运行(Running)：该进程正在运行。

· 阻塞(Pend)：该进程被阻塞挂起。本进程内所有的线程均被阻塞时，进程被阻塞挂起。

· 僵尸态(Zombies)：该进程运行结束，等待父进程回收其控制块资源。

(图 1 进程状态迁移示意图)

进程状态迁移说明：

· Init→Ready：

进程创建或fork时，拿到该进程控制块后进入Init状态，处于进程初始化阶段，当进程初始化完成将进程插入调度队列，此时进程进入就绪状态。

· Ready→Running：

进程创建后进入就绪态，发生进程切换时，就绪列表中最高优先级的进程被执行，从而进入运行态。若此时该进程中已无其它线程处于就绪态，则该进程从就绪列表删除，只处于运行态；若此时该进程中还有其它线程处于就绪态，则该进程依旧在就绪队列，此时进程的就绪态和运行态共存。

· Running→Pend：

进程内所有的线程均处于阻塞态时，进程在最后一个线程转为阻塞态时，同步进入阻塞态，然后发生进程切换。

· Pend→Ready / Pend→Running：

阻塞进程内的任意线程恢复就绪态时，进程被加入到就绪队列，同步转为就绪态，若此时发生进程切换，则进程状态由就绪态转为运行态。

· Ready→Pend：

进程内的最后一个就绪态线程处于阻塞态时，进程从就绪列表中删除，进程由就绪态转为阻塞态。

· Running→Ready：

进程由运行态转为就绪态的情况有以下两种：

1. 有更高优先级的进程创建或者恢复后，会发生进程调度，此刻就绪列表中最高优先级进程变为运行态，那么原先运行的进程由运行态变为就绪态。

2. 若进程的调度策略为SCHED_RR，且存在同一优先级的另一个进程处于就绪态，则该进程的时间片消耗光之后，该进程由运行态转为就绪态，另一个同优先级的进程由就绪态转为运行态。

· Running→Zombies：

当进程的主线程或所有线程运行结束后，进程由运行态转为僵尸态，等待父进程回收资源。

使用场景

进程创建后，用户只能操作自己进程空间的资源，无法操作其它进程的资源(共享资源除外)。用户态允许进程挂起，恢复，延时等操作，同时也可以设置用户态进程调度优先级和调度策略，获取进程调度优先级和调度策略。进程结束的时候，进程会主动释放持有的进程资源，但持有的进程pid资源需要父进程通过wait/waitpid或父进程退出时回收。

开始正式分析

我们先来做一个假设，好让大家有一个直观的感受。假设某地有一个10*40的400平米运动场馆，只供本地公司/组织/团体安排举办各种活动使用的，但因为生意太好，申请人太多了，每次都要排队，所以在场馆外面整了32条通道用来排队，而进程就是那些在场馆外32个队列里排队的人，那些队列就是进程的就绪队列。

请注意上面标注的红色的字进程是资源管理单元，而非调度单元，调度单元是谁？是 Task/线程，看下官方对应状态的define

一个进程从创建到消亡过程，在内核肯定是极其复杂的。一件这么复杂的事情肯定会有个复杂的结构体来承载，就是LosProcessCB(进程控制块)，代码很长但必须全部拿出来，长是长了点，忍忍吧！

进程的模式有两种，内核态和用户态，能想到main函数中肯定会创建一个内核态的最高优先级进程，他就是 KProcess

调用过程如下

通过task命令查看任务运行状态，可以看到 KProcess 进程 ,看名字就知道是一个内核进程，在系统启动时创建，图中可以看到 KProcess 的task运行情况，从表里可以看到KProcess内有 10几个task

进程初始化

以上是.c 中的所有全部变量。注释是笔者添加的。

KProcess也在进程当中，也需要接受调度排队，但他们的优先级是最高的0级，他们进场后需完成场馆的准备工作，再开门做生意。如果需要多个，那该怎么办呢？答案就是通过fork,简单说就是复制一个，复制的前提是需要有一个，鸿蒙里就是KProcess，其他都是通过它fork的。那用户怎么来的呢？就是真正的进程，先创建一个，其他就是原来的fork来的。

还是直接看代码吧