面试官：谈谈 Go GMP 中的 hand off 机制

最新推荐文章于 2025-05-14 20:22:23 发布

木川AI编程

最新推荐文章于 2025-05-14 20:22:23 发布

阅读量1.2k

点赞数 1

CC 4.0 BY-SA版权

文章标签： golang java 开发语言后端

本文链接：https://blog.youkuaiyun.com/caspar_notes/article/details/133874949

大家好，我是木川

一、什么是 hand off

Go语言的 hand off 机制和 work steaing 机制一样，也是一种用于调度协程（Goroutines）的策略，有助于充分利用多核 CPU，提高并发性能，减少线程空转，从而使 Go 程序更高效地运行

hand off 机制也称为 P 分离机制，核心思想是当线程 M 因为 G 进行的系统调用阻塞时，线程释放绑定的 P，把 P 转移给其他空闲的 M 执行

二、分离流程

当 M 执行的 G 发生阻塞操作或者发生了系统调用，M 就会阻塞，如果当前绑定的P还有要执行的 G, Go runtime 会把这个 P 从 M 摘除，M 进入阻塞（对应下图中的M1），P 分离给其它空闲 M 调度（对应下图中的M2）

当 M 系统调用（或阻塞）结束时，这个 G 会尝试获取一个空闲的 P 执行，并放入到这个 P 的本地队列，如果获取不到 P，那么这个 G 加入到全局 G 里，这个 M 会加入到空闲线程列表中，重新可以进入调度循环

最后给自己的原创 Go 面试小册打个广告，如果你从事 Go 相关开发，欢迎扫码购买，目前 10 元买断，加下面的微信发送支付截图额外赠送一份自己录制的 Go 面试题讲解视频

如果对你有帮助，帮我点一下在看或转发，欢迎关注我的公众号

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

木川AI编程

关注关注

1
点赞
踩
2

收藏

觉得还不错? 一键收藏
2
评论
分享

复制链接

分享到 QQ

分享到新浪微博

扫一扫
举报

举报

Golang面试题三（互斥锁）

qq_22321199的专栏

04-15

2075

sync.Once是一种用于确保一段代码在整个程序生命周期中仅被执行一次的同步工具。通过封装待执行的代码为一个回调函数，并通过调用，可以确保即使在并发环境下，该回调函数也能安全、高效地仅被执行一次。sync.Once常用于实现单例模式、延迟初始化、一次性设置全局状态等场景数据结构m Mutex原子操作（Atomic Operation）是指在计算机科学中，一个操作在执行过程中不会被其他操作（包括来自其他线程、进程或处理器核心的干扰）中断，能够以不可分割的单位从开始到结束完整地执行完毕。

Golang面试题五（Goroutine）

qq_22321199的专栏

04-16

1520

定义： Goroutine 是 Go 语言运行时系统（Runtime）管理的用户级线程（User-Level Thread），是一种可以在单个进程中并发执行的执行单元。每个 Goroutine 代表了一个独立的函数调用，可以在程序中并行地执行任务，而无需操作系统层面的线程（OS Thread）支持。关键特性轻量级：相较于操作系统原生线程，Goroutine 的创建、销毁和上下文切换（Context Switching）成本极低，使得开发者可以轻松地在程序中创建大量并发任务，实现高并发处理。协程。

2 条评论您还未登录，请先登录后发表或查看评论

Linux中的 mutex [一] ——handoff 机制

http://lotte-bai.github.io/

03-15

2106

mutex可视作是 spinlock 的可睡眠版本，同样是线程无法继续向前执行，但 spinlock 是"spin"，导致该 CPU 上无法发生线程切换，而 mutex 是"block"（我们通常翻译成「阻塞」），可以发生线程切换，让所在 CPU 上的其他线程继续执行。阻塞既可以发生在线程试图获取 mutex 时，也可以发生在线程持有 mutex 时。现在的 mutex 机制，要从这几方面纬度理解： optimistic spin 机制 osq lock 机制（MCS 锁机制，前面的文章有说） hand

网络语言系列&go系列【仅供参考】：Go hand off 机制

weixin_54626591的博客

05-14

893

Go hand off 机制

sheji888的专栏

01-01

496

