请教一下两个for内两个协程的执行顺序及结果的原因？

问答 / 0 / 3 / 创建于 2年前 / 更新于 2年前

package main

import (
    "fmt"
    "runtime"
    "sync"
)

func main() {
    runtime.GOMAXPROCS(1)
    wg := sync.WaitGroup{}
    wg.Add(20)
    for i := 0; i < 10; i++ {
        go func() {
            fmt.Println("i1: ", i)
            wg.Done()
        }()
    }
    for i := 0; i < 10; i++ {
        go func(i int) {
            fmt.Println("i2: ", i)
            wg.Done()
        }(i)
    }
    wg.Wait()
}

结果#

i2:  9
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i1:  10
i2:  0
i2:  1
i2:  2
i2:  3
i2:  4
i2:  5
i2:  6
i2:  7
i2:  8

野生菌

38 声望

CTO @ 广州野生菌科技有限责任公司

本人太懒，懒得写介绍～

0 人点赞

推荐文章：

更多推荐...

博客

分享一本一直更新的Gitbook，[为你自己学Go] 23 / 17 |

分享创造

花了小半年开发的 AI 套壳 APP（Golang 后端），然而大势已过，现已完全开源啦 12 / 7 |

分享创造

DDD在Gin中的工程实践；（有人看嘛？）欢迎留言讨论 11 / 14 |

博客

lancet: 一个全面、高效、可复用的go语言工具函数库 10 / 14 |

博客

里程碑！用自己的编程语言实现了一个网站 13 / 9 |

博客

分享一个用go写的爬取异步加载网站数据的例子 11 / 3 |

uptutu

课程读者 80 声望 / 超迷弟 @ T

最佳答案

关于执行顺序这个问题可以网上找一下详细的 Go 协程的设计模型 —— GMP（Goroutine, Machine, Processer）模型

然后简单回答一下楼主当前的疑惑，通过代码可知：

runtime.GOMAXPROCS(1) 设置了 P 只有一个，即程序只能运行一个协程（Goroutine）
主协程 main 被挂载在这个唯一 P 中，
两个 for 循环创建了 20 个协程（Goroutine），因为 P 正在被占用，所有的 Goroutine 依次挂在这个 P 的待执行的队列中
1. 这里需要关注一下协程的创建与挂载在 P 下的逻辑。
  1. 因为执行结果可见，如果忽视第一行结果可见，这个 Goroutine 的执行是 FIFO （先进先出）的关系
  2. 而第一行结果出现的原因是，P 有两个队列，一个是这个 FIFO 的队列，还有一个叫做 runnext 的队列。新创建的 Goroutine 会先被挂在这个 runnext 中。
执行到 wg.Wait() 时，主协程让出，开始执行 P 的队列中的 Goroutine，即，runnext，和 FIFO 的队列

结果原因：为什么两个 for 一边全是 10，而一遍是 0,1,2…

因为：创建协程的时候，变量在协程中的地址在第一个全是 for 的循环中是同一个，而这个值在 for 的执行过程中被修改为了 10. 而第二个 for 循环创建的协程中打印的这个变量是通过值传递传递的，则每个协程中的这个 i 的地址都是全新的，不一样的，即值是不一的

2年前评论

讨论数量: 3

野生菌

38 声望 / CTO @ 广州野生菌科技有限责任公司

查阅资料可知：首先，第一个 for 一定是打印 10，第二个 for 打印是 0、1、2... 到 9。那么当前 go 版本为 1.18.9，每起一个协程时，会对应一个函数地址 “p.runnext” 和先进先出的队列 “p.runq”。则当所有 for 跑完时，到了 wait 后就执行第一个协程 “p.runnext” 为 “9”，那么接下来执行第一个 for 为 10、10...，然后第二个 for 为 1、2、3、4....8

2年前评论

保安

Laravel 9.x 译者 415 声望 / 保密 @ 保密

第一个是个闭包，第二个是拷贝

2年前评论

uptutu

课程读者 80 声望 / 超迷弟 @ T

关于执行顺序这个问题可以网上找一下详细的 Go 协程的设计模型 —— GMP（Goroutine, Machine, Processer）模型

然后简单回答一下楼主当前的疑惑，通过代码可知：

runtime.GOMAXPROCS(1) 设置了 P 只有一个，即程序只能运行一个协程（Goroutine）
主协程 main 被挂载在这个唯一 P 中，
两个 for 循环创建了 20 个协程（Goroutine），因为 P 正在被占用，所有的 Goroutine 依次挂在这个 P 的待执行的队列中
1. 这里需要关注一下协程的创建与挂载在 P 下的逻辑。
  1. 因为执行结果可见，如果忽视第一行结果可见，这个 Goroutine 的执行是 FIFO （先进先出）的关系
  2. 而第一行结果出现的原因是，P 有两个队列，一个是这个 FIFO 的队列，还有一个叫做 runnext 的队列。新创建的 Goroutine 会先被挂在这个 runnext 中。
执行到 wg.Wait() 时，主协程让出，开始执行 P 的队列中的 Goroutine，即，runnext，和 FIFO 的队列

结果原因：为什么两个 for 一边全是 10，而一遍是 0,1,2…

因为：创建协程的时候，变量在协程中的地址在第一个全是 for 的循环中是同一个，而这个值在 for 的执行过程中被修改为了 10. 而第二个 for 循环创建的协程中打印的这个变量是通过值传递传递的，则每个协程中的这个 i 的地址都是全新的，不一样的，即值是不一的

2年前评论

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容，与人为善，比聪明更重要！

帮助

请教一下两个for内两个协程的执行顺序及结果的原因？

结果#

推荐文章：

社区赞助商

关于 LearnKu

资源推荐

服务提供商

其他信息

请教一下两个for内两个协程的执行顺序及结果的原因？

结果#

推荐文章：

社区赞助商

关于 LearnKu

资源推荐

服务提供商

其他信息

请登录