讲师中心 微信公众号
AI工具推荐 视频效率加速

Go 语言中 runtime 调度器的 P 状态机转换

老磊酱_5869

老磊酱_5869

发布时间:2026-05-12 21:39:20

|

797人浏览过

|

来源于php中文网

原创

P 的五种状态是 _Pidle、_Prunning、_Psyscall、_Pgcstop、_Pdead;其中 _Pidle→_Prunning 由 acquirep() 触发,_Prunning→_Psyscall 在阻塞系统调用时解绑 P,_Psyscall→_Pidle 在系统调用返回后归还 P,_Pgcstop 在 STW 期间由 stopTheWorldWithSema() 设置并在 startTheWorldWithSema() 中清除,_Pdead 为终止态。

什么是 P 的五种状态,以及它们在调度循环中如何流转

go 调度器里的 p(processor)不是 cpu 核心,而是一个逻辑执行上下文,它持有可运行的 g 队列、本地内存缓存、syscall 状态等资源。它的状态机只有 5 种:_pidle、_prunning、_psyscall、_pgcstop、_pdead。其中前三种是活跃态,后两种是过渡或终止态。

关键在于:状态转换不是由用户控制,而是由 schedule()、exitsyscallfast()、stopTheWorldWithSema() 等内部函数在特定时机触发的。比如:

  • _Pidle → _Prunning:当一个空闲 P 被 handoffp() 或 acquirep() 分配给刚唤醒的 M 时发生
  • _Prunning → _Psyscall:当 G 发起阻塞系统调用(如 read()),且未启用 netpoll 优化时,当前 P 会解绑并进入该状态
  • _Psyscall → _Pidle:系统调用返回后,若原 M 无法立即重获 P(例如被抢占或休眠),则 P 被放回全局空闲队列

为什么 _Psyscall 不等于 “正在执行系统调用”,而是一种解绑标记

这是最容易误解的一点:_Psyscall 状态本身不表示 P 还在干活,恰恰相反——它表示这个 P 已经和当前 M 解绑,且该 M 正在阻塞于系统调用中。此时 P 的所有权已释放,可能被其他 M 复用。

典型场景是 net.Conn.Read() 在 Linux 上触发 epoll_wait 时,如果使用了 runtime_pollWait() + netpoll,就根本不会进入 _Psyscall;但如果是 os.Open() 后直接 Read() 普通文件,则大概率走传统阻塞路径,触发 P 解绑。

验证方式:在 src/runtime/proc.go 中搜索 casgstatus(gp, _Grunning, _Gsyscall) 和 handoffp() 的调用链,就能看到状态切换的实际位置。

GC 停顿期间的 _Pgcstop 是怎么被设置和清除的

_Pgcstop 是 STW(Stop-The-World)阶段的临时状态,只在 GC 的 mark termination 阶段出现。它不是由某个 G 主动触发,而是由 stopTheWorldWithSema() 统一广播给所有正在运行的 P。

使用Go语言搭建家庭相册系统-相关课件
使用Go语言搭建家庭相册系统-相关课件

使用Go语言搭建家庭相册系统-相关课件

下载

每个 P 在下一次进入调度循环(即执行 scheduler() 前)时,会检查 gcstoptheworld == 2,然后将自身状态设为 _Pgcstop 并暂停执行新 G。注意:_Pgcstop 下的 P 仍持有其本地队列,但不会从中取 G,也不会响应 work stealing。

  • 清除时机:GC 完成 mark termination 后,startTheWorldWithSema() 会逐个唤醒 P,将其状态从 _Pgcstop 切回 _Pidle 或 _Prunning
  • 风险点:如果你在 GC 期间手动调用 runtime.GC() 并紧跟着做大量分配,可能观察到短时间大量 P 卡在 _Pgcstop —— 这不是 bug,是预期行为

调试 P 状态时,pprof 和 debug.ReadGCStats 都看不到状态机信息

Go 标准工具链没有暴露 P 状态的实时视图。go tool trace 可以看到 P 的绑定/解绑事件(如 “ProcStatusChange”),但不会显示具体状态值;runtime.ReadMemStats() 和 debug.ReadGCStats() 完全不涉及状态字段。

真正能查到当前所有 P 状态的方式只有两种:

  • 在调试器中读内存:dlv attach <pid> → print runtime.allp → 遍历每个 P 的 status 字段
  • 加日志编译:修改 src/runtime/proc.go 中 pprofLabel 或 scheduler() 开头,用 printf 输出 p.status(需重新 build go 工具链)

