Go并发编程之死锁与活锁的案例分析
一分耕耘,一分收获!既然都打开这篇《Go并发编程之死锁与活锁的案例分析》,就坚持看下去,学下去吧!本文主要会给大家讲到死锁、活锁等等知识点,如果大家对本文有好的建议或者看到有不足之处,非常欢迎大家积极提出!在后续文章我会继续更新Golang相关的内容,希望对大家都有所帮助!
什么是死锁、活锁
什么是死锁:就是在并发程序中,两个或多个线程彼此等待对方完成操作,从而导致它们都被阻塞,并无限期地等待对方完成。这种情况下,程序会卡死,无法继续执行。
什么是活锁:就是程序一直在运行,但是无法取得进展。例如,在某些情况下,多个线程会争夺同一个资源,然后每个线程都会释放资源,以便其他线程可以使用它。但是,如果没有正确的同步,这些线程可能会同时尝试获取该资源,然后再次释放它。这可能导致线程在无限循环中运行,却无法取得进展。
发生死锁的案例分析
1.编写会发生死锁的代码:
package main
import (
"fmt"
"sync"
)
func main() {
var mu sync.Mutex
mu.Lock()
defer mu.Unlock()
wg := sync.WaitGroup{}
wg.Add(1)
go func() {
fmt.Println("goroutine started")
mu.Lock() // 在这里获取了锁
fmt.Println("goroutine finished")
mu.Unlock()
wg.Done()
}()
wg.Wait()
}
运行和输出:
[root@workhost temp02]# go run main.go
goroutine started
fatal error: all goroutines are asleep - deadlock! # 错误很明显了,告诉你死锁啦!
goroutine 1 [semacquire]:
sync.runtime_Semacquire(0xc000010030?)
/usr/local/go/src/runtime/sema.go:62 +0x27
...
...
上面的代码,使用 sync.Mutex 实现了一个互斥锁。主 goroutine 获取了锁,并启动了一个新的 goroutine。新 goroutine 也尝试获取锁来执行其任务。但是,由于主 goroutine 没有释放锁,新 goroutine 将一直等待锁,导致死锁。
2.代码改造
在上面的代码中,可以通过将主 goroutine 中的 defer mu.Unlock() 移到 goroutine 函数中的 mu.Unlock() 后面来解决问题。这样,当 goroutine 获取到锁后,它可以在完成任务后释放锁,以便主 goroutine 可以继续执行。
改造后的代码:
package main
import (
"fmt"
"sync"
)
func main() {
var mu sync.Mutex
mu.Lock()
wg := sync.WaitGroup{}
wg.Add(1)
go func() {
fmt.Println("goroutine started")
mu.Lock() // 在这里获取了锁
fmt.Println("goroutine finished")
mu.Unlock()
wg.Done()
}()
mu.Unlock() // 释放锁
wg.Wait()
}
运行和输出:
[root@workhost temp02]# go run main.go
goroutine started
goroutine finished
3.如何避免死锁
在 Go 语言中,要避免死锁,一定要清楚以下几个规则:
- 避免嵌套锁:在使用多个锁时,确保它们的嵌套顺序相同。否则,可能会出现循环等待的情况,导致死锁。
- 避免无限等待:如果在获取锁时指定了超时时间,确保在超时后能够处理错误或执行其他操作。
- 避免过度竞争:如果多个协程需要访问相同的资源,请确保它们不会互相干扰。可以使用互斥锁或读写锁等机制来解决竞争问题。
- 使用通道:Go 语言中的通道可以用于协调并发操作。使用通道来传递消息和同步操作,可以避免死锁和竞争问题。
- 确保资源释放:在使用锁或其他资源时,一定要确保它们在使用后得到释放,否则可能会导致死锁。
- 使用 select 语句:在使用通道进行并发操作时,可以使用 select 语句来避免死锁。通过 select 语句选择多个通道中的一个进行操作,可以避免在某个通道被阻塞时出现死锁。
发生活锁的案例分析
1.编写会发生活锁的代码:
package main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
var mu sync.Mutex
var flag bool
wg.Add(2)
// goroutine 1
go func() {
// 先获取锁资源
fmt.Println("goroutine 1 获取 mu")
mu.Lock()
defer mu.Unlock()
// 然后等待 flag 变量的值变为 true
fmt.Println("goroutine 1 等待标志")
for !flag {
// 不断循环等待
}
// 最终输出并释放锁资源
fmt.Println("goroutine 1 从等待中释放")
wg.Done()
}()
// goroutine 2
go func() {
// 先获取锁资源
fmt.Println("goroutine 2 获取 mu")
mu.Lock()
defer mu.Unlock()
// 然后等待 flag 变量的值变为 true
fmt.Println("GoRoutine2 等待标志")
for !flag {
// 不断循环等待
}
// 最终输出并释放锁资源
fmt.Println("GoRoutine 2 从等待中释放")
wg.Done()
}()
// 在主线程中等待 1 秒钟,以便两个 goroutine 开始等待 flag 变量的值
// 然后将 flag 变量设置为 true
// 由于两个 goroutine 会同时唤醒并尝试获取锁资源,它们会相互等待
// 最终导致了活锁问题,它们都无法向前推进
fmt.Println("主线程休眠 1 秒")
fmt.Println("两个goroutine都应该等待标志")
flag = true
wg.Wait()
fmt.Println("所有 GoRoutines 已完成")
}
运行和输出:
[root@workhost temp02]# go run main.go
主线程休眠 1 秒
两个goroutine都应该等待标志
goroutine 2 获取 mu
GoRoutine2 等待标志
GoRoutine 2 从等待中释放
goroutine 1 获取 mu
goroutine 1 等待标志
goroutine 1 从等待中释放
所有 GoRoutines 已完成
上面的代码存在活锁问题。如果两个goroutine同时等待flag变为true并且都已经获取了锁资源,那么它们就会进入一个死循环并相互等待,无法继续向前推进。
2.代码改造
改造后的代码:
package main
import (
"fmt"
"runtime"
"sync"
)
func main() {
var wg sync.WaitGroup
var mu sync.Mutex
var flag bool
wg.Add(2)
// goroutine 1
go func() {
// 先获取锁资源
fmt.Println("goroutine 1 获取 mu")
mu.Lock()
defer mu.Unlock()
// 然后等待 flag 变量的值变为 true
fmt.Println("goroutine 1 等待标志")
for !flag {
runtime.Gosched() // 让出时间片
}
// 最终输出并释放锁资源
fmt.Println("goroutine 1 从等待中释放")
wg.Done()
}()
// goroutine 2
go func() {
// 先获取锁资源
fmt.Println("goroutine 2 获取 mu")
mu.Lock()
defer mu.Unlock()
// 然后等待 flag 变量的值变为 true
fmt.Println("GoRoutine2 等待标志")
for !flag {
runtime.Gosched() // 让出时间片
}
// 最终输出并释放锁资源
fmt.Println("GoRoutine 2 从等待中释放")
wg.Done()
}()
// 在主线程中等待 1 秒钟,以便两个 goroutine 开始等待 flag 变量的值
// 然后将 flag 变量设置为 true
// 由于两个 goroutine 会同时唤醒并尝试获取锁资源,它们会相互等待
// 最终导致了活锁问题,它们都无法向前推进
fmt.Println("主线程休眠 1 秒")
fmt.Println("两个goroutine都应该等待标志")
flag = true
wg.Wait()
fmt.Println("所有 GoRoutines 已完成")
}
改造后的代码在等待flag变量的循环中加入了让出时间片的函数 runtime.Gosched(),这样两个goroutine在等待期间可以放弃时间片,以便其他goroutine可以执行并获得锁资源。这种方式可以有效地减少竞争程度,从而避免了活锁问题。
3.如何避免发生活锁的可能性
在 Go 语言的并发编程中,避免活锁的关键是正确地实现同步机制。以下是一些避免活锁的方法:
- 避免忙等待:使用 sync.Cond 或者 channel 等同步机制来实现等待。这样避免了线程一直占用 CPU 资源而无法取得进展的问题。
- 避免死锁:死锁往往是活锁的前提,因此正确地使用锁和同步机制可以避免死锁,从而避免活锁。
- 减少锁的粒度:尽可能将锁的粒度缩小到最小范围,避免锁住不必要的代码块。
- 采用超时机制:使用 sync.Mutex 的 TryLock() 方法或者使用 select 语句实现等待超时机制,这样可以防止线程无限期等待。
- 合理设计并发模型:合理设计并发模型可以避免竞争和饥饿等问题,进而避免活锁的发生。
终于介绍完啦!小伙伴们,这篇关于《Go并发编程之死锁与活锁的案例分析》的介绍应该让你收获多多了吧!欢迎大家收藏或分享给更多需要学习的朋友吧~golang学习网公众号也会发布Golang相关知识,快来关注吧!
深入探究Golang中flag标准库的使用
- 上一篇
- 深入探究Golang中flag标准库的使用
- 下一篇
- Jackson2JsonRedisSerializer和GenericJackson2JsonRedisSerializer区别
-
- Golang · Go教程 | 1天前 | go标准库 · Go教程 · 字节处理 · 字节切片 Go 1.27 bytes.CutLast bytes.LastIndex 三返回值
- Go 1.27 bytes.CutLast 怎么封装:三返回值与 LastIndex 手写切片对比
- 276浏览 收藏
-
- Golang · Go教程 | 1天前 | 数字签名 · Go教程 · Go安全 · Go 1.27 crypto/ecdsa PrivateKey.Sign SignerOpts 哈希长度
- Go 1.27 ecdsa.PrivateKey.Sign 为什么检查哈希长度:SignerOpts 约束
- 212浏览 收藏
-
- Golang · Go教程 | 1天前 | 标准库 · Go教程 · 整数计算 · math/big RoundingMode Go 1.27 整数除法 Int.Divide
- Go 1.27 math/big.Int Divide 怎么选舍入:Trunc、Floor、Round 与 Ceil
- 202浏览 收藏
-
- Golang · Go教程 | 1天前 | HTTP服务 · Go教程 · 接口设计 · net/http Go 1.27 MaxHeaderValueCount MaxHeaderBytes HTTP安全
- Go 1.27 HTTP 请求头上限怎么设计:MaxHeaderValueCount 与 MaxHeaderBytes 配合
- 376浏览 收藏
-
- Golang · Go教程 | 2天前 | 标准库 · Go教程 · 工具开发 · 错误定位 · 语法分析 · Go 1.27 go/scanner Scanner.End token.Pos 语法诊断
- Go 1.27 go/scanner.Scanner.End 怎么定位 token 末端:起止位置与诊断范围
- 131浏览 收藏
-
- Golang · Go教程 | 2天前 | unsafe · Go教程 · Go升级 · go fix Go 1.27 unsafefuncs unsafe.Add
- Go 1.27 unsafefuncs 怎么改旧代码:函数指针转换的审查边界
- 368浏览 收藏
-
- Golang · Go教程 | 2天前 | go并发 · pprof · 故障排查 · Go教程 · 版本升级 · GODEBUG runtime/pprof Go 1.27 goroutine 标签 tracebacklabels
- Go 1.27 崩溃堆栈为什么多了 goroutine 标签:tracebacklabels 的取舍
- 174浏览 收藏
-
- Golang · Go教程 | 2天前 | 网络编程 · HTTP · go · 性能 · 连接复用 Go 1.27 http.Response.Body Response.Body.Close
- Go 1.27 http.Response.Body 关闭会自动排空什么:连接复用与异常边界
- 311浏览 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 485次学习
-
- SuperCLUE
- SuperCLUE是权威的中文大语言模型综合评测基准,涵盖语言理解、知识应用、AI Agent智能体及安全性等12项核心能力。通过多轮对话与客观测试,定期发布榜单与技术报告,为模型研发、优化及行业选型提供科学依据。
- 108次使用
-
- C-Eval
- 深入了解C-Eval中文评估套件,涵盖52个学科与4级难度。本文详解其功能特点、Zero-shot/Few-shot使用方法及代码示例,助您全面评测LLM中文理解与泛化能力。
- 27次使用
-
- Gradio
- Gradio是一个用于构建机器学习和数据科学Web应用的开源Python库。支持快速创建交互界面,获Google、Meta等大厂青睐,适合模型演示、部署反馈及调试。
- 105次使用
-
- AutoGPT
- AutoGPT是基于GPT-4的开源AI代理平台,拥有超10万GitHub星标。本文介绍其低代码界面、自动化工作流功能、系统配置要求及安装步骤,助您高效部署和管理AI Agent。
- 110次使用
-
- Dataify
- Dataify是专注AI生态的一站式数据服务平台,整合全球住宅代理、多源数据采集API及高质量训练数据集。支持LLM训练、跨境电商及金融分析,解决数据孤岛难题,助力企业智能化转型。
- 11次使用
-
- 浅谈GO中的Channel以及死锁的造成
- 2022-12-30 462浏览
-
- 详解Golang并发操作中常见的死锁情形
- 2023-02-16 167浏览
-
- Go 语言中的死锁问题解决
- 2023-01-07 224浏览
-
- golang coroutine 的等待与死锁用法
- 2023-01-07 296浏览
-
- golang 在这段代码中未检测到deadlock
- 2023-01-23 360浏览

