Go 语言中 sync.Map 的 read 与 dirty 机制详解

老强吖_4231

老强吖_4231

2026-04-30

393人浏览

原创

sync.map 仅在读多写少且键生命周期长时高效,read通过atomic.pointer指向readonly结构实现无锁读,dirty在misses≥len(dirty)时提升为read,store先无锁后加锁,delete为逻辑删除,range遍历代价高。

go 语言中 sync.map 的 read 与 dirty 机制详解

sync.Map 不是通用并发 map,它的 read/dirty 分离只在“读多写少”且键生命周期长的场景下才真正高效;用错场景反而比加锁的 map 更慢、更占内存。

read 为什么能无锁读?靠的是 atomic.Pointer + readOnly 结构体

read 字段不是普通 map,而是一个 atomic.Pointer,指向一个 readOnly 结构体。这个结构体里包含两个东西:m(底层是 map[interface{}]*entry)和 amended(布尔值)。atomic.Pointer 保证了对整个 readOnly 的替换是原子的,所以读操作只需一次原子加载,拿到指针后直接查 m,全程不碰锁。

但要注意:entry.p 是 unsafe.Pointer,读取时需用 atomic.LoadPointer 判断状态——nil 表示已删,expunged 表示该 entry 已从 dirty 中物理移除,只有其他有效指针才代表可用值。

dirty 什么时候被提升为 read?由 misses 计数器触发

每次 Load 在 read.m 中没找到、转去查 dirty 时,misses 就加 1。当 misses >= len(dirty),就触发提升:把整个 dirty 赋给新的 readOnly.m,清空 dirty,重置 misses 为 0,并将 read.amended 设为 false。

这个阈值设计很关键:

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

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

下载
  • 太小 → 频繁提升,拷贝开销大,dirty 刚写几条就升,失去写缓冲意义
  • 太大 → read 长期 stale,大量读被迫进锁查 dirty,并发读性能崩塌
  • Go 当前实现就是用 len(dirty) 作阈值,不暴露可调接口,你没法改

Store 操作为什么有时无锁、有时要锁?取决于 entry 是否存在且未被 expunged

Store 第一步永远是查 read.m:

  • 如果 key 存在且 entry.p != expunged → 直接 atomic.StorePointer 更新值,无锁完成
  • 如果 key 不存在,或 entry.p == expunged → 必须加 mu 锁,进入 dirty 分支处理

加锁后还要双检 read(防止别的 goroutine 刚升完级),再决定是往 dirty 插新 entry,还是把 expunged 条目复活。这个“先试无锁、失败再锁”的路径,正是它读多时快的核心。

Delete 是假删除,真清理要等 dirty 提升

Delete 永远只动 read.m 里的 entry.p,把它设成 nil(标记逻辑删除),不会碰 dirty。只有当该 key 同时存在于 dirty 中时,才会在加锁后从 dirty 中真正删掉。

但更常见的情况是:key 只在 read 里,Delete 后它就一直挂着 nil,直到某次 dirty 提升为新 read 时,这些 nil entry 才被彻底过滤掉。这意味着:

  • 内存不会立刻释放,可能累积 stale 条目
  • Range 遍历时会跳过 nil 和 expunged,但遍历本身会强制触发一次提升,代价不小
  • 别指望 Delete 后立即减小内存占用

真正容易被忽略的是:sync.Map 的“高性能”完全绑定在 key 稳定、写入频次低、且几乎不遍历的前提下。一旦开始高频写、反复删、或者定期 Range,它的优势就迅速瓦解,甚至不如自己包一层 sync.RWMutex + map。

相关文章

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

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

下载

相关标签:

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

相关专题

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

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

2023.06.20

3369

3

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

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

2023.07.25

2368

9

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

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

2023.08.02

1300

5

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

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

2023.08.09

1258

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

1376

5

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

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

2023.09.20

2258

7

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

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

2023.09.20

3660

8

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

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

2023.09.22

16935

6

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

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

2023.09.22

549

3

热门下载

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

精品课程

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