Go语言的hand off机制是一种用于调度协程（Goroutines）的策略，该机制有助于充分利用多核CPU，提高并发性能，减少线程空转，从而使Go程序更高效地运行。

Golang GMP调度模型详解

爱意时刻减淡，玫瑰不再浪漫

05-02

4294

文章目录前言1. Goroutine调度器的基本概念2. Goruntine调度策略2.1 work stealing机制2.2 hand off 机制前言线程数过多，意味着操作系统会不断地切换线程，频繁的上下文切换就成了性能瓶颈。 Golang的调度模型是GMP模型，它提供一种机制，可以在线程中自己实现调度，上下文切换更轻量，从而达到了线程数少，而并发数并不少的效果。而线程中调度的就

Handoff使用指南 - 理论篇

cleven

08-29

1915

Handoff简介 Handoff是iOS 8 和 OS X v10.10中引入的功能，可以让同一个用户在多台设备间传递项目。In iOS 9 and OS X v10.11 支持了Spotlight中搜索并打开应用。 Handoff交互： 1.在你的app中为每一个活动创建一个user activity 对象 2.定期使用用户的信息更新user activity对

面试题集锦: golang

浅弋、璃鱼的博客

08-28

1286

Golang基础、并发、runtime

Go语言面试题

wang的博客

05-17

7678

1.Go有哪些数据类型 2.方法与函数的区别在Go语言中，函数和方法不太一样，有明确的概念区分；函数是指不属于任何结构体、类型的方法，也就是说函数是没有接收者的；而方法是有接收者的。 3.方法值接收者和指针接收者的区别如果方法的接收者是指针类型，无论调用者是对象还是对象指针，修改的都是对象本身，会影响调用者；如果方法的接收者是值类型，无论调用者是对象还是对象指针，修改的都是对象的副本，不影响调用者； 4.函数返回局部变量的指针是否安全一般来说，局部变量会在函数返回后被销毁，因此被返回的引用就成为了

golang面试题大全

海哥python的博客

01-18

7343

一个 Goroutine 是一个函数或方法执行同时旁边其他任何够程采用了特殊的Goroutine 线程。Goroutine 线程比标准线程更轻量级，大多数 Golang 程序同时使用数千个 Goroutine。要创建 Goroutine，请 go 在函数声明之前添加关键字。您可以通过向 Goroutine 发送一个信号通道来停止它。Goroutines 只能在被告知检查时响应信号，因此您需要在逻辑位置（例如 for 循环顶部）包含检查。

【2022版】Golang面试题目全网超全超详细的口语化解答总结

一年之内毫无半点成绩，想起来做人真是没趣。

06-10

9793

GO语言面试题目总结，站在巨人的肩膀上吧，也有自己的分析。有相关的题目。

Go语言协程的原理，协程与线程的关系！（很重要）

m0_70208894的博客

11-12

781

了解关于Go语言中协程的底层原理，以及协程与线程的区别、联系。协程与线程使怎么搭配使用的。 Go语言中的协程是怎么实行起来的。GPM调度。

go handoff机制

十年+游戏后端

01-12

501

Hand - off 机制的背景和目的在 Go 语言的并发模型中，当一个 Goroutine（G）发生阻塞（例如等待 I/O 操作、等待通道通信等）时，为了不浪费 CPU 资源，Go 运行时采用了 Hand - off 机制。这个机制的主要目的是让执行当前 Goroutine 的线程（M）能够快速地将执行权转交给其他可运行的 Goroutine，从而提高系统的并发效率。 Hand - off 机制的触发场景 I/O 阻塞场景：当一个 Goroutine 执行 I/O 操

golang 源码分析03 GoRoutine 下

郭传志的博客

05-13

313

继续看下核心方法handoff

Golang调度器的设计策略

Tony10010的博客

05-13

259

1 复用线程 work stealing 线程偷取其他P的G hand off 机制当前M的G阻塞的时候，切换P到其他的M继续执行 2 利用并行限定P的个数，每个P的本地队列最多有256个G CPU核心数/2 3 抢占每个G最多运行10ms 超过10ms抢占模式 4 全局G队列全局G队列获取时加锁解锁 ...

GMP模型

JaweG

09-24

4104

GMP

handoff 流程

nugunaga的博客

02-10

589

