面试官：请问协程、线程和进程有什么区别？
面试回答
“简单来说，进程、线程和协程是操作系统和程序中不同级别的执行单元，它们的主要区别在于资源开销和调度方式。
首先，进程是操作系统分配资源的最小单位。每个进程都有自己独立的内存空间，所以进程间相互隔离，非常安全，但缺点是创建、销毁和切换的开销非常大。
其次，线程是操作系统调度的最小单位。一个进程里可以有多个线程，它们共享进程的内存空间。因为不需要切换内存地址空间，线程的切换开销比进程小很多，但依然需要陷入内核态，由操作系统来调度。
最后，协程是用户态的轻量级线程。它的调度完全由用户态的运行时（Runtime）来控制，不需要操作系统的介入。协程的创建和切换开销极小，通常只需要几 KB 的内存，而且切换只涉及少量寄存器的保存和恢复。比如在 Go 语言中，我们可以轻松创建成千上万个 Goroutine 来处理高并发，而不会像线程那样耗尽系统资源。”
系统讲解
核心对比
| 特性 | 进程 (Process) | 线程 (Thread) | 协程 (Coroutine) |
|---|---|---|---|
| 定义 | 资源分配的最小单位 | CPU 调度的最小单位 | 用户态的轻量级线程 |
| 内存空间 | 相互独立，拥有独立的虚拟地址空间 | 共享所属进程的内存空间 | 共享所属线程/进程的内存空间 |
| 调度者 | 操作系统内核 | 操作系统内核 | 用户态运行时 (Runtime) |
| 切换开销 | 极大（涉及页表切换、上下文保存等） | 较大（需陷入内核态，保存寄存器状态） | 极小（纯用户态切换，仅保存少量上下文） |
| 创建开销 | 极大 | 较大（通常需要 MB 级别的栈空间） | 极小（通常仅需几 KB 的栈空间） |
| 并发能力 | 低 | 中等（受限于系统资源，通常几千个） | 极高（可轻松达到百万级别） |
详细解析
1. 进程 (Process)
进程是程序在操作系统中的一次执行过程。当你运行一个程序时，操作系统会为其创建一个进程，并分配独立的内存空间（包括代码段、数据段、堆、栈等）和系统资源（如文件描述符）。
- 优点：隔离性好，一个进程崩溃不会直接影响其他进程。
- 缺点：开销大。进程间的通信（IPC，如管道、消息队列、共享内存）相对复杂且耗时。
2. 线程 (Thread)
线程是进程内的一个执行流。一个进程至少包含一个主线程，也可以创建多个子线程。同个进程内的所有线程共享该进程的地址空间和资源。
- 优点：相比进程，创建和切换的开销更小；线程间通信非常方便（直接读写共享内存）。
- 缺点：由于共享内存，容易引发数据竞争（Data Race），需要使用锁等同步机制，增加了编程复杂度；一个线程崩溃可能导致整个进程崩溃。
3. 协程 (Coroutine)
协程是一种比线程更加轻量级的存在，它不是由操作系统内核管理的，而是由程序内部的库或运行时（Runtime）在用户态进行调度。
- 优点：
- 极低的开销：协程的栈空间可以动态伸缩（如 Go 的 Goroutine 初始仅 2KB），而线程通常是固定的（如 2MB）。
- 极快的切换：协程切换不需要陷入内核态，没有特权级切换和系统调用开销，仅需保存和恢复极少量的 CPU 寄存器。
- 缺点：协程本身无法利用多核 CPU（除非结合多线程模型，如 Go 的 GMP 模型）；如果一个协程执行了阻塞的系统调用，可能会阻塞底层的线程。
亮点与深度
上下文切换的本质差异
为什么协程切换比线程切换快那么多？
- 特权模式切换：线程切换需要从用户态切换到内核态，再从内核态切换回用户态，这个过程本身就有开销。协程完全在用户态执行，没有这个开销。
- 保存的上下文数量：线程切换需要保存和恢复大量的寄存器状态、程序计数器等，并且可能导致 CPU 缓存（Cache）和 TLB（Translation Lookaside Buffer）失效。协程切换只需要保存极少量的寄存器（如 PC、SP 等），对缓存极其友好。
Go 语言中的 Goroutine
在 Go 语言中，协程被称为 Goroutine。Go 的运行时实现了一个非常高效的 GMP 调度模型：
- G (Goroutine)：代表一个协程，包含其栈和状态。
- M (Machine)：代表一个操作系统的内核线程。
- P (Processor)：代表逻辑处理器，包含了运行 Goroutine 所需的资源和本地队列。
GMP 模型巧妙地解决了协程无法利用多核以及阻塞问题。当一个 Goroutine 发生系统调用阻塞时，Go 运行时会将该 M 与 P 解绑，并让 P 寻找另一个空闲的 M 来执行队列中的其他 Goroutine，从而最大化利用 CPU 资源。