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语言的goroutine是并发编程的核心，它比操作系统线程更轻量，但最终仍需依赖操作系统线程来执行。理解goroutine调度与操作系统线程的关系，有助于写出高效、可扩展的并发程序。
goroutine是什么？
goroutine是Go运行时管理的轻量级线程。启动一个goroutine只需在函数调用前加上go关键字，开销极小，初始栈空间仅2KB左右，可动态伸缩。
与操作系统线程相比，创建和销毁goroutine的成本低得多，因此一个Go程序可以轻松启动成千上万个goroutine。
M:N调度模型
Go采用M:N调度模型，即M个goroutine映射到N个操作系统线程上。Go运行时负责将goroutine分配到操作系统线程上执行。
立即学习“go语言免费学习笔记（深入）”；
- M 表示goroutine数量
- N 表示绑定到内核的线程（称为M，machine）数量
这个调度由Go运行时内部的调度器完成，开发者无需直接干预。
调度器核心组件
Go调度器主要由以下几个部分组成：
- P（Processor）：逻辑处理器，代表调度上下文。每个P维护一个本地goroutine队列，最多可同时有GOMAXPROCS个P（默认为CPU核心数）
- M（Machine）：操作系统线程，真正执行代码的实体。M必须绑定P才能运行goroutine
- G（Goroutine）：用户态的协程任务
三者关系是：M绑定P后，从P的本地队列或全局队列中获取G并执行。
时尚购物程序v1.01、全立体设计。此系统由3个Flash动画为主线（正式版带原文件），设计更形象，网站更有吸引力。这种设计在网店系统内绝无仅有，使您的网店与众不同。2、内置音乐播放器，简单灵活的操作即可完成设置，前台任意调用。并带详细说明文件，一看就懂。合理使用此功能，可使网站更富渲染力。3、支持多图显示，每件产品最多可以上传9张图片。4、后台功能强大，销售管理，财务管理，在线支付平台管理等功能
与操作系统线程的交互
虽然goroutine在用户态调度，但最终执行必须通过操作系统线程。当某个goroutine进行系统调用阻塞时，对应的M也会被阻塞。
为了不影响其他goroutine执行，Go调度器会：
- 将P与当前阻塞的M解绑
- 为该P分配一个新的M继续执行队列中的其他goroutine
这样即使有系统调用阻塞，也不会导致整个P上的任务停滞。
抢占式调度
早期Go版本使用协作式调度，长时间运行的goroutine可能饿死其他任务。从Go 1.14开始，Go引入基于信号的抢占式调度。
当某个goroutine运行时间过长，运行时会通过异步信号中断M，触发调度器重新调度，确保公平性。
基本上就这些。goroutine由Go运行时调度，复用少量操作系统线程，实现高并发。你不需手动管理线程，但了解其机制有助于避免常见问题，比如大量阻塞操作影响调度效率。
