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并执行。
与操作系统线程的交互
虽然goroutine在用户态调度，但最终执行必须通过操作系统线程。当某个goroutine进行系统调用阻塞时，对应的M也会被阻塞。
为了不影响其他goroutine执行，Go调度器会：
将P与当前阻塞的M解绑 为该P分配一个新的M继续执行队列中的其他goroutine
这样即使有系统调用阻塞，也不会导致整个P上的任务停滞。
抢占式调度
早期Go版本使用协作式调度，长时间运行的goroutine可能饿死其他任务。从Go 1.14开始，Go引入基于信号的抢占式调度。
当某个goroutine运行时间过长，运行时会通过异步信号中断M，触发调度器重新调度，确保公平性。
基本上就这些。goroutine由Go运行时调度，复用少量操作系统线程，实现高并发。你不需手动管理线程，但了解其机制有助于避免常见问题，比如大量阻塞操作影响调度效率。
以上就是Golanggoroutine调度与操作系统线程关系的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1411959.html
微信扫一扫 
支付宝扫一扫 
