面试题：Go的goroutine调度与传统线程调度有何不同

goroutine：
- 轻量级：创建和销毁开销极小。一个goroutine只需要大约2KB的栈空间，相比之下传统线程栈空间通常MB级别。且创建goroutine只需在堆上分配少量内存并初始化结构体，销毁时也只是回收少量资源。
- 协作式调度：goroutine由Go运行时（runtime）的调度器进行协作式调度。当一个goroutine执行到阻塞操作（如I/O、系统调用、channel操作等）或者主动调用runtime.Gosched()时，才会让出CPU，这种调度方式避免了频繁的上下文切换开销。
传统操作系统线程：
- 重量级：创建和销毁开销大。创建线程时，操作系统需要为其分配内核栈、线程控制块（TCB）等资源，销毁时也要进行一系列内核操作。
- 抢占式调度：操作系统线程由内核进行抢占式调度，调度时需要保存和恢复寄存器状态、切换内存映射等，上下文切换开销大，尤其在多线程高并发场景下，大量时间会消耗在上下文切换上。

goroutine：
- 栈空间动态伸缩：goroutine的栈空间在初始时很小（约2KB），随着需求动态增长和收缩。例如在递归调用深度增加时，栈空间会按需扩展，避免了静态分配大量栈空间造成的浪费。
- 共享资源：多个goroutine共享同一个地址空间，通过共享内存和channel进行通信，不需要像线程那样为每个线程单独分配大量的内存资源。
传统操作系统线程：
- 固定栈空间：每个线程通常有一个固定大小的栈空间（一般几MB），即使线程实际使用的栈空间远小于该值，也不能动态调整，导致内存浪费。
- 独立资源：每个线程有独立的地址空间、寄存器等资源，这使得线程间通信相对复杂，且占用大量系统资源，尤其在创建大量线程时，内存等资源消耗显著。

goroutine：
- 基于CSP（通信顺序进程）模型：主要通过channel进行通信，强调数据的流动和传递，避免了共享内存带来的复杂同步问题。例如，一个生产者goroutine可以通过channel将数据发送给消费者goroutine，这种方式简单直观且易于理解和维护。
- 易于编写高并发程序：开发者无需像传统线程编程那样手动管理锁、信号量等复杂的同步机制，降低了编写并发程序的难度，提高了代码的可读性和可维护性。
传统操作系统线程：
- 基于共享内存模型：线程间通过共享内存进行通信，需要使用锁、信号量、互斥量等同步机制来保证数据的一致性和避免竞态条件。但这些同步机制使用不当容易导致死锁、数据竞争等问题，使得编写和调试并发程序变得困难。
- 编程复杂度高：编写传统线程并发程序需要开发者对同步机制有深入理解，且要仔细考虑各种可能的并发场景，增加了编程的难度和出错的概率。

goroutine：
- 高度可伸缩：由于其轻量级特性和协作式调度机制，在高并发场景下表现出色。可以轻松创建数以万计甚至更多的goroutine，而不会像传统线程那样因为资源耗尽或上下文切换开销过大而导致系统性能下降。
- 调度器优化：Go运行时的调度器采用M:N调度模型（M个goroutine映射到N个操作系统线程上），通过工作窃取算法等优化手段，有效提高了CPU利用率，进一步增强了可伸缩性。例如，当某个线程上的goroutine执行完毕或处于阻塞状态时，调度器可以将其他线程上的任务窃取过来执行，充分利用CPU资源。
传统操作系统线程：
- 可伸缩性受限：创建大量线程会导致系统资源（如内存、文件描述符等）耗尽，且上下文切换开销随线程数量增加而急剧上升，使得系统性能在达到一定线程数后迅速下降。
- 内核调度局限：内核的线程调度策略主要针对通用场景设计，在高并发场景下，无法像Go运行时调度器那样针对goroutine进行细粒度的优化，从而限制了可伸缩性。

星途面试题库