昨天,有人拿着下面这段代码,问题我结果为什么不是10个10?
当然,这道题的结果,我相信很大一部分人都会弄错。
所以,我希望做错的人都能静下心来看完本人的分析!运行看结果
func main() {
runtime.GOMAXPROCS(1)
for i := 0; i < 10; i++ {
go println(i)
}
runtime.Gosched()
time.Sleep(time.Second)
}
此例中 “runtime” 的问题暂且不详说,后面会再来分析,但是,必需要明白的是 runtime. GOMAXPROCS(1) 强行指定了只创建一个 “P” 来处理并发,这使得例子中的 10 个 goroutine 会是串行的。接下来,我们就来一点一点剖析关键字 “go”!
问我问题的人,其实也知道要小心的处理 for 循环中变量,但是他却不了解哪种情况下的变量才是要真正小心行事的。我相信还有很多人会把例子和下面的代码理解混了:运行看结果
func main() {
runtime.GOMAXPROCS(1)
for i := 0; i < 10; i++ {
go func() {
println(i)
}()
}
runtime.Gosched()
time.Sleep(time.Second)
}
结果显示:10个10
仔细对比上述的两段代码,会发现区别仅仅是 “go” 关键字后的函数有区别而已。那么这一点小区别,为什么会带来这么大的区别呢?我们都知道 “go” 是创建了 goroutine ,但是对于计算机而言,goroutine 只是语言封装的语法糖而已,对于计算机依旧是识别指令及内存里的值而已。那么 goroutine 在被创建后,留给计算机是什么样的内存布局(数据结构)呢?
在 runtime2.go:338 (type g struct) 定义,打开文件后,你会看到有很多的信息,但是,对于我们当前需要理解的是:编译器会把 go 后面的方法和参数打包在 goroutine 里,在上述例子中,关注如下参数:
type g struct {
...
FuncVal* fnstart; // goroutine运行的函数
void* param; // 用于传递参数,睡眠时其它goroutine设置param,唤醒时此goroutine可以获取
...
}
也就是说,运行到 go 的时候,编译器就已经把 goroutine 需要运行的参数与方法都保存了,对于 demo 1 来说就是保存了 { println, current_i },而 demo 2 保存的是 { main.func_xxx, nil },这里读者可能会注意到,第二个并没有把 i 传入到匿名函数中,但是引用的时候并没有发生 panic 。为什么?因为这里有内存逃逸,这也是为什么 demo 2 会输出 10 个 10 的原因,本次不展开细说。只需要记住一点:编译器会把 go 后面跟着的参数与函数都打包成了对象,等待系统调度。
本文说到这,其实只说了小部分,并没有说为什么 demo 1 的结果会与大家想象的差很多。虽说 GOMAXPROCS 为 1 导致所有的 goroutine 变成了串行。可是结果也不是大家想象的 0 ~ 9。为什么??
其实,go 在把 goroutine 放入队列(go sched 内容会有另外的篇幅来说明)的时候还做了一件很特别的事:proc:4799 (next),代码内容如下:
if next {
retryNext:
oldnext := _p_.runnext
if !_p_.runnext.cas(oldnext, guintptr(unsafe.Pointer(gp))) {
goto retryNext
}
if oldnext == 0 {
return
}
// Kick the old runnext out to the regular run queue.
gp = oldnext.ptr()
}
这段代码的意思是 go 会把每个 P 所管理的最后一个 goroutine 放入 next 位置。为什么??
这是 go 设计认为或者是有过测试:如果一个 P 的 goroutine 队列在顺序执行的时候,因为 go sched 会有很多抢占或者调度。那么从被执行的概率上来分析的话,放入一个 next 位置可使得每个 goroutine 的执行概率是相当的。本文不细述!
这个 next 位置也就解释了 demo 1 的结果为什么会是 9 --- 0~8。本文到这已经说明了前面的问题,但是,demo 中出现了
runtime.Gosched()
这一行代码。
如果注释掉结果会怎样??
如果把这一行换成 runtime.Goexit() 或者 os.Exit(0) 又会是如何呢??
欢迎大家尝试并可和我讨论!!!
大家可关注公众号 cn_isnap 并留言!!
原网址: 访问
创建于: 2021-12-23 15:01:40
目录: default
标签: 无
未标明原创文章均为采集,版权归作者所有,转载无需和我联系,请注明原出处,南摩阿彌陀佛,知识,不只知道,要得到
java windows火焰图_mob64ca12ec8020的技术博客_51CTO博客 - 在windows下不可行,不知道作者是怎样搞的 监听SpringBoot 服务启动成功事件并打印信息_监听springboot启动完毕-CSDN博客 SpringBoot中就绪探针和存活探针_management.endpoint.health.probes.enabled-CSDN博客 u2u转换板 - 嘉立创EDA开源硬件平台 Spring Boot 项目的轻量级 HTTP 客户端 retrofit 框架,快来试试它!_Java精选-CSDN博客 手把手教你打造一套最牛的知识笔记管理系统! - 知乎 - 想法有重合-理论可参考 安宇雨 闲鱼 机械键盘 客制化 开贴记录 文本 linux 使用find命令查找包含某字符串的文件_beijihukk的博客-CSDN博客_find 查找字符串 ---- mac 也适用 安宇雨 打字音 记录集合 B站 bilibili 自行搭建 开坑 真正的客制化 安宇雨 黑苹果开坑 查找工具包maven pom 引用地 工具网站 Dantelis 介绍的玩轴入坑攻略 --- 关于轴的一些说法 --- 非官方 ---- 心得而已 --- 长期开坑更新 [本人问题][新开坑位]关于自动化测试的工具与平台应用 机械键盘 开团 网站记录 -- 能做一个收集的程序就好了 不过现在没时间 -- 信息大多是在群里发的 - 你要让垃圾佬 都去一个地方看难度也是很大的 精神支柱 [超级前台]sprinbboot maven superdesk-app 记录 [信息有用] [环境准备] [基本完成] [sebp/elk] 给已创建的Docker容器增加新的端口映射 - qq_30599553的博客 - CSDN博客 [正在研究] Elasticsearch, Logstash, Kibana (ELK) Docker image documentation elasticsearch centos 安装记录 及 启动手记 正式服务器 39 elasticsearch 问题合集 不断更新 6.1.1 | 6.5.1 两个版本 博客程序 - 测试 - bug记录 等等问题 laravel的启动过程解析 - lpfuture - 博客园 OAuth2 Server PHP 用 Laravel 搭建带 OAuth2 验证的 RESTful 服务 | Laravel China 社区 - 高品质的 Laravel 和 PHP 开发者社区 利用Laravel 搭建oauth2 API接口 附 Unauthenticated 解决办法 - 煮茶的博客 - SegmentFault 思否 使用 OAuth2-Server-php 搭建 OAuth2 Server - 午时的海 - 博客园 基于PHP构建OAuth 2.0 服务端 认证平台 - Endv - 博客园 Laravel 的 Artisan 命令行工具 Laravel 的文件系统和云存储功能集成 浅谈Chromium中的设计模式--终--Observer模式 浅谈Chromium中的设计模式--二--pre/post和Delegate模式 浅谈Chromium中的设计模式--一--Chromium中模块分层和进程模型 DeepMind 4 Hacking Yourself README.md update 20211011
Laravel China 简书 知乎 博客园 CSDN博客 开源中国 Go Further Ryan是菜鸟 | LNMP技术栈笔记 云栖社区-阿里云 Netflix技术博客 Techie Delight Linkedin技术博客 Dropbox技术博客 Facebook技术博客 淘宝中间件团队 美团技术博客 360技术博客 古巷博客 - 一个专注于分享的不正常博客 软件测试知识传播 - 测试窝 有赞技术团队 阮一峰 语雀 静觅丨崔庆才的个人博客 软件测试从业者综合能力提升 - isTester IBM Java 开发 使用开放 Java 生态系统开发现代应用程序 pengdai 一个强大的博主 HTML5资源教程 | 分享HTML5开发资源和开发教程 蘑菇博客 - 专注于技术分享的博客平台 个人博客-leapMie 流星007 CSDN博客 - 舍其小伙伴 稀土掘金 Go 技术论坛 | Golang / Go 语言中国知识社区
最新评论