1.main 读applicationxml配置文件到context中 2.context 生成一个handoff_generator_template类，这个类构造时指定需要使用什么hand_off_generator for haijie, it's the class 3.通过刚才创建的DDEBgPbstFileAckGen对象中的getCommandLineParams()创建并返回...

Linux内核并发与同步机制解读（arm64）下

内核工匠

01-05

1644

上章内容请点击Linux内核并发与同步机制解读（arm64）上概述从浅到深，逐步分析各种同步机制的功能。5.读写信号量-rw_semaphore5.1原理介绍rw_semaphore的乐观自旋、handoff机制与mutex的对应机制代码实现略微不同，但是这些机制的思想是完全一样的，因此本章不再赘述乐观自旋、handoff的基本原理，如有需要，请阅读mutex章节。下面仍然通过问答的形...

go面试题-Go Runtime

m0_62396648的博客

04-20

285

go面试题-Go Runtime Go Runtime 1. goroutine定义 golang在语言级别支持协程，称之为goroutine; golang标准库提供的所有系统调用操作（包括所有同步I/O操作）都会让出CPU给其它goroutine, 这让goroutine的切换管理不依赖于系统的线程和进程，也不依赖于CPU的核心数量而是交给Golang的运行时统一调度 2. GMP指的是什么 * G（goroutine)，我们所说的协程，用户级的轻量级线程，每个goroutine对象

Golang中GMP模型的stealing机制

最新发布

07-06

