Linux 线程概念-优快云博客

简单来说，在一个程序里，一个执行路线就叫做线程。更准确地讲，线程是 “一个进程内部的控制序列”。
一切进程至少都有一个执行线程，线程在进程内部运行，本质是在进程地址空间内运行。
在 Linux 系统中，从 CPU 的角度看，它看到的 PCB（进程控制块）比传统的进程更加轻量化。
透过进程虚拟地址空间，我们可以看到进程的大部分资源，而将这些资源合理分配给每个执行流，就形成了线程执行流。

2. 线程的独有资源

虽然共享大部分资源，但每个线程也有自己的"私人空间"：

线程ID：唯一身份标识
寄存器集合：保存当前执行上下文
独立栈空间：用于函数调用和局部变量
错误状态：errno变量记录最近错误
信号屏蔽：自定义哪些信号被阻塞
调度优先级：影响CPU时间分配

3. 进程与线程关系示意图

进程是资源分配的单位：独立王国，拥有领土（内存）、法律（页表）和军队（资源）。
线程是执行的单位：王国中的骑士团，共享国土但各自征战。
轻量级进程（LWP）：Linux的独特设计，用“小王国”模拟“骑士团”。

🌴线程的真相：共享资源的“轻量级员工”

如果创建新“进程”时只复制task_struct，并共享父进程的地址空间和页表，结果会怎样？
——这就是线程的诞生！

四个线程共享同一地址空间，就像同一部门的四个团队，共用办公室、打印机和文件柜。
每个线程有自己的task_struct（员工档案）、独立栈空间（个人工作台）和寄存器（当前任务进度）。

关键区别：

特性	进程	线程（轻量级进程）
资源分配	独立地址空间和页表	共享父进程地址空间和页表
创建成本	高（复制所有资源）	低（仅复制task_struct）
独立性	完全独立	共享大部分资源

🌴CPU眼中的世界：只认“执行流”

对CPU来说，调度单位是task_struct，无论它是进程还是线程：

单执行流进程：部门里只有一个员工（传统进程）。
多执行流进程：一个部门有多个团队协作（多线程进程）。

CPU不关心是进程还是线程，就像老板只关心任务是否完成，不关心是哪个团队做的。Linux将所有执行流视为轻量级进程，通过复用进程管理机制简化设计。

🌴为何Linux没有“真线程”？设计哲学的智慧

简化内核设计
Linux选择用进程模拟线程，避免为线程单独设计管理模块。想象一家公司如果同时管理部门和团队，需要两套制度，而Linux选择只管理“部门”，通过调整权限实现“团队”协作。
用户层封装
虽然内核没有线程系统调用，但用户可以通过pthread库创建线程。这就像公司提供“团队协作工具包”（pthread），让部门经理（程序员）轻松管理多个团队（线程），而无需修改公司制度（内核）。

二、线程的优缺点

2.1 线程的优点

1. 创建成本低

创建一个新线程的代价要比创建一个新进程小得多。就好比在工厂里，增加一个新的工作小组，比新建一个工厂要简单得多，不需要重新购置大量的设备和资源。

2. 切换速度快

与进程之间的切换相比，线程之间的切换需要操作系统做的工作要少很多。这是因为线程共享进程的很多资源，切换时不需要重新加载这些资源，就像同一个工厂里的不同小组切换任务时，不需要重新布置整个工厂的环境。

3. 资源占用少

线程占用的资源要比进程少很多，这样在系统资源有限的情况下，可以更高效地利用资源，运行更多的任务。

4. 充分利用多处理器

在多处理器系统中，线程能充分利用多处理器的可并行数量，让多个线程在不同的处理器上同时运行，大大提高计算效率。

5. 提高 I/O 操作效率

在等待慢速 I/O 操作结束的同时，程序可执行其他的计算任务。比如，在下载文件的同时，还可以进行其他操作，不会因为等待下载而让整个程序卡住。

6. 优化计算密集型应用

对于计算密集型应用，为了能在多处理器系统上运行，可以将计算分解到多个线程中实现，从而加快计算速度。

7. 提升 I/O 密集型应用性能

对于 I/O 密集型应用，为了提高性能，可以将 I/O 操作重叠。线程可以同时等待不同的 I/O 操作，让程序运行更加流畅。

2.2 线程的缺点

1. 性能损失风险

一个很少被外部事件阻塞的计算密集型线程往往无法与其它线程共享同一个处理器。如果计算密集型线程的数量比可用的处理器多，那么可能会有较大的性能损失。这里的性能损失指的是增加了额外的同步和调度开销，而可用的资源不变。

2. 健壮性降低

编写多线程程序需要更全面更深入的考虑。在一个多线程程序里，因时间分配上的细微偏差或者因共享了不该共享的变量而造成不良影响的可能性是很大的。换句话说，线程之间是缺乏保护的，一个线程的错误操作可能会影响到其他线程。

3. 缺乏访问控制

进程是访问控制的基本粒度，在一个线程中调用某些 OS 函数会对整个进程造成影响。这就意味着，在多线程程序中，需要更加小心地控制对系统资源的访问，避免出现意外的情况。

4. 编程难度提高

编写与调试一个多线程程序比单线程程序困难得多。多线程程序的逻辑更加复杂，需要考虑线程之间的同步、通信等问题，这对程序员的技术水平和经验要求更高。

三、线程的异常与用途

1. 线程异常

单个线程如果出现除零、野指针问题导致线程崩溃，进程也会随着崩溃。因为线程是进程的执行分支，线程出异常，就类似进程出异常，进而触发信号机制，终止进程。进程终止，该进程内的所有线程也就随即退出。所以在多线程程序中，需要特别注意异常处理，避免因为一个线程的问题导致整个程序崩溃。

2. 线程用途

合理的使用多线程，能提高 CPU 密集型程序的执行效率。比如在进行大规模数据计算、图像渲染等任务时，多线程可以让计算任务在多个处理器上并行执行，大大缩短计算时间。

同时，合理的使用多线程，能提高 I/O 密集型程序的用户体验。比如在生活中，我们一边写代码一边下载开发工具，这就是多线程运行的一种表现。在下载文件的同时，还可以继续进行其他操作，不会因为等待下载而让整个程序卡住，从而提高了用户的操作体验。

四、进程 VS 线程

1. 核心差异

进程是资源分配的基本单位，它拥有独立的内存空间、文件描述符等资源。
而线程是调度的基本单位，线程共享进程数据，但也拥有自己的一部分数据，如线程 ID、一组寄存器、栈、errno、信号屏蔽字、调度优先级等。

特征	进程	线程
资源分配	独立内存空间	共享进程内存
创建开销	高（复制地址空间）	低（仅需MB级资源）
通信方式	管道/共享内存等	直接共享全局变量
容错性	一个进程崩溃不影响其他	线程崩溃导致进程终止
上下文切换速度	慢（需切换地址空间）	快（仅寄存器切换）