Go语言学习——channel的死锁其实没那么复杂
1 为什么会有信道
协程(goroutine)算是Go的一大新特性,也正是这个大杀器让Go为很多路人驻足欣赏,让信徒们为之欢呼津津乐道。
协程的使用也很简单,在Go中使用关键字“go“后面跟上要执行的函数即表示新启动一个协程中执行功能代码。
func main() {
go test()
fmt.Println("it is the main goroutine")
time.Sleep(time.Second * 1)
} func test() {
fmt.Println("it is a new goroutine")
}
可以简单理解为,Go中的协程就是一种更轻、支持更高并发的并发机制。
仔细看上面的main函数中有一个休眠一秒的操作,如果去掉该行,则打印结果中就没有“it is a new goroutine”。这是因为新启的协程还没来得及运行,主协程就结束了。
所以这里有个问题,我们怎么样才能让各个协程之间能够知道彼此是否执行完毕呢?
显然,我们可以通过上面的方式,让主协程休眠一秒钟,等等子协程,确保子协程能够执行完。但作为一个新型语言不应该使用这么low的方式啊。连Java这位老前辈都有Future这种异步机制,而且可以通过get方法来阻塞等待任务的执行,确保可以第一时间知晓异步进程的执行状态。
所以,Go必须要有过人之处,即另一个让路人侧目,让信徒为之疯狂的特性——信道(channel)。
2 信道如何使用
信道可以简单认为是协程goroutine之间一个通信的桥梁,可以在不同的协程里互通有无穿梭自如,且是线程安全的。
2.1 信道分类
信道分为两类
无缓冲信道
ch := make(chan string)
有缓冲信道
ch := make(chan string, 2)
2.2 两类信道的区别
1、从声明方式来看,有缓冲带了容量,即后面的数字,这里的2表示信道可以存放两个stirng类型的变量
2、无缓冲信道本身不存储信息,它只负责转手,有人传给它,它就必须要传给别人,如果只有进或者只有出的操作,都会造成阻塞。有缓冲的可以存储指定容量个变量,但是超过这个容量再取值也会阻塞。
2.3 两种信道使用举例
无缓冲信道
func main() {
ch := make(chan string)
go func() {
ch <- "send"
}() fmt.Println(<-ch)
}
在主协程中新启一个协程且是匿名函数,在子协程中向通道发送“send”,通过打印结果,我们知道在主线程使用<-ch接收到了传给ch的值。
<-ch是一种简写方式,也可以使用str := <-ch方式接收信道值。
上面是在子协程中向信道传值,并在主协程取值,也可以反过来,同样可以正常打印信道的值。
func main() {
ch := make(chan string)
go func() {
fmt.Println(<-ch)
}() ch <- "send"
}
有缓冲信道
func main() {
ch := make(chan string, 2)
ch <- "first"
ch <- "second" fmt.Println(<-ch)
fmt.Println(<-ch)
}
执行结果为
first
second
信道本身结构是一个先进先出的队列,所以这里输出的顺序如结果所示。
从代码来看这里也不需要重新启动一个goroutine,也不会发生死锁(后面会讲原因)。
3 信道的关闭和遍历
3.1 关闭
信道是可以关闭的。对于无缓冲和有缓冲信道关闭的语法都是一样的。
close(channelName)
注意信道关闭了,就不能往信道传值了,否则会报错。
func main() {
ch := make(chan string, 2)
ch <- "first"
ch <- "second" close(ch) ch <- "third"
}
报错信息
panic: send on closed channel
3.2 遍历
有缓冲信道是有容量的,所以是可以遍历的,并且支持使用我们熟悉的range遍历。
func main() {
chs := make(chan string, 2)
chs <- "first"
chs <- "second" for ch := range chs {
fmt.Println(ch)
}
}
输出结果为
first
second
fatal error: all goroutines are asleep - deadlock!
没错,如果取完了信道存储的信息再去取信息,也会死锁(后面会讲)
4 信道死锁
有了前面的介绍,我们大概知道了信道是什么,如何使用信道。
下面就来说说信道死锁的场景和为什么会死锁(有些是自己的理解,可能有偏差,如有问题请指正)。
4.1 死锁现场1
func main() {
ch := make(chan string) ch <- "channelValue"
}
func main() {
ch := make(chan string) <-ch
}
这两种情况,即无论是向无缓冲信道传值还是取值,都会发生死锁。
原因分析
如上场景是在只有一个goroutine即主goroutine的,且使用的是无缓冲信道的情况下。
前面提过,无缓冲信道不存储值,无论是传值还是取值都会阻塞。这里只有一个主协程的情况下,第一段代码是阻塞在传值,第二段代码是阻塞在取值。因为一直卡住主协程,系统一直在等待,所以系统判断为死锁,最终报deadlock错误并结束程序。
延伸
func main() {
ch := make(chan string)
go func() {
ch <- "send"
}()
}
这种情况不会发生死锁。
有人说那是因为主协程发车太快,子协程还没看到,车就开走了,所以没来得及抱怨(deadlock)就结束了。
其实不是这样的,下面举个反例
func main() {
ch := make(chan string)
go func() {
ch <- "send"
}() time.Sleep(time.Second * 3)
}
这次主协程等你了三秒,三秒你总该完事了吧?!
但是从执行结果来看,并没有子协程因为一直阻塞就造成报死锁错误。
这是因为虽然子协程一直阻塞在传值语句,但这也只是子协程的事。外面的主协程还是该干嘛干嘛,等你三秒之后就发车走人了。因为主协程都结束了,所以子协程也只好结束(毕竟没搭上车只能回家了,光杵在哪也于事无补)
4.2 死锁现场2
紧接着上面死锁现场1的延伸场景,我们提到延伸场景没有死锁是因为主协程发车走了,所以子协程也只能回家。也就是两者没有耦合的关系。
如果两者通过信道建立了联系还会死锁吗?
func main() {
ch1 := make(chan string)
ch2 := make(chan string)
go func() {
ch2 <- "ch2 value"
ch1 <- "ch1 value"
}() <- ch1
}
执行结果为
fatal error: all goroutines are asleep - deadlock!
没错,这样就会发生死锁。
原因分析
上面的代码不能保证是主线程的<-ch1先执行还是子协程的代码先执行。
如果主协程先执行到<-ch1,显然会阻塞等待有其他协程往ch1传值。终于等到子协程运行了,结果子协程运行ch2 <- "ch2 value"就阻塞了,因为是无缓冲,所以必须有下家接收值才行,但是等了半天也没有人来传值。
所以这时候就出现了主协程等子协程的ch1,子协程在等ch2的接收者,ch1<-“ch1 value”语句迟迟拿不到执行权,于是大家都在相互等待,系统看不下去了,判定死锁,程序结束。
相反执行顺序也是一样。
延伸
有人会说那我改成这样能避免死锁吗
func main() {
ch1 := make(chan string)
ch2 := make(chan string)
go func() {
ch2 <- "ch2 value"
ch1 <- "ch1 value"
}() <- ch1
<- ch2
}
不行,执行结果依然是死锁。因为这样的顺序还是改变不了主协程和子协程相互等待的情况,即死锁的触发条件。
改为下面这样就可以正常结束
func main() {
ch1 := make(chan string)
ch2 := make(chan string)
go func() {
ch2 <- "ch2 value"
ch1 <- "ch1 value"
}() <- ch2
<- ch1
}
借此,通过下面的例子再验证上面死锁现场1是因为主协程没受到死锁的影响所以不会报死锁错误的问题
func main() {
ch1 := make(chan string)
ch2 := make(chan string)
go func() {
ch2 <- "ch2 value"
ch1 <- "ch1 value"
}() go func() {
<- ch1
<- ch2
}() time.Sleep(time.Second * 2)
}
我们刚刚看到如果
<- ch1
<- ch2
放到主协程,则会因为相互等待发生死锁。但是这个例子里,将同样的代码放到一个新启的协程中,尽管两个子协程存在阻塞死锁的情况,但是不会影响主协程,所以程序执行不会报死锁错误。
4.3 死锁现场3
func main() {
chs := make(chan string, 2)
chs <- "first"
chs <- "second" for ch := range chs {
fmt.Println(ch)
}
}
输出结果为
first
second
fatal error: all goroutines are asleep - deadlock!
原因分析
为什么会在输出完chs信道所有缓存值后会死锁呢?
其实也很简单,虽然这里的chs是带有缓冲的信道,但是容量只有两个,当两个输出完之后,可以简单的将此时的信道等价于无缓冲的信道。
显然对于无缓冲的信道只是单纯的读取元素是会造成阻塞的,而且是在主协程,所以和死锁现场1等价,故而会死锁。
5 总结
1、信道是协程之间沟通的桥梁
2、信道分为无缓冲信道和有缓冲信道
3、信道使用时要注意是否构成死锁以及各种死锁产生的原因
如果您觉得阅读本文对您有帮助,请点一下“推荐”按钮,您的“推荐”将是我最大的写作动力!如果您想持续关注我的文章,请扫描二维码,关注JackieZheng的微信公众号,我会将我的文章推送给您,并和您一起分享我日常阅读过的优质文章。
Go语言学习——channel的死锁其实没那么复杂的更多相关文章
- go语言学习--channel的关闭
在使用Go channel的时候,一个适用的原则是不要从接收端关闭channel,也不要在多个并发发送端中关闭channel.换句话说,如果sender(发送者)只是唯一的sender或者是chann ...
- 深度解密Go语言之channel
目录 并发模型 并发与并行 什么是 CSP 什么是 channel channel 实现 CSP 为什么要 channel channel 实现原理 数据结构 创建 接收 发送 关闭 channel ...
- GO语言之channel
前言: 初识go语言不到半年,我是一次偶然的机会认识了golang这门语言,看到他简洁的语法风格和强大的语言特性,瞬间有了学习他的兴趣.我是很看好go这样的语言的,一方面因为他有谷歌主推,另一方面他确 ...
- 技能收获与C语言学习
你有什么技能比大多人(超过90%以上)更好? 我会的东西很多,喜欢的东西太多,但是很遗憾广而不专,会而不精.学了很多东西我都是为了娱乐,因为以前我们那里过于强调学习,很多爱好也都被扼杀在摇篮里.我觉得 ...
- 20155206赵飞技能获取经验,C语言学习感想与对JAVA的学习目标
自己较强的技能获取经验. 1:实话实说我自己是没有哪个技能可以超过90%的人的,只有自认为做的还可以的一些事情,例如打篮球,office软件的应用,一百米跑.至于其他方面就是很平庸了. 2:经验主要有 ...
- 20155229-付钰涵-分析自我技能延展到c语言学习状况
我的小技能 我记得幼儿园时表演的舞蹈,也记得从水彩到素描的学习,还记得小学和初中获得的钢琴省级奖项. 舞蹈止于一年级,绘画止于三年级,钢琴从学前班到高一那十年的时间里有过断续. 03年-04年的那个冬 ...
- linux 下C语言学习路线
UNIX/Linux下C语言的学习路线.一.工具篇“公欲善其事,必先利其器”.编程是一门实践性很强的工作,在你以后的学习或工作中,你将常常会与以下工具打交道, 下面列出学习C语言编程常常用到的软件和工 ...
- 20155224聂小益 - 我的技能与C语言学习
20155224聂小益 - 我的技能与C语言学习 预备作业2 ● 你有什么技能比大多人(超过90%以上)更好? 我认为我可能有些技能身边有的人比较少有,但是要是超过90%以上我实在不敢保证.毕竟厉害的 ...
- 20155226田皓宇关于优秀技能经验以及c语言学习感悟和对JAVA的展望
读老师文章后关于一项优秀技能的经验有感 1.首先我自我剖析认为,我是没有哪一个方面能做到强于身边90%的人的,我只能说有些方面略强于身边的人.比如唱歌.办公软件的应用(word.excel)等.但我不 ...
随机推荐
- jquery mobile 笔记
1.navbar 相关 <nav data-role="navbar"> <ul> <li><a href="# ...
- glibc 内存申请和释放及堆连续检查
C语言有两种内存申请方式: 1.静态申请:当你声明全局或静态变量的时候,会用到静态申请内存.静态申请的内存有固定的空间大小.空间只在程序开始的时候申请一次,并且不再释放(除非程序结束). 2.自动申请 ...
- SingletonBaseTemplate
public static byte[] writeValueAsZipByte(List<CraneDataDtls> dtls) { ObjectMapper mapper = new ...
- 创建 DLL 步骤 和 SRC
LIBRARY SimulationTouchDll EXPORTS MouseControl GetPosition //MouseControlInterface.def 文件 #pragma o ...
- IOS开发之把 JSON 数据转化成 Arrays 或者 Dictionaries
1 前言通过 NSJSONSerialization 这个类的 JSONObjectWithData:options:error:方法来实现,把JSON 数据解析出来放在数据或者字典里面保存. 2 代 ...
- MyBatis 问题 & 解决
# 问题 Invalid bound statement (not found) # 解决 <mappers> 标签的包括的是 SQL 语句存在的地方,此外 <mapper> ...
- WPF 使用依赖属性(DependencyProperty) 定义用户控件中的Image Source属性
原文:WPF 使用依赖属性(DependencyProperty) 定义用户控件中的Image Source属性 如果你要自定义一个图片按钮控件,那么如何在主窗体绑定这个控件上图片的Source呢? ...
- comtextMenu 如何正确的响应MouseLeave事件
今天给菜单加上这个事件,发现弹出菜单后 鼠标怎么动都不会触发 mouseLeave事件 解决方法是 在菜单loaded事件中,利用visualTreeHelper 访问他内部的border控件,把这个 ...
- 用友u8各版本在输出的时候报错提示:外部数据库驱动程序(1)中的意外错误
从10月12日起很多U8用户反馈,在各版本U8中输出报表时软件报错,报错内容“外部数据库驱动程序(1)中的意外错误”,经初步分析有以下解决方案:1.卸载微软的补丁:(1)如果是PC操作系统(一般是客户 ...
- 【Gerrit】持续集成工具Jenkins的安装配置与使用过程中遇到的问题整理
1.下载war包 https://jenkins.io/download/ 2.安装 java -jar jenkins.war Error: Feb 21, 2019 2:17:25 AM wins ...