【Linux内核设计与实现】第三章——进程管理（完整版01~05）

Imagine Miracle

已于 2025-04-29 10:17:24 修改

阅读量107

点赞数

CC 4.0 BY-SA版权

分类专栏： Linux内核文章标签： linux 内核 kernel 操作系统

于 2025-04-29 10:14:55 首次发布

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/qq_36393978/article/details/147310605

Linux内核专栏收录该内容

11 篇文章 ¥15.90 ¥99.00

订阅专栏

超级会员免费看

文章目录

1. 引言
2. 进程&线程——概念
3. 进程控制块/进程描述符(PCB)
4. 进程内核栈（Kernel Stack）
- 4.1. 进程内核栈的定义
- 4.2. thread_info 体系结构相关进程描述
- 4.3. 定位进程描述符(task_struct)和内核栈以及内核栈指针的问题
5. 进程 ID（PID）
6. 进程状态
- 6.1. 进程的几个状态
- 6.2. 设置进程状态
- - 设置当前状态
  - 设置特殊状态
- 6.3. 进程状态检查
- 6.4. 状态切换的几个核心函数
- 6.5. 经典的进程状态转换
7. 进程创建
- 7.1. 进程之间的关系
- 7.2. 进程创建的写时拷贝机制（copy-on-write）
- 7.3. fork() 函数的入口
- 7.4. 创建新进程的核心函数 kernel_clone()
- 7.5. kernel_clone() 的核心函数 copy_process()
- 7.6. 实现 fork() 写时拷贝的关键所在 copy_process() 中的 copy_mm()
- 7.7. copy_process() 的核心函数 dup_task_struct()
- 7.8. 分配进程描述符 alloc_task_struct_node()
- 7.9. 分配进程内核栈 alloc_thread_stack_node()
- 7.10. fork() 函数的简要总体框图
8. exit() 进程退出
- 8.1. exit() 系统调用的定义
- 8.2. do_exit() 函数
- 8.3. do_exit() 函数小结
9. 阻塞等待退出
- 9.1. wait 系统调用
- 9.2. 核心数据结构 struct wait_opts
- 9.3. do_wait()
- - 9.3.1 初始化等待队列
  - 9.3.2 进入等待循环
  - 9.3.3. 恢复运行状态
  - 9.3.4. 返回结果
- 9.4. __do_wait()
- - 9.4.1. 处理不同的等待类型
  - 9.4.2. 处理无匹配子进程的情况
  - 9.4.3. 返回结果
- 9.5. wait_consider_task()
- - 9.5.1. 函数参数
  - 9.5.2. 检查子进程的退出状态
  - 9.5.3. 检查子进程是否符合等待条件
  - 9.5.4. 处理 `EXIT_TRACE` 状态
  - 9.5.5. 处理被 `ptrace` 跟踪的子进程
  - 9.5.6. 处理 `EXIT_ZOMBIE` 状态
  - 9.5.7. 处理其他状态
  - 9.5.8. 等待停止状态
  - 9.5.9. 等待继续状态
- 9.6. wait_task_zombie()
- - 9.6.1. 函数参数
  - 9.6.2. 主要工作流程
- 9.7. release_task()
- - 9.7.1. 函数参数
  - 9.7.2. 初始化清理状态
  - 9.7.3. 减少进程计数
  - 9.7.4. 释放与进程相关的子系统资源
  - 9.7.5. 获取线程 PID
  - 9.7.6. 加锁并清理信号和调试信息
  - 9.7.7. 处理线程组领导者
  - 9.7.8. 释放 PID 和其他资源
  - 9.7.9. 清理信号队列
  - 9.7.10. 释放任务结构
  - 9.7.11. 处理线程组领导者的释放
- 9.8. put_task_struct_rcu_user()
- - 9.8.1. put_task_struct_rcu_user 的作用
  - 9.8.2. delayed_put_task_struct 的作用
