百万汉字注解 >> 精读鸿蒙源码,中文注解分析, 深挖地基工程,大脑永久记忆,四大码仓每日同步更新< gitee | github | csdn | coding > 百篇博客分析 >> 故事说内核,问答式导读,生活式比喻,表格…
百万汉字注解 >> 精读鸿蒙源码,中文注解分析, 深挖地基工程,大脑永久记忆,四大码仓每日同步更新< gitee | github | csdn | coding >
百篇博客分析 >> 故事说内核,问答式导读,生活式比喻,表格化说明,图形化展示,主流站点定期更新中< oschina | csdn | harmony >
三个进程
鸿蒙有三个特殊的进程,创建顺序如下:
2号进程,
1 | KProcess |
,为内核态根进程.启动过程中创建.
0号进程,
1 | KIdle |
为内核态第二个进程,它是通过
1 | KProcess |
fork 而来的.这有点难理解.
1号进程,
1 | init |
,为用户态根进程.由任务
1 | SystemInit |
创建.
发现没有在图中看不到0号进程,在看完本篇之后请想想为什么?
家族式管理
进程(process)是家族式管理,总体分为两大家族,用户态家族和内核态家族.
用户态的进程是平民阶层,屌丝矮矬穷,干着各行各业的活,权利有限,人数众多,活动范围有限(用户空间).中南海肯定不能随便进出.这个阶层有个共同的老祖宗g_userInitProcess (1号进程).
1 | g_userInitProcess = 1; /* 1: The root process ID of the user-mode process is fixed at 1 *///用户态的根进程 |
内核态的进程是贵族阶层,管理平民阶层的,维持平民生活秩序的,拥有超级权限,能访问整个空间和所有资源,人数不多.这个阶层老祖宗是 g_kernelInitProcess(2号进程).
1 | g_kernelInitProcess = 2; /* 2: The root process ID of the kernel-mode process is fixed at 2 *///内核态的根进程 |
两位老祖宗都不是通过fork来的,而是内核强制规定进程ID号,强制写死基因创建的.
这两个阶层可以相互流动吗,有没有可能通过高考改变命运? 答案是: 绝对冇可能!!! 龙生龙,凤生凤,老鼠生儿会打洞.从老祖宗创建的那一刻起就被刻在基因里了,抹不掉了. 因为后续所有的进程都是由这两位老同志克隆(clone)来的,没得商量的继承这份基因.
1 | LosProcessCB |
有专门的标签来
1 | processMode |
区分这两个阶层.整个鸿蒙内核源码并没有提供改变命运机会的
1 | set |
函数.
1 | #define OS_KERNEL_MODE 0x0U //内核态 |
2号进程 KProcess
2号进程为内核态的老祖宗,是内核创建的首个进程,源码过程如下,省略了不相干的代码.
1 | bl main @带LR的子程序跳转, LR = pc - 4 ,执行C层main函数 |
解读
main函数在系列篇中会单独讲,请留意自行翻看,它是在开机之初在SVC模式下创建的.
内核态老祖宗的名字叫
1 | KProcess |
,优先级为最高 0 级,
1 | KProcess |
进程是长期活跃的,很多重要的任务都会跑在其之下.例如:
1 | Swt_Task |
1 | oom_task |
1 | system_wq |
1 | tcpip_thread |
1 | SendToSer |
1 | SendToTelnet |
1 | eth_irq_task |
1 | TouchEventHandler |
1 | USB_GIANT_Task |
此处不细讲这些任务,在其他篇幅有介绍,但光看名字也能猜个八九,请自行翻看.
紧接着
1 | KProcess |
以
1 | CLONE_FILES |
的方式 fork了一个 名为
1 | KIdle |
的子进程(0号进程).
内核态的所有进程都来自2号进程这位老同志,子子孙孙,代代相传,形成一颗家族树,和人类的传承所不同的是,它们往往是白发人送黑发人,子孙进程往往都是短命鬼,老祖宗最能活,子孙都死绝了它还在,有些收尸的工作要交给它干.
0 号进程 KIdle
0号进程是内核创建的第二个进程,在
1 | OsKernelInitProcess |
的末尾将
1 | KProcess |
设为当前进程后,紧接着就
1 | fork |
了0号进程.为什么一定要先设置当前进程,因为fork需要一个父进程,而此时系统处于启动阶段,并没有当前进程. 是的,您没有看错.进程是操作系统为方便管理资源而衍生出来的概念,系统并不是非要进程,任务才能运行的. 开机阶段就是啥都没有,默认跑在svc模式下,默认起始地址
1 | reset_vector |
都是由硬件上电后规定的. 进程,线程都是跑起来后慢慢赋予的意义.
1 | OsCurrProcessSet |
是从软件层面赋予了此为当前进程的这个概念.
1 | KProcess |
是内核设置的第一个当前进程.有了它,就可以fork, fork, fork !
1 | //创建一个名叫"KIdle"的0号进程,给CPU空闲的时候使用 |
解读
看过fork篇的可能发现了一个参数,
1 | KIdle |
被创建的方式和通过系统调用创建的方式不一样,一个用的是
1 | CLONE_FILES |
,一个是
1 | CLONE_SIGHAND |
具体的创建方式如下:
1 | #define CLONE_VM 0x00000100 //子进程与父进程运行于相同的内存空间 |
1 | KIdle |
创建了一个名为
1 | Idle |
的任务,任务的入口函数为
1 | OsIdleTask |
,这是个空闲任务,啥也不干的.专门用来给cpu休息的,cpu空闲时就待在这个任务里等活干.
1 | LITE_OS_SEC_TEXT WEAK VOID OsIdleTask(VOID) |
fork 内核态进程和fork用户态进程有个地方会不一样,就是SP寄存器的值.fork用户态的进程一次调用两次返回(父子进程各一次),返回的位置一样(是因为拷贝了父进程陷入内核时的上下文).所以可以通过返回值来判断是父还是子返回.这个在fork篇中有详细的描述.请自行翻看. 但fork内核态进程虽也有两次返回,但是返回的位置却不一样,子进程的返回位置是由内核指定的,例如:
1 | Idle |
任务的入口函数为
1 | OsIdleTask |
.详见代码:
1 | //任务初始化时拷贝任务信息 |
结论是创建0号进程中的
1 | OsCreateIdleProcess |
调用
1 | LOS_Fork |
后只会有一次返回.而且返回值为0,因为
1 | g_freeProcess |
中0号进程还没有被分配.详见代码,注意看最后的注释:
1 | //进程模块初始化,被编译放在代码段 .init 中 |
1号进程 init
1号进程为用户态的老祖宗.创建过程如下, 省略了不相干的代码.
1 | LITE_OS_SEC_TEXT_INIT INT32 OsMain(VOID) |
解读
从代码中可以看出用户态的老祖宗创建过程有点意思,首先它的源头和内核态老祖宗一样都在
1 | OsMain |
.
通过创建一个分离模式,优先级为10的系统任务
1 | SystemInit |
,来完成.任务的入口函数
1 | SystemInit() |
的实现由平台集成商来指定. 本篇采用了
1 | hi3516dv300 |
的实现.也就是说用户态祖宗的创建是在
1 | sysTask.uwStackSize = LOSCFG_BASE_CORE_TSK_DEFAULT_STACK_SIZE;//16K |
栈中���成的.这个任务归属于内核进程
1 | KProcess |
.
用户态老祖宗的名字叫
1 | Init |
,优先级为28级.
用户态的每个进程有独立的虚拟进程空间
1 | vmSpace |
,拥有独立的内存映射表(L1,L2表),申请的内存需要重新映射,映射过程在内存系列篇中有详细的说明.
1 | init |
创建了一个任务,任务的入口地址为
1 | __user_init_entry |
,由编译器指定.
用户态进程是指应有程序运行的进程,通过动态加载ELF文件的方式启动.具体加载流程系列篇有讲解,不细说.用户态进程运行在用户空间,但通过系统调用可陷入内核空间.具体看这张图:

