smallyu的博客
·
Go 语言 GMP 调度器的原理是什么
💡
原文中文，约8700字，阅读约需21分钟。
📝
内容提要
Go语言的GMP调度器通过协程(G)、线程(M)和处理器(P)的组合实现任务调度。G的数量由协程决定，M是系统线程，P通常等于CPU核心数。调度器确保只有获得P的M才能执行G，并在M阻塞时让出P。调度过程包括本地和全局队列管理，支持抢占式调度和工作窃取，旨在简化并发编程，减轻开发者负担。
🎯
关键要点
- Go语言的GMP调度器通过协程(G)、线程(M)和处理器(P)的组合实现任务调度。
- G的数量由协程决定，M是系统线程，P通常等于CPU核心数。
- 调度器确保只有获得P的M才能执行G，并在M阻塞时让出P。
- 调度过程包括本地和全局队列管理，支持抢占式调度和工作窃取。
- GMP调度器旨在简化并发编程，减轻开发者负担。
- GMP的三个不变量：只有拿到P的M才能执行任务，可运行的G只会在某个P的本地runq或全局队列，M进入阻塞状态时会及时让出P。
- 调试日志可以帮助理解GMP的运行状态和调度过程。
- 抢占式调度允许多个G在同一时间片内交替执行。
- 工作窃取机制允许P从其他P的队列中获取任务以提高并行度。
- P的本地runq队列和全局队列用于管理任务的分配。
- 阻塞的syscall会及时让出P，确保其他G的执行不受影响。
- 关闭异步抢占会导致程序在死循环中卡住，体现了GMP主动让出CPU的特点。
- Go语言的设计旨在减轻程序员的负担，不应过于关注调度器的实现细节。
❓
延伸问答
Go语言的GMP调度器是如何工作的？
GMP调度器通过协程(G)、线程(M)和处理器(P)的组合实现任务调度，确保只有获得P的M才能执行G，并在M阻塞时让出P。
GMP调度器中的G、M和P分别代表什么？
G代表协程，M代表系统线程，P代表处理器，通常等于CPU核心数。
GMP调度器如何处理阻塞的syscall？
当M进入阻塞状态时，GMP调度器会及时让出P，确保其他G的执行不受影响。
什么是工作窃取机制，它在GMP调度器中如何运作？
工作窃取机制允许P从其他P的队列中获取任务，以提高并行度，首先从本地runq队列找，再到全局队列找。
GMP调度器如何实现抢占式调度？
GMP调度器允许多个G在同一时间片内交替执行，即使设置了单个P，调度器仍会定期释放时间片。
关闭异步抢占会有什么后果？
关闭异步抢占会导致程序在死循环中卡住，体现了GMP主动让出CPU的特点。
➡️