- 9.9. put_task_struct()
- - 9.9.1. 函数定义
  - 9.9.2. 函数参数
  - 9.9.3. 减少引用计数
  - 9.9.4. 检查是否可以直接释放
  - 9.9.5. 延迟释放（针对 `PREEMPT_RT`）
  - 9.9.5. 延迟释放（针对 `PREEMPT_RT`）
  - 9.9.6. 延迟释放的回调函数 `__put_task_struct_rcu_cb`
- 9.10. __put_task_struct()
- - 9.10.1. 函数定义
  - 9.10.2. 函数参数
  - 9.10.3. 检查进程状态
  - 9.10.4. 释放调度相关资源
  - 9.10.5. 释放 I/O 相关资源
  - 9.10.6. 释放控制组（cgroup）资源
  - 9.10.7. 释放 NUMA 相关资源
  - 9.10.8. 释放安全模块相关资源
  - 9.10.9. 释放进程凭据
  - 9.10.10. 释放延迟统计资源
  - 9.10.11. 释放信号相关资源
  - 9.10.12. 释放任务描述符
- 9.11. 最终释放 free_task()
- - 9.11.1. 函数定义
  - 9.11.2. 函数参数
  - 9.11.3. 检查 Seccomp 过滤器
  - 9.11.4. 释放内核相关资源
  - 9.11.5. 释放任务栈
  - 9.11.6. 释放相关调试信息
  - 9.11.7. 释放架构特定的任务结构
  - 9.11.8. 释放内核线程结构
  - 9.11.9. 释放 BPF 任务存储
  - 9.11.10. 释放任务描述符
10. 进程退出为什么延时销毁？
11. 遗留问题
12. 处理遗留问题
- 12.1. 问题 1 的分析
- 12.2. 回顾 fork()
- 12.3. copy_thread() & kernel_clone()
- 12.4. 问题 2 的分析
- 12.5. 验证问题 2 的分析
- 12.6. 小结
13. 线程
14. 创建线程
- 14.1. clone 系统调用（用户级线程）
- 14.2. 内核线程
- 14.3. 创建内核线程
- 14.4. 内核线程创建的典型用法
- 14.5 小结
15. 第三章总结
#附
#01. 计算 task_struct 大小
- #01.1. 编写 task_struct_size 模块
- #01.2. 编写 Makefile
- #01.3. 编译并插入模块
- #01.4. 查看内核打印
#02. 验证内核栈大小
#03. 验证内核栈结构
#04. 验证栈指针位置
#05. init 进程

1. 引言

进程是 Linux 操作系统抽象概念中最基本的一种。本文将和读者一起学习有关 Linux 内核中对进程、线程的概念；然后再一起研究在 Linux 内核中是如何管理每个进程，本文只涉及对进程以及线程生命周期的介绍（进程是如何创建、消亡）。我们的操作系统存在的目的就是为了更好的运行用户程序，由此可见进程管理在操作系统中的地位可谓是至关重要的。而有关进程调度内容笔者将放在下一篇文章中详述，虽然这些都属于进程管理的范畴，不过由于笔者是按照《Linux 内核设计与实现》第三版并结合 Linux 6.15.0-rc2 内核代码来展开讨论，因此这里的探讨顺序将会与书籍原文保持一致。

2. 进程&线程——概念

在计算机科学领域，有关进程(Process)较为官方的定义是，进程是“正在执行的程序实例”。与静态存储在磁盘上的程序文件不同，进程具有动态的执行上下文，包括程序计数器（PC）、寄存器集、堆栈以及进程控制块（PCB）中记录的资源分配信息。与之对应衍生出的概念线程(Thread)，较为官方的定义是，线程是“正在执行的程序指令序列中的最小可独立调度单元”。它包含程序计数器、寄存器状态、堆栈以及线程控制块（TCB）等上下文信息。线程也被称为轻量级进程，因为它与同属一个进程的其他线程共享同一地址空间和打

了解本专栏

超级会员免费看

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

打赏作者

Imagine Miracle 爱你哟 =^ v ^=

¥1 ¥2 ¥4 ¥6 ¥10 ¥20

扫码支付：¥1

获取中

扫码支付

您的余额不足，请更换扫码支付或充值

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。