<think>我们正在讨论Golang的GMP模型中的工作窃取机制。根据引用[3]，当某个P的本地队列为空且全局队列也没有G时，它会尝试从其他P的本地队列中偷取一半的G。具体来说，偷取者会从其他P的本地队列尾部取一半的G，放到自己的本地队列中执行。另外，引用[4]展示了P的结构体，其中包含一个本地运行队列（runq）以及队列的头尾指针。引用[5]则说明了G（goroutine）的各种状态。因此，我们可以详细解释工作窃取机制如下： 1. 当某个P（假设为P2）完成了自己本地队列中的所有G，并且全局队列中也没有G时，它会开始工作窃取。 2. 它会随机选择一个其他的P（比如P1），然后从P1的本地队列尾部偷取一半的G。例如，如果P1的本地队列中有N个G，那么偷取的数量为(N/2)向上取整（实际上代码实现中会偷取一半，但具体细节可能更复杂）。 3. 偷取来的G会被放入P2的本地队列中，然后P2就可以开始执行这些G。这样做的好处是平衡各个P之间的负载，避免某些P空闲而其他P过载。下面我们结合引用内容详细说明：引用[3]提到：“全局队列已经没有G，那m就要执行work stealing(偷取)：从其他有G的P哪里偷取一半G过来，放到自己的P本地队列。P2从P1的本地队列尾部取一半的G，本例中一半则只有1个G8，放到P2的本地队列并执行。” 引用[4]中P的结构体有一个固定大小的循环队列（runq）来存储G，大小为256。另外还有一个runnext字段，用于存放下一个要执行的G（高优先级）。工作窃取机制在源码中的实现位于`runtime/proc.go`文件中的`stealWork`函数。但具体细节我们不必深究，只需理解其原理。总结工作窃取步骤： - 步骤1：P检查自己的本地队列，为空则检查全局队列（需要加锁），全局队列也为空则开始工作窃取。 - 步骤2：随机选择一个P，尝试从其本地队列中偷取一半的G（从队列尾部偷取，这样不会影响该P正在执行的G，因为通常P从队列头部取G执行）。 - 步骤3：如果偷取成功，则将偷来的G放入自己的本地队列，然后开始执行。 - 步骤4：如果偷取失败（其他P的队列也空），则继续随机选择另一个P，直到尝试过所有P（最多尝试四次）。注意：工作窃取可以避免全局队列的锁竞争，因为每个P的本地队列操作不需要全局锁（除了偷取时需要锁住被偷的P的队列）。此外，引用[2]提到：“p 是 gmp 的中枢，借由 p 承上启下，实现 g 和 m 之间的动态有机结合”。工作窃取正是由P来协调的，M（线程）通过绑定的P来获取G。下面我们尝试用伪代码描述工作窃取的大致逻辑（非真实代码，仅示意）： ```go // 当P本地队列为空时，尝试获取G func findRunnable() (gp *g) { // 检查本地队列、全局队列等 // ... if 全局队列为空 { // 尝试工作窃取 for i := 0; i < 4; i++ { // 最多尝试4次 // 随机选择一个P p2 := randomP() // 从p2的本地队列尾部偷取一半的G half := (len(p2.runq) + 1) / 2 // 向上取整 if half > 0 { // 偷取half个G gs := p2.stealFromTail(half) // 将偷来的G放入自己的本地队列 thisP.enqueue(gs) // 取出一个G执行 return thisP.dequeue() } } } // 如果还是没偷到，则进入休眠等 // ... } ``` 实际源码中，偷取操作会考虑队列的平衡，避免一次性偷取过多导致被偷P的负载突然下降。最后，工作窃取机制是许多并发调度系统中常见的负载均衡策略，在Go的GMP模型中，它帮助多个P之间平衡G的执行任务，从而更充分地利用多核CPU资源。</think>### Golang GMP模型中的工作窃取机制详解在Go语言的GMP调度模型中，**工作窃取（Work Stealing）** 是实现负载均衡的核心机制。当某个处理器（P）的本地任务队列为空时，它会从其他繁忙的P中"窃取"一部分Goroutine（G）来执行，从而最大化CPU利用率。以下是详细解析： #### 1. **触发条件** - 当P的本地队列为空（`runq`为空且`runnext`为nil） - 全局队列也没有待执行的G - 此时P会进入工作窃取状态[^3] #### 2. **窃取流程** ```mermaid graph LR A[P空闲] --> B{检查全局队列} B -- 为空 --> C[随机选择目标P] C --> D[从目标P本地队列尾部窃取] D --> E{窃取数量?} E -- 成功 --> F[取目标队列一半G] E -- 失败 --> C F --> G[放入窃取者本地队列] ``` 具体步骤： 1. **随机选择目标P**：从其他活跃P中随机选择一个 2. **尾部窃取**：从目标P本地队列**尾部**取走一半G（例如目标队列有8个G，则窃取4个）[^3] 3. **负载均衡**：优先窃取队列较长的P，避免频繁打扰短队列 4. **失败重试**：最多尝试`4`次随机选择（源码中`stealWork`函数的`max steal tries`） #### 3. **关键设计特点** - **尾部窃取优势**： - 减少锁竞争：目标P通常从队列**头部**取G执行，尾部操作冲突小 - 保持缓存局部性：被窃取的G通常是新创建的，执行状态更完整[^4] - **原子操作**：通过`runqhead/runqtail`的CAS操作避免全局锁[^4] - **窃取量计算**：`n = min(len(targetQ)/2, len(targetQ)-1)` 确保留至少1个G给目标P #### 4. **源码实现要点** - **窃取入口**：`runtime.schedule() → runtime.findrunnable() → runtime.stealWork()` - **队列操作**（参考P结构体[^4]）： ```go type p struct { runqhead uint32 // 环形队列头指针 runqtail uint32 // 环形队列尾指针 runq [256]guintptr // 固定大小本地队列 runnext guintptr // 高优先级插队G } ``` - **窃取算法**： ```go // 伪代码简化 func stealWork(nowP) { for i := 0; i < 4; i++ { // 最多尝试4次 targetP := randomP() n := targetP.runqCount() / 2 // 计算窃取量 if n > 0 { gs := targetP.popTail(n) // 原子操作取尾部G nowP.push(gs) // 加入窃取者队列 return } } } ``` #### 5. **性能影响** - **优点**： - 减少线程阻塞：避免M（线程）因无任务而休眠 - 提升并行度：快速平衡各P间负载，尤其适合任务量不均衡的场景 - **限制**： - 全局队列优先级低：只有当所有P本地队列为空时才检查全局队列 - 窃取开销：随机选择目标P可能命中空队列（通过重试机制缓解） #### 6. **设计哲学** 工作窃取机制完美体现了GMP模型的调度原则：**"当本地资源不足时，协作式地获取外部资源，而非被动等待"**。通过P作为中介（如引用[2]所述："P是GMP的中枢"），实现了G与M的动态解耦，使G能跨M执行[^2]。

面试官：谈谈 Go GMP 中 的 hand off 机制

一、什么是 hand off

二、分离流程

面试官：谈谈 Go GMP 中的 hand off 机制