别指望靠 GODEBUG=schedtrace=1000 看到状态码——它只打印计数器和队列长度,P 的状态字段始终被隐藏。

热门AI工具

更多
PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

墨刀AI
墨刀AI Hot

一款AI图像与设计工具,主要用于产品经理的专属智能体,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

Loomy
Loomy Hot

一款AI工具,主要用于科大讯飞发布的桌面级 AI 助理,比 OpenClaw 更易用、更安全!,适合需要提升相关任务效率的用户。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

更多
Golang 入门学习路线:从零基础到上手开发
Golang 入门学习路线:从零基础到上手开发

Golang 入门路线涵盖从零到上手的核心路径:首先打牢基础语法与切片等底层机制;随后攻克 Go 的灵魂——接口设计与 Goroutine 并发模型;接着通过 Gin 框架与 GORM 深入 Web 开发实战;最后在微服务与云原生工具开发中进阶,旨在培养具备高性能并发处理能力的后端工程师。

206

2026.02.24

Golang 疑难杂症解决指南:常见问题排查与优化
Golang 疑难杂症解决指南:常见问题排查与优化

《Golang 疑难杂症解决指南》聚焦开发过程中常见却棘手的问题,从并发模型、内存管理、性能瓶颈到工程化实践逐步拆解。通过真实案例与调试思路,帮助开发者定位问题根因,建立系统化排查方法。不只给出答案,更强调分析路径与工具使用,让你在复杂 Go 项目中具备持续解决问题的能力。

113

2026.02.24

Golang 运行与部署实战:从本地到云端
Golang 运行与部署实战:从本地到云端

《Golang 运行与部署实战》围绕 Go 应用从开发完成到稳定上线的完整流程展开,系统讲解编译构建、环境配置、日志与配置管理、容器化部署以及常见运维问题处理。结合真实项目场景,拆解自动化构建与持续部署思路,帮助开发者建立可靠的发布流程,提升服务稳定性与可维护性。

637

2026.02.24

Golang 面试题精选:高频问题与解答
Golang 面试题精选:高频问题与解答

Golang 面试题精选》系统整理企业常见 Go 技术面试问题,覆盖语言基础、并发模型、内存与调度机制、网络编程、工程实践与性能优化等核心知识点。每道题不仅给出答案,还拆解背后的设计原理与考察思路,帮助读者建立完整知识结构,在面试与实际开发中都能更从容应对复杂问题。

198

2026.02.24

Golang 性能优化专题:提升应用效率
Golang 性能优化专题:提升应用效率

《Golang 性能优化专题》聚焦 Go 应用在高并发与大规模服务中的性能问题,从 profiling、内存分配、Goroutine 调度、GC 机制到 I/O 与锁竞争逐层分析。结合真实案例讲解定位瓶颈的方法与优化策略,帮助开发者建立系统化性能调优思维,在保证代码可维护性的同时显著提升服务吞吐与稳定性。

457

2026.02.24

Golang 生态工具与框架:扩展开发能力
Golang 生态工具与框架:扩展开发能力

《Golang 生态工具与框架》系统梳理 Go 语言在实际工程中的主流工具链与框架选型思路,涵盖 Web 框架、RPC 通信、依赖管理、测试工具、代码生成与项目结构设计等内容。通过真实项目场景解析不同工具的适用边界与组合方式,帮助开发者构建高效、可维护的 Go 工程体系,并提升团队协作与交付效率。

188

2026.02.24

Golang 并发编程专题:掌握多核时代的核心技能
Golang 并发编程专题:掌握多核时代的核心技能

《Golang 并发编程专题:掌握多核时代的核心技能》系统讲解 Go 在并发领域的设计哲学与实践方法,深入剖析 goroutine、channel、调度模型与并发安全机制,结合真实场景与性能思维,帮助开发者构建高吞吐、低延迟、可扩展的并发程序,全面提升多核时代的工程能力。

544

2026.02.26

Golang Web 开发路线:构建高效后端服务
Golang Web 开发路线:构建高效后端服务

《Golang Web 开发路线:构建高效后端服务》围绕 Go 在后端领域的工程实践,系统讲解 Web 框架选型、路由设计、中间件机制、数据库访问与接口规范,结合高并发与可维护性思维,逐步构建稳定、高性能、易扩展的后端服务体系,帮助开发者形成完整的 Go Web 架构能力。

225

2026.02.26

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

100

2026.09.30

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn