关于 goroutine 调度··GOMAXPROCS

[Fitz]

package main

import (
	"runtime"
	"sync"
)

func main() {
	runtime.GOMAXPROCS(1)
	var wg sync.WaitGroup
	wg.Add(20)
	
	for i := 0; i < 10; i++ {
		go func(i int) {
			println(i)
			wg.Done()
		}(i)
	}
	
	for i := 10; i < 20; i++ {
		go func(i int) {
			println(i)
			wg.Done()
		}(i)
	}
	wg.Wait()
}

https://play.golang.org/p/nrEveScSaeI

问题： 执行结果为什么会先打印出 19 再顺序输出？请各位大佬不吝赐教

我记得之前有看过 M P G 模型中 GOMAXPROCS 可以控制 P 的数量

[reus]

偶然而已，按什么顺序都是对的，goroutine 的执行顺序是不确定的

[Fitz]

@reus 不是偶然 `GOMAXPROCS`设为 1 确实是顺序输出 只是最后一个先输出然后才开始顺序输出

[keepeye]

不专业的回答：最后一个 goroutine 会被放在一个"即将被执行的"地方，优先级最高。
话说，goroutine 不需要关心顺序吧

[mscb]

没仔细了解过细节。设置 gomaxprocs 后，应该只是控制 p 的数量，没有控制 m 的数量吧？ m 不变的话底层还是会有多个线程，一个 g 阻塞了，其他 m 会来偷 g 过去运行。不知道我理解的对不对。欢以上仅供参考，欢迎各位大佬赐教，确实没仔细了解过调度这一块

[punyGod]

它会把最新的一个放到本地的 queue 中。这样它就会被优先执行

[mscb]

另外就算是单线程的协程也不能保证能顺序执行哇。主要看添加到队列里的形态，以及调度的情况

[Fitz]

@mscb 可是 m 执行需要 p 提供 context 吧

[Fitz]

@punyGod 应该都在 local queue 里吧

[reus]

@Fitz 你可以试下用 go run -race 跑，多跑几次，看看是不是偶然。

[reus]

@Fitz 讨论这种未定义行为没有任何意义，开了竞态检测，顺序就可能不同。不同版本的调度器也有可能不同，不同的编译器实现的运行时也可能不同。所以这就是偶然的行为，你的程序是不可以依赖这种未定义行为的。

[mscb]

@Fitz 对，你说的没错。P 是为 m 提供一个上下文队列。不过除了一个 P 以外还有一个全局的 P，当 local P 满了以后，g 会移动到 global P 里面，由于 go 添加的队列时间不同说不定会导致 local 和 global 内的 g 顺序不一致呢。

[Fitz]

@reus @mscb 确实 开了竞态检测 输出就会不同。感谢解答！！