协程与线程的区别
在并发编程中，**协程（Goroutine）和线程（Thread）**都是用于执行任务的基本单元，但它们在实现机制、资源消耗、调度方式等方面有显著的不同。以下是协程与线程的主要区别：
1. 创建和销毁的开销
- 线程（Thread）：
- 创建一个线程需要较大的开销，因为操作系统需要为每个线程分配独立的栈空间、线程控制块（TCB）等资源。
- 线程的启动、销毁、切换等操作需要操作系统进行调度，涉及到较复杂的上下文切换。
- 每个线程通常会有独立的堆栈，并且堆栈的大小较大（通常是几 MB）。
- 协程（Goroutine）：
- 协程是用户级别的轻量级线程，创建和销毁的开销比操作系统线程小得多。Go 语言中的协程的初始栈只有大约 2KB，而且栈是动态扩展的。
- 协程的调度由 Go 的运行时（runtime）管理，而不是由操作系统管理，因此它的上下文切换开销也比线程小。
- 因为每个协程的栈相对较小，能够同时创建成千上万个协程。
2. 调度和上下文切换
- 线程：
- 线程是由操作系统的内核调度器进行管理和调度的，内核需要进行上下文切换，涉及到保存和恢复寄存器、栈指针、程序计数器等信息。
- 上下文切换涉及操作系统内核和用户空间之间的切换，这会产生一定的开销，尤其是在高并发的场景下。
- 多线程的调度通常是由操作系统的调度算法决定的，具有较高的复杂度。
- 协程：
- 协程由用户空间的调度器（如 Go 的调度器）管理，调度器可以在协程切换时不涉及内核，因此不需要进行内核级的上下文切换。
- 协程的调度是协作式的，意味着协程主动让出 CPU，而不是被操作系统强制切换。也就是说，除非协程自己显式地阻塞或完成，否则调度器不会强制切换到其他协程。
- 协程的上下文切换非常高效，几乎是零开销，特别适合于大量并发任务的场景。
3. 内存占用
- 线程：
- 线程的栈空间较大（通常为 1MB 到 2MB），即使线程没有占用所有的栈空间，也需要为其保留一定的内存资源。
- 操作系统需要为每个线程维护自己的栈、堆和其他线程数据结构，这会增加内存消耗。
- 协程：
- 协程的栈非常小，Go 的默认栈大小只有 2KB，且栈可以动态增长或缩小。意味着即使启动成千上万个协程，内存占用也相对较低。
- 因为协程是由用户空间的调度器管理的，所以它们的内存管理更加灵活和高效。
4. 并发性与并行性
- 线程：
- 线程通常是由操作系统调度的，操作系统可以在多个 CPU 核心之间分配线程，从而实现并行性。
- 线程的数量通常受到操作系统的限制（如最大线程数），操作系统需要在多个线程之间进行调度，确保它们能够充分利用多个 CPU 核心。
- 协程：
- 协程提供的是并发性，协程的数量理论上可以非常庞大，Go 语言可以在几乎所有的机器上创建成千上万个协程而不会导致系统崩溃。
- 协程的执行通常是在一个或多个线程上进行的，通过 Go 的调度器来协调多个协程的执行。多个协程可以共享操作系统的线程，协程之间的并发执行在不同的线程上调度。
5. 阻塞与同步
- 线程：
- 如果一个线程在执行 I/O 操作或者其他阻塞任务时，线程会被阻塞，操作系统会把 CPU 分配给其他线程执行任务。
- 线程之间的同步通常使用锁（如互斥锁、条件变量）等机制，保证对共享资源的安全访问。
- 协程：
- 协程可以通过 channels 来进行通信和同步，不需要传统的锁机制。Go 提供的通信机制（通过 channels）可以很容易地在多个协程之间传递数据，同时避免传统线程编程中的死锁和竞争条件。
- 如果协程在执行阻塞任务（例如 I/O）时，它不会阻塞整个程序的执行，调度器会将执行任务的控制权交给其他协程。只有在协程主动阻塞或完成时，调度器才会进行切换。
6. 编程模型
- 线程：
- 线程通常需要复杂的同步机制来确保线程安全，如互斥锁、信号量等。
- 编程中需要显式地管理线程的生命周期、锁定和解锁操作，以及线程间的通信。
- 协程：
- 协程通常通过轻量级的通信机制（如 Go 语言中的
channels）来进行同步和数据交换，避免了传统多线程中的复杂同步问题。
- 协程的生命周期由 Go 的运行时（runtime）调度器管理，开发者可以通过
go 关键字启动协程，Go 运行时会自动处理调度和资源管理。
7. 适用场景
- 线程：
- 适用于需要进行多核并行计算的场景，如计算密集型任务。
- 当程序的任务需要充分利用多核 CPU 时，操作系统线程可以提供真正的并行计算。
- 协程：
- 适用于大量的并发任务，尤其是 I/O 密集型任务，如 Web 服务、数据库查询、网络请求等。
- Go 协程非常适合高并发任务的调度和执行，因为它们的开销较低，能够同时启动大量协程。
8. 调度器的管理方式
- 线程：
- 线程调度由操作系统内核管理，内核负责将线程映射到 CPU 上执行，并在多个线程之间进行切换。
- 操作系统线程的调度开销通常较大，尤其是在上下文切换时。
- 协程：
- 协程的调度由语言的运行时管理（如 Go 的调度器），调度通常是用户级别的，调度开销较小。
- Go 的调度器通过GMP 模型来调度协程，保证高效的并发执行。
总结
| 特性 | 线程（Thread） | 协程（Goroutine） |
|---|
| 创建开销 | 较大（操作系统分配资源） | 较小（用户空间管理） |
| 内存占用 | 较大（通常为 1MB-2MB） | 较小（2KB 起，动态增长） |
| 上下文切换开销 | 较高（操作系统内核级切换） | 较低（用户级调度） |
| 调度 | 操作系统调度，涉及内核级调度 | 运行时调度，不涉及操作系统调度 |
| 阻塞与同步 | 线程阻塞时需要操作系统调度其他线程执行 | 协程阻塞时，调度器会调度其他协程 |
| 适用场景 | 计算密集型任务（多核并行） | 高并发任务（I/O 密集型） |
在 Go 语言中，协程是并发编程的主要工具，具有较低的创建和上下文切换开销，特别适合大规模并发场景。相比之下，操作系统线程更适合计算密集型任务。
Life is like a journey