Go语言通过M:N调度模型将大量goroutine映射到少量操作系统线程上，由运行时自动调度。1. goroutine是轻量级协程，初始栈仅2KB，可动态伸缩；2. 调度器包含P（逻辑处理器）、M（操作系统线程）和G（goroutine），M绑定P后执行G；3. 当G阻塞系统调用时，P与M解绑并启用新M，避免阻塞其他goroutine；4. 自Go 1.14起采用基于信号的抢占式调度，防止长时间运行的goroutine饿死其他任务。该机制实现高效并发，开发者无需手动管理线程，但需避免大量阻塞操作影响调度性能。

Go语言的routine是的核心，它比线程更轻量，但最终仍需依赖操作系统线程来执行。理解goroutine调度与操作系统线程的关系，有助于写出高效、可扩展的并发程序。

goroutine是什么？

goroutine是Go运行时管理的轻量级线程。启动一个goroutine只需在函数调用前加上go关键字，开销极小，初始空间仅2KB左右，可动态伸缩。

与操作系统线程相比，创建和销毁goroutine的成本低得多，因此一个Go程序可以轻松启动成千上万个goroutine。

M:N调度模型

Go采用M:N调度模型，即M个goroutine映射到N个操作系统线程上。Go运行时负责将goroutine分配到操作系统线程上执行。

立即学习“”；

• M 表示goroutine数量
• N 表示绑定到内核的线程（称为M，hine）数量

这个调度由Go运行时内部的调度器完成，开发者无需直接干预。

调度器核心组件

Go调度器主要由以下几个部分组成：

• P（Processor）：逻辑，代表调度上下文。每个P维护一个本地goroutine队列，最多可同时有GOMAXPROCS个P（默认为CPU核心数）
• M（Machine）：操作系统线程，真正执行代码的实体。M必须绑定P才能运行goroutine
• G（Goroutine）：用户态的协程任务

三者关系是：M绑定P后，从P的本地队列或全局队列中获取G并执行。

百度小说旗下一站式AI创作与投稿平台。

146

与操作系统线程的交互

虽然goroutine在用户态调度，但最终执行必须通过操作系统线程。当某个goroutine进行系统调用阻塞时，对应的M也会被阻塞。

为了不影响其他goroutine执行，Go调度器会：

• 将P与当前阻塞的M解绑
• 为该P分配一个新的M继续执行队列中的其他goroutine

这样即使有系统调用阻塞，也不会导致整个P上的任务停滞。

抢占式调度

早期Go版本使用协作式调度，长时间运行的goroutine可能饿死其他任务。从Go 1.14开始，Go引入基于信号的抢占式调度。

当某个goroutine运行时间过长，运行时会通过异步信号中断M，触发调度器重新调度，确保公平性。

基本上就这些。goroutine由Go运行时调度，复用少量操作系统线程，实现高并发。你不需手动管理线程，但了解其机制有助于避免，比如大量阻塞操作影响调度效率。

以上就是Golangroutine调度与线程关系的详细内容，更多请关注php中文网其它相关文章！