Go 语言中 sync.Mutex 的正常模式与饥饿模式

老磊小哥_8528

老磊小哥_8528

2026-05-12

878人浏览

原创

Go 的 sync.Mutex 饥饿模式由运行时自动触发,非手动配置;当 goroutine 在队列中等待 ≥1ms 时启用,此时禁用自旋、严格 FIFO 调度,Unlock() 直接交锁给队头;退出条件为队列仅剩最后一个等待者或其等待时间不足 1ms。

go 语言中 sync.mutex 的正常模式与饥饿模式

Go 的 sync.Mutex 不是“可选模式”的锁,它没有暴露 API 让你手动切到饥饿模式;它的两种行为是运行时自动切换的底层策略,不是配置项。你写代码时不需要、也不能显式启用或禁用饥饿模式——它只在锁竞争激烈且等待超时(≥1ms)时由 runtime 暗中触发。

为什么 Lock() 有时快有时慢,还出现顺序异常?

这是正常模式的典型表现:新来的 goroutine 会自旋抢锁,刚被唤醒的 goroutine 反而容易竞争失败,导致它重新排队甚至插到队头(因 state 更新和唤醒时机交错)。这不是 bug,而是设计取舍。

  • 自旋只发生在锁即将释放的极短时间内(通常 ≤4 次 CAS 尝试),CPU 利用率低但延迟敏感场景收益明显
  • 等待队列确实是 FIFO,但“唤醒后立刻拿到锁”不成立——它要和所有新调用 Lock() 的 goroutine 公平竞争
  • 如果你观察到某 goroutine 连续多次抢不到锁、等待时间不断累积,它大概率已在下一次 Unlock() 时触发饥饿模式切换

饥饿模式真能保证“先到先得”吗?

能,但仅限于已入队的 goroutine。饥饿模式一旦激活,Lock() 的行为就变了:不再自旋,不参与竞争,直接进等待队列尾部;而每次 Unlock() 都会把锁直接交给队头 goroutine,跳过所有新请求。

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

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

下载
  • 触发条件严格:必须有 goroutine 在队列中等待 ≥1ms(注意:是“在队列中等待”,不是从第一次调用 Lock() 开始计时)
  • 退出条件有两个满足其一即可:Unlock() 时发现当前持有锁的 goroutine 是队列里最后一个,或它本次等待时间
  • 饥饿模式下 tryLock() 总是返回 false,因为新请求一律不许插队

state 字段的 mutexStarving 位到底怎么用?

state 是 int32,其中第 2 位(bit 2)就是 mutexStarving。它不是开关,而是状态快照:runtime 在每次 Unlock() 前检查等待队列头 goroutine 的等待时长,若超阈值,就原子设置该位;下次加锁/解锁流程会据此分支处理。

  • 不要尝试用 atomic 手动修改它——这会破坏内部状态机,导致死锁或 panic
  • 调试时可通过 unsafe 读取 mu.state 观察该位是否为 1,但生产环境无意义
  • 该位清零时机很关键:不是“锁一释放就清”,而是等到队头 goroutine 成功获取并开始执行后,在它下一次 Unlock() 时才可能重置

真正影响性能的从来不是“模式叫什么”,而是你是否让一个 Lock() 持有锁的时间远超 1ms——比如在临界区做 HTTP 调用、磁盘 I/O 或复杂计算。这时候无论模式如何,都会推高尾延迟。饥饿模式只是兜底机制,不是性能优化手段。

相关文章

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

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

下载

相关标签:

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

相关专题

更多
C语言变量命名
C语言变量命名

c语言变量名规则是:1、变量名以英文字母开头;2、变量名中的字母是区分大小写的;3、变量名不能是关键字;4、变量名中不能包含空格、标点符号和类型说明符。php中文网还提供c语言变量的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

3669

3

c语言入门自学零基础
c语言入门自学零基础

C语言是当代人学习及生活中的必备基础知识,应用十分广泛,本专题为大家c语言入门自学零基础的相关文章,以及相关课程,感兴趣的朋友千万不要错过了。

2023.07.25

2448

9

c语言运算符的优先级顺序
c语言运算符的优先级顺序

c语言运算符的优先级顺序是括号运算符 > 一元运算符 > 算术运算符 > 移位运算符 > 关系运算符 > 位运算符 > 逻辑运算符 > 赋值运算符 > 逗号运算符。本专题为大家提供c语言运算符相关的各种文章、以及下载和课程。

2023.08.02

1400

5

c语言数据结构
c语言数据结构

数据结构是指将数据按照一定的方式组织和存储的方法。它是计算机科学中的重要概念,用来描述和解决实际问题中的数据组织和处理问题。数据结构可以分为线性结构和非线性结构。线性结构包括数组、链表、堆栈和队列等,而非线性结构包括树和图等。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.09

1338

4

c语言random函数用法
c语言random函数用法

c语言random函数用法:1、random.random,随机生成(0,1)之间的浮点数;2、random.randint,随机生成在范围之内的整数,两个参数分别表示上限和下限;3、random.randrange,在指定范围内,按指定基数递增的集合中获得一个随机数;4、random.choice,从序列中随机抽选一个数;5、random.shuffle,随机排序。

2023.09.05

1436

5

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2378

7

c语言get函数的用法
c语言get函数的用法

get函数是一个用于从输入流中获取字符的函数。可以从键盘、文件或其他输入设备中读取字符,并将其存储在指定的变量中。本文介绍了get函数的用法以及一些相关的注意事项。希望这篇文章能够帮助你更好地理解和使用get函数 。

2023.09.20

3920

8

c数组初始化的方法
c数组初始化的方法

c语言数组初始化的方法有直接赋值法、不完全初始化法、省略数组长度法和二维数组初始化法。详细介绍:1、直接赋值法,这种方法可以直接将数组的值进行初始化;2、不完全初始化法,。这种方法可以在一定程度上节省内存空间;3、省略数组长度法,这种方法可以让编译器自动计算数组的长度;4、二维数组初始化法等等。

2023.09.22

18575

6

c语言中null和NULL的区别
c语言中null和NULL的区别

c语言中null和NULL的区别是:null是C语言中的一个宏定义,通常用来表示一个空指针,可以用于初始化指针变量,或者在条件语句中判断指针是否为空;NULL是C语言中的一个预定义常量,通常用来表示一个空值,用于表示一个空的指针、空的指针数组或者空的结构体指针。

2023.09.22

549

3

热门下载

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

精品课程

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