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

解析Golang中的原子操作Swap与CAS Go语言实现自旋锁实战

梦磊同学_4609

梦磊同学_4609

发布时间:2026-03-06 13:12:10

|

557人浏览过

|

来源于php中文网

原创

Swap 是无条件覆盖,CAS 是有条件更新:仅当当前值等于预期旧值时才更新,因此 Swap 适用于直接切换状态,而 CAS 才是构建锁、计数器等无锁结构的基础。

解析golang中的原子操作swap与cas go语言实现自旋锁实战

Go 原子操作 Swap 和 CAS 的本质区别是什么

Swap 是无条件覆盖,CAS(CompareAndSwap)是有条件更新:只有当前值等于预期旧值时,才把值换成新值。这决定了它们的适用场景完全不同——Swap 适合“我不管现在啥样,直接换”,比如快速切换状态指针;CAS 才是构建锁、计数器、无锁队列的基石。

常见错误是拿 Swap 当 CAS 用,比如想“如果 flag 是 false 就设成 true”,结果用了 atomic.SwapUint32(&flag, 1),那就彻底绕过了条件检查,可能覆盖掉别人刚设的 true。

  • atomic.SwapUint32 返回的是**旧值**,不是操作是否成功
  • atomic.CompareAndSwapUint32 返回 bool,必须检查返回值,否则等于没做条件判断
  • 所有原子操作函数都要求变量地址对齐(unsafe.Alignof 检查),结构体字段若未对齐(比如 uint32 前面跟了个 byte),直接传地址会 panic

用 CompareAndSwap 实现一个最简自旋锁

自旋锁的核心就是“不断尝试 CAS,直到成功”。它不挂起 goroutine,适合临界区极短(纳秒到微秒级)、竞争不激烈的场景。别把它当通用锁用——一旦临界区稍长或竞争激烈,CPU 就空转浪费,还可能饿死其他 goroutine。

下面是最小可行实现:

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

Golang Spf13 Viper
Golang Spf13 Viper

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

下载
type SpinLock struct {
    state uint32 // 0 = unlocked, 1 = locked
}

func (l *SpinLock) Lock() {
    for !atomic.CompareAndSwapUint32(&l.state, 0, 1) {
        runtime.Gosched() // 主动让出 P,避免独占 CPU
    }
}

func (l *SpinLock) Unlock() {
    atomic.StoreUint32(&l.state, 0)
}
  • 必须用 runtime.Gosched(),否则在单 P 环境下会死循环,调度器没机会切走
  • Unlock 用 Store 而非 Swap 或 CAS,因为此时我们确定自己持有锁,不需要条件检查
  • 这个锁不支持重入,也不记录 owner,两次 Lock() 就卡死——这不是 bug,是设计选择

为什么不能直接用 Swap 实现自旋锁

有人试过:for atomic.SwapUint32(&l.state, 1) == 1 { },看起来像在等“换成功”,其实逻辑错了。因为 Swap 总会写入 1,无论原来是什么值——哪怕另一个 goroutine 刚释放锁(state=0),你一 Swap 就把它又设成 1,而那个刚释放的 goroutine 根本没机会执行后续代码。

更危险的是,如果多个 goroutine 同时 Swap,它们都拿到旧值 0 或 1,但谁也不知道自己是不是“第一个”抢到的,状态彻底失控。

  • Swap 不提供原子性“读-判-写”语义,只提供原子性“写-返旧值”
  • 自旋锁依赖的正是“读当前值 → 判是否为 0 → 是则写 1”这一整套不可分割的动作
  • 用 Swap 模拟 CAS 需要额外内存屏障和重试逻辑,得不偿失,标准库不这么干

实际用自旋锁前必须确认的三件事

Go 官方几乎不在标准库中用自旋锁(sync.Mutex 底层在争抢激烈时会休眠,而不是自旋),不是因为不会写,而是因为绝大多数场景不适合。

  • 临界区执行时间是否稳定且 int64 字段。超过 1μs 就该考虑互斥锁了
  • 锁的争用是否极低?比如每秒最多几次冲突。高并发 ID 生成器这类场景可以,HTTP handler 里千万别用
  • 你的程序是否运行在受限环境(如硬实时系统、协程密集型服务)?普通 Web 服务用 sync.Mutex 更稳

最容易被忽略的是:自旋锁会让 P 忙等,如果 GOMAXPROCS=1,一个自旋就能卡住整个调度器。这不是理论风险,是真实会发生的事。

热门AI工具

更多
切问学术

切问学术是一款AI论文写作工具,复旦大学NLP团队推出的AI学术智能体。

Lovart
Lovart Hot

一款面向视觉设计创作的AI设计平台,可通过智能体和画布工作流辅助制作海报、Logo、网页、PPT及其他视觉内容。

VibeKnow
VibeKnow Hot

一款AI视频创作工具,主要用于全球首个AI知识视频创作平台,文档、文章、网页,一键生成视频,适合需要提升相关任务效率的用户。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

PixPix
PixPix Hot

PixPix是一款面向电商视觉生产的AI商品图生成工具。

豆包大模型

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

DeepSeek

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

讯飞绘文

讯飞绘文是一款由科大讯飞推出的一站式 AIGC 内容运营平台。

WorkBuddy

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

相关专题

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

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

2909

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关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2058

2023.09.20

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

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

3220

2023.09.20

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

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

14315

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