进程、线程与任务模型
这页讲的是：你平时说的“进程”“线程”，在 Linux 内核视角里并不是两套完全割裂的世界。学这页的重点，是理解内核真正调度和管理的执行实体，到底是什么样的模型。
这块是什么
进程、线程与任务模型，讲的是 Linux 如何表示正在运行的执行单位，以及这些单位怎样共享资源、怎样被调度、怎样创建和退出。对用户来说，进程和线程像是两种概念；对内核来说，它们更像是在“共享多少资源”上不同，而不是两套完全不同的生物。
可以先把它理解成：内核关心的是“谁在执行、谁共享地址空间、谁该被调度”，而不只是教科书里那种静态定义。
它负责什么
表示执行实体
- 组织当前有哪些任务在运行或等待
- 记录任务状态和资源关系
- 把“正在干活的人”纳入系统管理
- 为调度和资源管理提供基础对象
组织资源共享关系
- 哪些任务共享地址空间
- 哪些任务共享文件描述符等资源
- 哪些任务彼此独立
- 让线程和进程的差别落到真实系统结构上
支撑任务生命周期
- 创建
- 运行与等待
- 退出与回收
- 让执行实体从出生到结束都有明确秩序
为什么“进程”和“线程”在内核里没那么泾渭分明
| 视角 | 你平时怎么说 | 内核更关心什么 |
|---|
| 进程 | 像一个独立程序实例。 | 它是否拥有自己独立的地址空间、资源和身份边界。 |
| 线程 | 像进程里的多条执行流。 | 它和别的执行流到底共享了哪些资源、又保留了哪些独立状态。 |
| 调度 | 好像是在调度“进程”或“线程”。 | 真正被安排上 CPU 的，是可运行的具体任务实体。 |
| 资源管理 | 容易把任务和资源绑定死理解。 | 内核实际上把“执行”和“共享关系”拆开组织。 |
关键概念
| 概念 | 现在怎么理解 |
|---|
| 任务 | 内核里被调度和跟踪的执行实体，可以把它看成真正“被安排运行”的单位。 |
| 进程 | 更偏向一组资源和执行上下文的组织方式，而不只是“一个程序”这么简单。 |
| 线程 | 更偏向共享同一批资源的多条执行流。 |
| 地址空间 | 任务访问内存时看到的那套虚拟世界，是否共享它会显著影响任务关系。 |
| 任务状态 | 运行、可运行、阻塞、退出等不同阶段，决定它当前如何参与系统调度。 |
为什么重要
- 调度器调的不是抽象概念，而是这些真实执行实体。
- 很多系统行为，比如创建任务、等待事件、资源共享，都要先搞清楚任务模型。
- 它是理解调度、系统调用、容器、权限边界等主题的共同基础。
- 如果这层概念混乱，你后面很容易把“谁在跑”和“谁在共享资源”混成一件事。
常见误解
- 误解一：线程和进程在内核里是两套完全不同的实现。实际上它们更多是共享关系不同。
- 误解二：调度器是在调度“程序”。实际上调度的是可运行的任务实体。
- 误解三：任务创建只是启动一个新执行流。实际上还伴随着资源关系和边界组织。
它不负责什么
- 它不直接决定谁先跑，那是调度策略层的职责。
- 它不自己完成内存管理，但任务是否共享地址空间与内存管理紧密相连。
- 它不定义文件或网络语义，但任务如何共享这些资源会影响系统行为。
和其他模块的关系
| 相关模块 | 关系 |
|---|
| 调度器 | 任务模型决定“谁”被调度、谁参与 CPU 竞争。 |
| 系统调用边界 | 创建、退出、等待和资源共享很多都从系统调用入口进入。 |
| 内存管理 | 地址空间是否共享，是进程与线程关系中的关键差异之一。 |
| 容器 / 命名空间 | 进程视图和任务组织方式是隔离主题的重要基础。 |
你现在先把“执行”和“资源”分开看
| 维度 | 内核更像在管理什么 | 为什么这能帮你少混 |
|---|
| 执行流 | 谁当前可运行、谁在等待、谁下一步会被调度。 | 这解释了为什么调度器关心的是任务实体，而不是教科书里的抽象定义。 |
| 地址空间 | 哪些执行流共享同一套内存视图。 | 这能帮你把“线程为什么更像共享资源的执行流”看清楚。 |
| 文件与句柄 | 哪些任务共用同一批打开对象和资源状态。 | 这样你就不会把“创建了新任务”和“所有资源都复制一份”画等号。 |
| 生命周期 | 谁出生、谁退出、谁还需要被父子关系或回收路径接住。 | 很多系统调用语义其实正是在组织这种生命周期秩序。 |
读完这页后，你应该能回答
- 为什么 Linux 内核视角里的进程和线程差别更像“共享关系差别”？
- 真正被调度的到底是什么？
- 为什么任务模型是理解调度和系统调用的基础前提？
后面适合继续问：线程共享了哪些关键资源？任务状态切换与调度器是什么关系？fork/clone 这种创建方式在概念上分别意味着什么？