Golang学习笔记:当关键字“go”遇上“runtime”
写在前面
昨天,有人拿着下面这段代码,问题我结果为什么不是10个10?
当然,这道题的结果,我相信很大一部分人都会弄错。 所以,我希望做错的人都能静下心来看完本人的分析!运行看结果
1 |
|
从源码入手
此例中 “runtime” 的问题暂且不详说,后面会再来分析,但是,必需要明白的是 runtime. GOMAXPROCS(1) 强行指定了只创建一个 “P” 来处理并发,这使得例子中的 10 个 goroutine 会是串行的。接下来,我们就来一点一点剖析关键字 “go”!
知其然,知其所以然
问我问题的人,其实也知道要小心的处理 for 循环中变量,但是他却不了解哪种情况下的变量才是要真正小心行事的。我相信还有很多人会把例子和下面的代码理解混了:运行看结果
1 |
|
仔细对比上述的两段代码,会发现区别仅仅是 “go” 关键字后的函数有区别而已。那么这一点小区别,为什么会带来这么大的区别呢?我们都知道 “go” 是创建了 goroutine ,但是对于计算机而言,goroutine 只是语言封装的语法糖而已,对于计算机依旧是识别指令及内存里的值而已。那么 goroutine 在被创建后,留给计算机是什么样的内存布局(数据结构)呢?
在 runtime2.go:338 (type g struct) 定义,打开文件后,你会看到有很多的信息,但是,对于我们当前需要理解的是:编译器会把 go 后面的方法和参数打包在 goroutine 里,在上述例子中,关注如下参数:
1 |
|
为什么??
本文说到这,其实只说了小部分,并没有说为什么 demo 1 的结果会与大家想象的差很多。虽说 GOMAXPROCS 为 1 导致所有的 goroutine 变成了串行。可是结果也不是大家想象的 0 ~ 9。为什么??
其实,go 在把 goroutine 放入队列(go sched 内容会有另外的篇幅来说明)的时候还做了一件很特别的事:proc:4799 (next),代码内容如下:
1 |
|
这是 go 设计认为或者是有过测试:如果一个 P 的 goroutine 队列在顺序执行的时候,因为 go sched 会有很多抢占或者调度。那么从被执行的概率上来分析的话,放入一个 next 位置可使得每个 goroutine 的执行概率是相当的。本文不细述!
这个 next 位置也就解释了 demo 1 的结果为什么会是 9 --- 0~8。本文到这已经说明了前面的问题,但是,demo 中出现了
runtime.Gosched()
这一行代码。 如果注释掉结果会怎样?? 如果把这一行换成 runtime.Goexit() 或者 os.Exit(0) 又会是如何呢??
欢迎大家尝试并可和我讨论!!! 大家可关注公众号 cn_isnap 并留言!!