浅谈Golang数据竞态
Golang小白一枚,正在不断学习积累知识,现将学习到的知识记录一下,也是将我的所得分享给大家!而今天这篇文章《浅谈Golang数据竞态》带大家来了解一下浅谈Golang数据竞态,希望对大家的知识积累有所帮助,从而弥补自己的不足,助力实战开发!
本文以一个简单事例的多种解决方案作为引子,用结构体Demo来总结各种并发读写的情况
一个数据竞态的case
package main import ( "fmt" "testing" "time" ) func Test(t *testing.T) { fmt.Print("getNum(): ") for i := 0; i
在case中,getNum先声明一个变量num
,之后在goRoutine中单读对num
进行设置,而此时程序也正从函数中返回num
, 因为不知道goRoutine是否完成了对num
的修改,所以会导致以下两种结果:
- goRoutine先完成对num的修改,最后返回5
- 变量num的值从函数返回,结果为默认值0
操作完成的顺序不同,导致最后的输出结果不同,这就是将其称为数据竟态的原因。
检查数据竞态
Go有内置的数据竞争检测器,可以使用它来查看潜在的数据竞争条件。使用它就像-race在普通的Go命令行工具中添加标志一样。
- 运行时检查: go run -race main.go
- 构建时检查: go build -race main.go
- 测试时检查: go test -race main.go
所有避免产生竞态背后的核心原则是防止对同一变量或内存位置同时进行读写访问
解决方案
1、WaitGroup等待
解决数据竞态的最直接方法是阻止读取访问操作直到写操作完成为止。
可以以最少的麻烦解决问题,但必须要保证Add和Done出现次数一致,否则会一致阻塞程序,无限制消耗内存,直至资源耗尽服务宕机
func getNumByWaitGroup() int { var num int var wg sync.WaitGroup wg.Add(1) // 表示有一个任务需要等待,等待任务数+1 go func() { num = 53 wg.Done() // 完成一个处于等待队列的任务,等待任务-1 // Done decrements the WaitGroup counter by one. // func (wg *WaitGroup) Done() { // wg.Add(-1) //} }() wg.Wait() // 阻塞等待,直到等待队列的任务数为0 return num }
2、Channel阻塞等待
与1相似
func getNumByChannel() int { var num int ch := make(chan struct{}) // 创建一个类型为结构体的channel,并初始化为空 go func() { num = 53 ch
3、Channel通道
获取结果后通过通道推送结果,与前两种方法不同,该方法不会进行任何阻塞。
相反,保留了阻塞调用代码的时机,因此它允许更高级别的功能决定自己的阻塞合并发机制,而不是将getXX功能视为同步功能
func getNumByChan()
4、互斥锁
上述三种方法解决的是num在写操作完成后才能读取的情况
不管读写顺序如何,只要求它们不能同时发生——> 互斥锁
// 首先,创建一个结构体,其中包含我们想要返回的值以及一个互斥实例 type NumLock struct { val int m sync.Mutex } func (num *NumLock) Get() int { // The `Lock` method of the mutex blocks if it is already locked // if not, then it blocks other calls until the `Unlock` method is called // Lock方法 // 调用结构体对象的Lock方法将会锁定该对象中的变量;如果没有,将会阻塞其他调用,直到该互斥对象的Unlock方法被调用 num.m.Lock() // 直到该方法返回,该实例对象才会被解锁 defer num.m.Unlock() // 返回安全类型的实例对象中的值 return num.val } func (num *NumLock) Set(val int) { // 类似于上面的getNum方法,锁定num对象直到写入“num.val”的值完成 num.m.Lock() defer num.m.Unlock() num.val = val } func getNumByLock() int { // 创建一个`NumLock`的示例 num := &NumLock{} // 使用“Set”和“Get”来代替常规的复制修改和读取值,这样就可以确保只有在写操作完成时我们才能进行阅读,反之亦然 go func() { num.Set(53) }() time.Sleep(500) return num.Get() }
这里要注意,我们无法保证最后取得的num值
当有多个写入和读取操作混合在一起时,使用Mutex互斥可以保证读写的值与预期结果一致
附上结果:
完整代码:
package main import ( "fmt" "strconv" "sync" "testing" "time" ) func Test(t *testing.T) { fmt.Print("getNum(): ") for i := 0; i 0; i-- { num.Set(i) ch
典型数据竞态
1、循环计数上的竞态
func main() { var wg sync.WaitGroup wg.Add(5) for i := 0; i
函数文字中的变量i与循环使用的变量相同,因此goroutine中的读取与循环增量竞争。
(此程序通常打印55555,而不是01234)
该程序可以通过复制变量来修复:
func main() { var wg sync.WaitGroup wg.Add(5) for i := 0; i
2、意外共享变量
func ParallelWrite(data []byte) chan error { res := make(chan error, 2) f1, err := os.Create("file1") if err != nil { res
修复方法是在goroutines中引入新变量(注意使用:=):
... _, err := f1.Write(data) ... _, err := f2.Write(data) ...
3、无保护的全局变量
如果从几个goroutine调用以下代码,则会导致service的map产生竞态。同一map的并发读写不安全:
var service map[string]net.Addr func RegisterService(name string, addr net.Addr) { service[name] = addr } func LookupService(name string) net.Addr { return service[name] }
To make the code safe, protect the accesses with a mutex
:
var ( service map[string]net.Addr serviceMu sync.Mutex ) func RegisterService(name string, addr net.Addr) { serviceMu.Lock() defer serviceMu.Unlock() service[name] = addr } func LookupService(name string) net.Addr { serviceMu.Lock() defer serviceMu.Unlock() return service[name] }
4、原始无保护变量
数据竞态也可以发生在原始类型的变量上(bool、int、int64等)
type Watchdog struct{ last int64 } func (w *Watchdog) KeepAlive() { w.last = time.Now().UnixNano() // First conflicting access. } func (w *Watchdog) Start() { go func() { for { time.Sleep(time.Second) // Second conflicting access. if w.last
即使这种“无辜”的数据竞争也可能导致因内存访问的非原子性、干扰编译器优化或访问处理器内存的重新排序问题而导致难以调试的问题。
这场比赛的一个典型修复方法是使用通道或互斥体。为了保持无锁行为,也可以使用sync/atomic包
type Watchdog struct{ last int64 } func (w *Watchdog) KeepAlive() { atomic.StoreInt64(&w.last, time.Now().UnixNano()) } func (w *Watchdog) Start() { go func() { for { time.Sleep(time.Second) if atomic.LoadInt64(&w.last)
5、未同步的发送和关闭操作
同一通道上的非同步发送和关闭操作也可能是一个竞态条件
c := make(chan struct{}) // or buffered channel // The race detector cannot derive the happens before relation // for the following send and close operations. These two operations // are unsynchronized and happen concurrently. go func() { c
根据Go内存模型,通道上的发送发生在该通道的相应接收完成之前。要同步发送和关闭操作,请使用接收操作来保证发送在关闭前完成:
c := make(chan struct{}) // or buffered channel go func() { c
好了,本文到此结束,带大家了解了《浅谈Golang数据竞态》,希望本文对你有所帮助!关注golang学习网公众号,给大家分享更多Golang知识!

- 上一篇
- MySQL索引总结(Index Type)

- 下一篇
- MySQL数据库的多种连接方式以及实用工具
-
- 含糊的航空
- 太全面了,已加入收藏夹了,感谢up主的这篇技术贴,我会继续支持!
- 2023-03-05 18:16:19
-
- 会撒娇的百合
- 受益颇多,一直没懂这个问题,但其实工作中常常有遇到...不过今天到这,看完之后很有帮助,总算是懂了,感谢作者大大分享技术文章!
- 2023-02-28 21:40:00
-
- 体贴的香菇
- 这篇文章内容真及时,太细致了,感谢大佬分享,mark,关注作者了!希望作者能多写Golang相关的文章。
- 2023-02-26 00:03:58
-
- Golang · Go教程 | 1分钟前 | golang docker DevOps 自动化部署 GoReleaser
- Golang多环境部署,GoReleaser工具链分享
- 234浏览 收藏
-
- Golang · Go教程 | 6分钟前 |
- Golang错误处理发展与版本变化解析
- 344浏览 收藏
-
- Golang · Go教程 | 7分钟前 |
- Golang防范Web漏洞:CSRF/XSS防护技巧
- 487浏览 收藏
-
- Golang · Go教程 | 17分钟前 |
- Go高效时间戳:毫秒级获取不分配内存
- 146浏览 收藏
-
- Golang · Go教程 | 26分钟前 |
- GolangRPC压缩与性能优化技巧
- 407浏览 收藏
-
- Golang · Go教程 | 29分钟前 |
- Go语言集成HypertableThrift方案详解
- 436浏览 收藏
-
- Golang · Go教程 | 34分钟前 |
- 自定义Golang错误类型,实现error接口方法
- 114浏览 收藏
-
- Golang · Go教程 | 35分钟前 |
- Golang实现规格模式,灵活构建过滤逻辑
- 299浏览 收藏
-
- Golang · Go教程 | 47分钟前 |
- Golang并发缓存sync.Map原理解析
- 413浏览 收藏
-
- Golang · Go教程 | 52分钟前 |
- Golang指针并发安全问题详解
- 247浏览 收藏
-
- Golang · Go教程 | 56分钟前 |
- Go获取终端大小的实用技巧
- 286浏览 收藏
-
- Golang · Go教程 | 1小时前 |
- Golang反射判断channel方向方法
- 139浏览 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 542次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 511次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 498次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 484次学习
-
- 千音漫语
- 千音漫语,北京熠声科技倾力打造的智能声音创作助手,提供AI配音、音视频翻译、语音识别、声音克隆等强大功能,助力有声书制作、视频创作、教育培训等领域,官网:https://qianyin123.com
- 96次使用
-
- MiniWork
- MiniWork是一款智能高效的AI工具平台,专为提升工作与学习效率而设计。整合文本处理、图像生成、营销策划及运营管理等多元AI工具,提供精准智能解决方案,让复杂工作简单高效。
- 89次使用
-
- NoCode
- NoCode (nocode.cn)是领先的无代码开发平台,通过拖放、AI对话等简单操作,助您快速创建各类应用、网站与管理系统。无需编程知识,轻松实现个人生活、商业经营、企业管理多场景需求,大幅降低开发门槛,高效低成本。
- 107次使用
-
- 达医智影
- 达医智影,阿里巴巴达摩院医疗AI创新力作。全球率先利用平扫CT实现“一扫多筛”,仅一次CT扫描即可高效识别多种癌症、急症及慢病,为疾病早期发现提供智能、精准的AI影像早筛解决方案。
- 98次使用
-
- 智慧芽Eureka
- 智慧芽Eureka,专为技术创新打造的AI Agent平台。深度理解专利、研发、生物医药、材料、科创等复杂场景,通过专家级AI Agent精准执行任务,智能化工作流解放70%生产力,让您专注核心创新。
- 98次使用
-
- Golangmap实践及实现原理解析
- 2022-12-28 505浏览
-
- 试了下Golang实现try catch的方法
- 2022-12-27 502浏览
-
- Go语言中Slice常见陷阱与避免方法详解
- 2023-02-25 501浏览
-
- Golang中for循环遍历避坑指南
- 2023-05-12 501浏览
-
- Go语言中的RPC框架原理与应用
- 2023-06-01 501浏览