线程概念
- 线程是进程内的一个执行分支,线程的执行粒度要比进程更细。
Linux 中理解线程

地址空间是进程的资源窗口!
在 Linux 中创建一个进程时会创建新的 task_struct、进程地址空间、页表且在物理内存中重新开辟资源等;而如果创建一个进程时,仅仅只创建进程 task_struct,不创建进程地址空间、页表,也不在物理内存中重新开辟空间,这种进程只需要指向同一个进程地址空间以及页表,这种形式的进程称为线程。

Linux 实现方案:
- 在 Linux 中,线程在进程'内部'执行,即线程在进程的进程地址空间内运行。
- 在 Linux 中,线程的执行粒度比进程更细,也就是线程执行进程代码的一部分。
问题:线程为什么要在进程的进程地址空间内运行?
【解释】任何执行流要执行,都要有资源,进程地址空间是进程的资源窗口。
重新定义线程与进程
对于 CPU 而言,只有调度执行流的概念,只需要了解 task_struct 即可,将 task_struct 放入 CPU 运行队列中运行即可。
问题:什么是线程?
【解释】我们认为,线程是操作系统调度的基本单位。
问题:什么是进程?
【解释】将一大堆执行流(task_struct)、进程地址空间、页表以及在物理内存中申请的资源被称之为进程。内核观点:进程是承担分配系统资源的基本实体。
【注意】执行流(task_struct)也是资源。
- 进程与线程的关系:进程内部包含线程,进程是分配系统资源的基本实体,而线程是进程的执行流资源。
问题:如何理解以前没有线程时的进程?
【解释】操作系统以进程为单位来分配资源,只不过当前的进程只有一个执行流。换而言之,只存在一个执行流的进程是进程的特殊情况,而存在多个执行流的进程是进程的正常情况。
操作系统需要管理线程——先描述再组织
Windows 系统:(struct tcb {} // Thread Control Block),线程与进程单独创建 struct 数据结构,并将线程与进程联系起来。Linux 系统:线程复用进程的数据结构,二者使用同一个 struct 数据结构,用进程模拟线程。所以 Linux 系统中,没有真正意义上的线程,而是用'进程'的数据结构模拟线程。
Linux 中的执行流,是一个轻量级进程(在 CPU 中,线程 <= 执行流 <= 进程)。
重谈进程地址空间
问题:虚拟地址是如何转换到物理地址的?
以 32 位虚拟地址为例,32 位会转换成 10 + 10 + 12 来储存页表。