鸿蒙源码百篇博客 往期回顾
v46.xx (特殊进程篇) | 龙生龙,凤生凤,老鼠生儿会打洞 < csdn | harmony >
v45.xx (fork篇) | fork是如何做到调用一次,返回两次的 ? < csdn | harmony >
v44.xx (中断管理篇) | 硬中断的实现<>观察者模式 < csdn | harmony >
v43.xx (中断概念篇) | 外人眼中权势滔天的当红海公公 < csdn | harmony >
v42.xx (中断切换篇) | 中断切换到底在切换什么? < csdn | harmony >
v41.xx (任务切换篇) | 汇编逐行注解分析任务上下文 < csdn | harmony >
v40.xx (汇编汇总篇) | 所有的汇编代码都在这里 < csdn | harmony >
v39.xx (异常接管篇) | 社会很单纯,复杂的是人 < csdn | harmony >
v38.xx (寄存器篇) | ARM所有寄存器一网打尽,不再神秘 < csdn | harmony >
v37.xx (系统调用篇) | 全盘解剖系统调用实现过程 < csdn | harmony >
v36.xx (工作模式篇) | CPU是韦小宝,有哪七个老婆? < csdn | harmony >
v35.xx (时间管理篇) | Tick是操作系统的基本时间单位 < csdn | harmony >
v34.xx (原子操作篇) | 是谁在为原子操作保驾护航? < csdn | harmony >
v33.xx (消息队列篇) | 进程间如何异步解耦传递大数据 ? < csdn | harmony >
v32.xx (CPU篇) | 内核是如何描述CPU的? < csdn | harmony >
v31.xx (定时器篇) | 内核最高优先级任务是谁? < csdn | harmony >
v30.xx (事件控制篇) | 任务间多对多的同步方案 < csdn | harmony >
v29.xx (信号量篇) | 信号量解决任务同步问题 < csdn | harmony >
v28.xx (进程通讯篇) | 进程间通讯有哪九大方式? < csdn | harmony >
v27.xx (互斥锁篇) | 互斥锁比自旋锁可丰满许多 < csdn | harmony >
v26.xx (自旋锁篇) | 真的好想为自旋锁立贞节牌坊! < csdn | harmony >
v25.xx (并发并行篇) | 怎么记住并发并行的区别? < csdn | harmony >
v24.xx (进程概念篇) | 进程在管理哪些资源? < csdn | harmony >
v23.xx (汇编传参篇) | 汇编如何传递复杂的参数? < csdn | harmony >
v22.xx (汇编基础篇) | CPU在哪里打卡上班? < csdn | harmony >
v21.xx (线程概念篇) | 是谁在不断的折腾CPU? < csdn | harmony >
v20.xx (用栈方式篇) | 栈是构建底层运行的基础 < csdn | harmony >
v19.xx (位图管理篇) | 为何进程和线程优先级都是32个? < csdn | harmony >
v18.xx (源码结构篇) | 内核500问你能答对多少? < csdn | harmony >
v17.xx (物理内存篇) | 这样记伙伴算法永远不会忘 < csdn | harmony >
v16.xx (内存规则篇) | 内存管理到底在管什么? < csdn | harmony >
v15.xx (内存映射篇) | 什么是内存最重要的实现基础 ? < csdn | harmony >
v14.xx (内存汇编篇) | 什么是虚拟内存的实现基础? < csdn | harmony >
v13.xx (源码注释篇) | 热爱是所有的理由和答案 < csdn | harmony >
v12.xx (内存管理篇) | 虚拟内存全景图是怎样的? < csdn | harmony >
v11.xx (内存分配篇) | 内存有哪些分配方式? < csdn | harmony >
v10.xx (内存主奴篇) | 紫禁城的主子和奴才如何相处? < csdn | harmony >
v09.xx (调度故事篇) | 用故事说内核调度 < csdn | harmony >
v08.xx (总目录) | 百万汉字注解 百篇博客分析 < csdn | harmony >
v07.xx (调度机制篇) | 任务是如何被调度执行的? < csdn | harmony >
v06.xx (调度队列篇) | 就绪队列对调度的作用 < csdn | harmony >
v05.xx (任务管理篇) | 谁在让CPU忙忙碌碌? < csdn | harmony >
v04.xx (任务调度篇) | 任务是内核调度的单元 < csdn | harmony >
v03.xx (时钟任务篇) | 触发调度最大的动力来自哪里? < csdn | harmony >
v02.xx (进程管理篇) | 进程是内核资源管理单元 < csdn | harmony >
v01.xx (双向链表篇) | 谁是内核最重要结构体? < csdn | harmony >
参与贡献
访问注解仓库地址
Fork 本仓库 >> 新建 Feat_xxx 分支 >> 提交代码注解 >> 新建 Pull Request
新建 Issue
喜欢请「点赞+关注+收藏」
关注「鸿蒙内核源码分析」公众号,百万汉字注解 + 百篇博客分析 => 深挖鸿蒙内核源码
各大站点搜 「鸿蒙内核源码分析」 .欢迎转载,请注明出处. oschina | csdn | harmony | 简书 | 掘金
本文标题: 推荐系列-鸿蒙内核源码分析(特殊进程篇) - 龙生龙,凤生凤,老鼠生儿会打洞 - 百篇博客分析HarmonyOS源码 - v46.02
本文作者: OSChina
发布时间: 2021年04月15日 09:53
最后更新: 2023年06月29日 07:10
原始链接: https://haoxiang.eu.org/5a6c63dd/
版权声明: 本文著作权归作者所有,均采用CC BY-NC-SA 4.0许可协议,转载请注明出处!