Go语言GMP调度器的工作原理

Hey，技术宅们，今天来聊聊 Go 语言中那个神秘的 GMP 调度模型。👀

🔧 GMP 是什么？
在 Go 的世界里，GMP 是 Go 运行时调度模型的核心，分别代表 Goroutine、Machine 和 Processor。

🌀 Goroutine（G）
Goroutine 是 Go 语言中并发执行的最小单位，它比线程更轻量，由 Go 运行时管理。每个 Goroutine 都有自己的栈，但它们共享同一个进程的内存空间。

💻 Machine（M）
Machine 代表操作系统线程，是 Goroutine 执行的载体。M 的数量通常与 CPU 核心数有关，Go 运行时会尽量让每个核心都有一个 M 在运行。

🔄 Processor（P）
Processor 是 Go 调度器的中心，它负责将 Goroutine 分配给 M 执行。P 的数量通常由 GOMAXPROCS 环境变量决定，它决定了系统可以并行执行的最大 Goroutine 数量。

🔄 调度过程

1. 任务分配：P 从本地队列中获取 Goroutine 任务，分配给 M 执行。
2. 任务执行：M 执行 Goroutine，直到 Goroutine 阻塞或完成。
3. 任务回收：执行完毕的 Goroutine 会被回收，M 会从 P 的本地队列中获取下一个任务。

🔄 调度优化
Go 调度器通过工作窃取（work-stealing）技术优化任务分配，当一个 P 的本地队列任务较少时，它会从其他 P 的队列中 “偷” 任务来执行。

🚀 性能优势
这种模型让 Go 语言在并发处理上具有天然的优势，因为它可以有效地利用多核 CPU 资源，减少上下文切换的开销。

📚 总结
理解 GMP 模型，可以帮助我们更好地编写高效的并发程序。Go 的调度器虽然复杂，但它的设计哲学是 “让程序员从复杂的并发控制中解放出来”。

本作品采用《CC 协议》，转载必须注明作者和本文链接