Go 语言中 runtime 工作线程 M 的休眠与唤醒信号(sysmon)

老磊小哥_8528

老磊小哥_8528

2026-05-12

1078人浏览

原创

sysmon是Go运行时中不依赖P、独立运行于M上的后台监控协程,负责轮询检查网络事件、抢占长时间运行的G、触发GC及回收空闲P等,但不直接唤醒M——它仅通过notewakeup等机制通知调度器,由OS系统调用最终完成唤醒。

go 语言中 runtime 工作线程 m 的休眠与唤醒信号(sysmon)

sysmon 是什么,它真能“唤醒 M”吗

不能。sysmon 本身不负责唤醒工作线程(M),它只是操作系统级的监控协程,运行在独立的系统线程上,定期轮询检查全局状态(比如长时间未调度的 G、网络轮询器超时、垃圾回收时机等)。它触发的是调度器层面的干预动作,比如调用 notewakeup(&m.park) 或向某个 note 发送信号,但真正让 M 从休眠中恢复执行的,是底层的 futex(Linux)或 WaitForMultipleObjects(Windows)等系统调用返回 —— 而这依赖于 M 当初是用什么机制休眠的。

常见误解是把 sysmon 当成“M 的闹钟”,其实它更像一个“巡检员”,发现异常后通知调度器,再由调度器决定是否需要唤醒某个 M(例如:有新 G 就绪、netpoll 有事件、或者 M 被挂起太久需强制抢断)。

M 休眠时到底在等什么

Go 运行时中,M 进入休眠主要有两类场景,等待对象完全不同:

  • 空闲 M 等待新 G:调用 notesleep(&m.park),底层阻塞在 futex(wait) 上,等待其他 goroutine(如 scheduler 或 sysmon)调用 notewakeup(&m.park)
  • 执行阻塞系统调用的 M(如 read、accept):此时 M 已脱离 Go 调度器管理,直接交由 OS 调度;它不通过 note 休眠,而是被 OS 挂起,唤醒完全由系统调用返回触发

注意:sysmon 只会对第一类(parked M)做主动干预(比如检测到 M 空闲超 10ms 就尝试唤醒一个来检查是否有积压 G),对第二类它基本不插手 —— 那是 netpoller 和 entersyscall/exitsyscall 机制的事。

为什么有时 M 唤醒后立刻又 park 了

这是调度器负载均衡和空闲 M 回收策略导致的典型现象,不是 bug。关键点在于:

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

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

下载
  • sysmon 唤醒 parked M 后,该 M 会立即进入 scheduler() 主循环,尝试从全局队列或 P 的本地队列偷取 G
  • 如果此时没有可运行的 G(队列为空、GC 正在暂停调度、或所有 G 都在 syscall 中),M 会再次调用 notesleep(&m.park) 进入休眠
  • Go 默认限制最大空闲 M 数量(由 runtime.GOMAXPROCS 和活跃 P 数动态影响),多余的 parked M 可能被 sysmon 定期清理(调用 dropm() 归还 OS 线程)

所以你看到“唤醒 → 检查 → 再 park”,往往说明当前确实没活干。这不是信号失效,而是调度器在精准节制资源。

调试 parked M 和 sysmon 行为的实用方法

想确认 M 是否被 sysmon 干预过,或排查唤醒延迟问题,别只看 pprof,要结合运行时 trace 和日志:

  • 启动时加 GODEBUG=schedtrace=1000:每秒打印调度器摘要,观察 Midle(空闲 M 数)、Mspinning(自旋中 M 数)变化节奏
  • 用 go tool trace 查看 Proc Status 视图,找 M 状态从 Idle → Running → Idle 的完整周期,比对时间戳与 sysmon 活动标记
  • 注意 runtime_pollWait 类阻塞调用不会走 note 机制,它们的“唤醒”实际由 netpoll 通过 epoll_wait 返回驱动,和 sysmon 无关 —— 别误以为 sysmon 慢就等于网络 I/O 延迟高

真正容易被忽略的是:M 的 park/unpark 不是原子操作,中间可能穿插 GC STW、抢占点检查、甚至其他 M 的并发修改。看单次 trace 很难定位,得抓一段时间窗口里的模式。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

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

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

2026.02.24

226

7

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

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

2026.02.24

133

7

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

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

2026.02.24

677

10

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

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

2026.02.24

238

7

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

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

2026.02.24

497

7

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

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

2026.02.24

208

7

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

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

2026.02.26

584

7

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

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

2026.02.26

245

7

Golang 实际项目案例:从需求到上线
Golang 实际项目案例:从需求到上线

《Golang 实际项目案例:从需求到上线》以真实业务场景为主线,完整覆盖需求分析、架构设计、模块拆分、编码实现、性能优化与部署上线全过程,强调工程规范与实践决策,帮助开发者打通从技术实现到系统交付的关键路径,提升独立完成 Go 项目的综合能力。

2026.02.26

62

7

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程