多线程和多进程的区别

多线程与多进程的区别——面试必备全方位解析

在面试中，**“多线程和多进程的区别”**往往是考官最关心的热点。要想从容应对，需要从 CPU 调度、上下文切换、数据共享、多核 CPU 利用率、资源占用等多个维度进行系统化阐述，并且能够准确指出哪些资源是线程私有的（尤其是寄存器）。下面的内容在原文的基础上，补充了背景知识、常见的误区以及实战中的注意点，帮助你形成完整的答案框架。

1. CPU 调度与上下文切换

进程是操作系统资源分配的最小单位。每个进程拥有独立的虚拟地址空间、文件描述符表、进程控制块（PCB）等。调度时，内核会把 CPU 时间片分配给进程的 PCB，进行一次完整的上下文切换（包括页表、内核栈、寄存器等全部状态）。
线程是进程内部的执行单元，线程之间共享进程的地址空间和大部分资源。调度时，内核只需要切换线程的上下文（TCB），主要涉及寄存器、程序计数器（PC）以及少量的内核栈信息。相较于进程切换，线程切换的开销更小，通常在 数十微秒 级别，而进程切换可能达到 数百微秒。

面试要点：说明线程切换比进程切换更轻量，原因在于共享了进程的地址空间和大多数资源，只有少量私有状态需要保存/恢复。

2. 数据共享与资源占用

共享范围
- 同一进程的 不同线程 共享 全局区、堆、文件描述符、信号处理表 等资源。
- 私有资源 主要包括 栈（每个线程都有独立的调用栈） 与 寄存器。
多进程 则在 虚拟地址空间 上相互隔离，除非显式使用 共享内存、管道、消息队列 等 IPC 机制，否则无法直接访问对方的内存。

原文摘录

“属于同一进程的不同线程会共享进程内存空间中的全局区和堆，而私有的线程空间则主要包括栈和寄存器。因此，对于同一进程的不同线程来说，每个线程的局部变量都是私有的，而全局变量、局部静态变量、分配于堆的变量都是共享的。在对这些共享变量进行访问时，如果要保证线程安全，则必须通过加锁的方式。”

3. 多核 CPU 利用率

多线程：在多核 CPU 上，若线程数 ≥ 核心数，调度器可以把不同线程分配到不同核心，实现 真正的并行。但如果线程之间频繁争抢共享资源（如锁、缓存线），会导致 伪共享，降低整体吞吐。
多进程：同样可以利用多核，只是每个进程拥有独立的地址空间，系统在分配物理内存时会产生更多的页表项，导致 内存占用 更高。

实战建议：在 CPU 密集型任务（如图像处理、机器学习推理）中，优先考虑 多进程+共享内存 或 多线程+锁分离 的组合，以兼顾并行度和资源利用率。

4. 线程私有的东西——必须记住的细节

面试常会追问：“哪些东西是线程私有的？”
答案必须包括 寄存器，因为寄存器保存了当前执行流的指令指针、栈指针、通用寄存器等状态。若忽略寄存器，面试官会认为答案不完整。

原文提示

“哪些东西是一个线程私有的？答案中必须包含寄存器，否则悲催”

5. 可重入（Reentrant） vs 线程安全

5.1 可重入的概念

原文定义

“概念基本没有比较正式的完整解释，但是它比线程安全要求更严格。根据经验，所谓‘重入’，常见的情况是，程序执行到某个函数 foo() 时，收到信号，于是暂停目前正在执行的函数，转到信号处理函数，而这个信号处理函数的执行过程中，又恰恰也会进入到刚刚执行的函数 foo()，这样便发生了所谓的重入。此时如果 foo() 能够正确的运行，而且处理完成后，之前暂停的 foo() 也能够正确运行，则说明它是可重入的。”

要点：可重入函数必须在任何时刻都能安全地被中断并重新进入，而不依赖于任何 静态或全局状态。

5.2 线程安全的条件

原文阐述

“要确保函数线程安全，主要需要考虑的是线程之间的共享变量。属于同一进程的不同线程会共享进程内存空间中的全局区和堆，而私有的线程空间则主要包括栈和寄存器。因此，对于同一进程的不同线程来说，每个线程的局部变量都是私有的，而全局变量、局部静态变量、分配于堆的变量都是共享的。在对这些共享变量进行访问时，如果要保证线程安全，则必须通过加锁的方式。”

区别：

线程安全：只要对共享资源加锁或使用原子操作，即可在多线程环境下安全运行。
可重入：不能使用任何 不可重入 的资源（包括锁、全局变量），否则在被信号打断后再次进入时会产生死锁或数据错误。

5.3 可重入的判断条件

原文列举

不在函数内部使用静态或全局数据

不返回静态或全局数据，所有数据都由函数的调用者提供。

使用本地数据，或者通过制作全局数据的本地拷贝来保护全局数据。

不调用不可重入函数。

实战技巧：在编写库函数时，尽量让所有输入/输出都通过参数传递，内部只使用栈上局部变量；如果必须访问全局状态，使用 线程局部存储（TLS） 或者 原子操作 来避免竞争。

6. 线程的堆栈与堆的细节

原文说明

“是的，生成子线程后，它会获取一部分该进程的堆栈空间，作为其名义上的独立的私有空间。（为何是名义上的呢？)由于，这些线程属于同一个进程，其他线程只要获取了你私有堆栈上某些数据的指针，其他线程便可以自由访问你的名义上的私有空间上的数据变量。（注：而多进程是不可以的，因为不同的进程，相同的虚拟地址，基本不可能映射到相同的物理地址）”

6.1 线程栈的分配

当调用 pthread_create（POSIX）或 CreateThread（Windows）时，系统会为新线程分配 独立的栈空间（默认 1~8 MB，具体大小可通过属性结构体调节）。这块栈在逻辑上属于该线程，但仍位于同一进程的虚拟地址空间内。
因此 “名义上的私有空间” 指的是：虽然每个线程拥有独立的栈指针，但其他线程仍然可以通过 指针泄露（如把栈地址传递给全局变量）访问该栈中的数据。

6.2 堆的共享特性

堆是 进程级别 的内存区域，所有线程通过 malloc/new 获得的块都在同一堆上。若不加锁，多个线程对同一块堆内存的并发读写会产生竞争。
常见做法：使用 线程安全的分配器（如 jemalloc、tcmalloc）或在业务层面自行实现 对象池，降低锁竞争。

7. 资源占用的对比

项目	多线程	多进程
地址空间	共享（同一虚拟地址空间）	独立（每个进程拥有独立的虚拟地址空间）
上下文切换开销	低（仅寄存器、少量内核栈）	高（页表、完整 PCB）
资源占用	线程栈 + 共享堆（总体占用较小）	每进程独立的堆、栈、页表等（占用更大）
数据共享	天然（全局/堆）	需要显式 IPC（共享内存、管道等）
崩溃影响	单线程错误可能导致整个进程失效	一个进程崩溃不影响其他进程（更高可靠性）
编程复杂度	需要关注同步、死锁、可重入	需要关注进程间通信、资源复制成本

8. 常见面试陷阱与补充答案

“线程安全一定是可重入吗？”
- 不是。线程安全可以通过锁实现，而锁本身不可重入（除非使用递归锁），因此线程安全函数不一定可重入。
“进程间共享内存是否算共享资源？”
- 是的，但它是显式的共享方式，需要额外的同步机制（如信号量）来保证一致性。
“CPU 利用率高不代表系统好？”
- 高利用率可能是 CPU 饱和，导致响应变慢。合理的负载均衡和适当的 线程/进程数 调整更重要。

9. 小结

CPU 调度：线程切换轻量，进程切换重；多核利用率取决于调度策略和资源争用。
共享与私有：全局区、堆是共享；栈、寄存器是线程私有。
线程安全 vs 可重入：线程安全关注共享变量的同步，使用锁；可重入要求函数在任何中断后都能重新进入，不能依赖任何全局/静态状态。
资源占用：多线程更节省内存和上下文切换成本，但同步错误风险更高；多进程隔离性好，适合需要高可靠性的场景。

掌握以上要点，你就能在面试中从 CPU 调度、上下文切换、数据共享、多核利用率、资源占用 等多个维度，系统而精准地阐述多线程和多进程的区别，并且能够自如回答“线程私有的东西有哪些？”这类深度追问。祝你面试顺利！