Golang 的协程调度器采用了 M:N 的线程模型，即将 M 个 Goroutine 分配到 N 个系统线程上运行，从而实现了高并发和高效率的目标。在 Golang 中，Goroutine 是一种轻量级的线程，它只需要极少的内存，就可以启动成千上万个 Goroutine，而且切换 Goroutine 的开销非常小，因此可以实现高并发的应用程序。
Golang 的协程调度器主要由以下几个部分组成：
调度器: Golang 的调度器负责将 Goroutine 分配到系统线程上，并在系统线程之间进行调度，以实现高效的协程切换。
系统线程: Golang 的系统线程是由操作系统提供的，每个系统线程都可以运行多个 Goroutine，通过调度器的协作，实现高效的协程调度。
Goroutine: Golang 的 Goroutine 是轻量级的协程，它可以被分配到系统线程上运行，并可以在任意时刻进行切换。
Golang 的协程调度器使用了一个称为 G-P-M 模型的实现，其中：
G: Goroutine 的缩写，代表一个 Goroutine，保存 Goroutine 的执行状态，包括程序计数器、栈指针等信息。
P: Processor 的缩写，代表一个逻辑处理器，负责管理一组 Goroutine 队列和调度器状态，每个逻辑处理器对应一个系统线程。
M: Machine 的缩写，代表一个系统线程，负责执行 Goroutine，M 和 P 之间是一对一的关系。
当一个 Goroutine 启动时，它会被分配到一个逻辑处理器 P 上运行，如果这个 Goroutine 在运行时发生了阻塞，那么它会被从逻辑处理器 P 上移除，并且逻辑处理器 P 会去寻找其他可以运行的 Goroutine 来填补空缺。如果所有的 Goroutine 都在阻塞状态下，那么逻辑处理器 P 就会被阻塞，直到有新的 Goroutine 可以运行。这种方式可以有效地避免 Goroutine 的饥饿现象，保证每个 Goroutine 都能得到充分的调度。
总的来说，Golang 的协程调度器通过 M:N 的线程模型和 G-P-M 模型的实现，有效地实现了高效的协程调度和切换，从而实现了高并发和高效率的目标。
用户评论