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

Golang 中 sync.Map 在脏数据转只读数据时的锁竞争分析

夏萱吖_8915

夏萱吖_8915

发布时间:2026-05-11 17:51:19

|

300人浏览过

|

来源于php中文网

原创

是,提升 dirty 时必须执行 mu.Lock(),因为 dirtyPromote 涉及遍历非并发安全的 dirty map、构造新 readOnly、更新 read、清空 dirty 和重置 misses 等多步耦合操作,必须由 mutex 保证原子性与一致性。

sync.Map 提升 dirty 时会触发 mu.Lock() 吗

会,而且是必须的。提升 dirty 到 read 的操作(即 misses 达到阈值后执行的 dirtypromote)全程在 mu 保护下进行,包括清空 dirty、重置 misses、将 dirty 赋值给 read。

这个锁不是“可选优化”,而是数据一致性强制要求:必须确保 dirty 复制到 read 的过程不被并发写入干扰,否则可能漏掉新 key 或重复迁移已删除 entry。

  • dirty 非 nil 时,所有新增 key 都直接写入 dirty;若提升过程中有并发写入,dirty 可能边复制边被修改
  • amended 字段依赖 read 和 dirty 的状态同步,竞态下会导致后续写入误判为“仅需更新 read”而跳过 dirty
  • 提升后 dirty 被置为 nil,下一次写入需重建 —— 这个切换点必须原子

为什么 dirtyPromote 不用 atomic 而用 mutex

atomic.Value 只能安全替换整个只读结构(如 readOnly),但 dirtyPromote 涉及多个动作耦合:遍历 dirty、过滤已删除 entry、构造新 readOnly、更新 read、清空 dirty、重置 misses。这些无法用单次 CAS 完成。

尤其注意:遍历 dirty 本身不是原子操作,其 map 是普通 Go map,必须加锁防止迭代中被并发修改(Go map 并发读写 panic)。

  • read 是 atomic.Value,所以赋新值可用 Store(),但前提是新值已构造完毕
  • dirty 是普通 map,没有并发安全保证,任何读/写都必须持 mu
  • 即使想用 atomic.Pointer(Go 1.19+),也无法绕过遍历过程中的锁 —— 因为 map 底层 hash table 结构不可并发迭代

misses 阈值触发提升的真实竞争场景

典型高写低读场景下,misses 累积很快,但提升并非“每 N 次未命中就立刻执行”,而是由**下一个需要访问 dirty 的 goroutine 触发**。这意味着:

Golang Spf13 Viper
Golang Spf13 Viper

Go 配置库,使用 spf13/viper — 分层优先级(flag > env >file > KV > default),提供 BindPFlag/BindPFlags、SetEnvPrefix + SetEnvKeyReplace 等功能。

下载

立即学习“go语言免费学习笔记(深入)”;

  • 多个 goroutine 同时发现 misses >= len(dirty),都会尝试进入 mu.Lock(),但只有一个能成功执行提升,其余阻塞或重试
  • 提升完成后,新 read 立即生效,后续读操作全部走无锁路径 —— 所以锁持有时间虽短,却是性能拐点
  • 如果 dirty 很大(比如 10w+ key),遍历过滤耗时明显,此时 mu 持有时间变长,其他写操作排队等待,表现为写吞吐骤降

这不是设计缺陷,而是空间换时间的显性代价:你省掉了日常读的锁,但把锁成本集中到了脏数据“结算”时刻。

如何避免提升时的锁争用尖峰

没有银弹,但可缓解。核心思路是减少 dirty 规模和提升频次:

  • 尽量让热 key 早进 read:首次写入后尽快触发一次读(哪怕 dummy read),避免它长期滞留 dirty
  • 避免高频写入唯一 key:比如用 Store("counter", x) 频繁更新计数器,这会让该 key 始终在 dirty 中,且每次写都增加 misses
  • 不要手动清空 sync.Map:调用 Range + Delete 会大量写入 dirty,触发密集提升;真要清空,直接新建 sync.Map{}
  • 监控 misses 增长速率:可通过反射或封装 wrapper 记录,若发现 misses 在几秒内暴涨,说明 read 命中率崩了,该检查 key 分布或读写比例

真正容易被忽略的是:提升不是定时任务,它完全由读操作“被动驱动”。一个长期无人读的 sync.Map,哪怕写了上万次,dirty 也永远不会提升 —— 直到第一个 Load 落空并撞上阈值。

热门AI工具

更多
火山引擎

火山引擎是一款面向企业的云计算与AI服务平台。

豆包大模型

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

音述AI
音述AI Hot

一款AI音频处理工具,主要用于音述AI是一个以“用声音述说故事”为核心的 AI 音乐创作与声音分享社区,适合需要提升相关任务效率的用户。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

墨刀AI
墨刀AI Hot

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

Loomy
Loomy Hot

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

DeepSeek

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

WorkBuddy

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

UpDream
UpDream Hot

一款AI视频创作工具,主要用于哔哩哔哩推出的自研AI视频创作工具,适合需要提升相关任务效率的用户。

相关专题

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

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

2889

2023.06.20

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

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

2208

2023.07.25

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

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

1180

2023.08.02

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

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

1118

2023.08.09

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

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

1316

2023.09.05

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

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

2038

2023.09.20

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

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

3200

2023.09.20

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

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

14215

2023.09.22

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

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

80

2026.09.30

热门下载

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

精品课程

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

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