Golang当将GOMAXPROCS设置为1时会发生什么

最近面试的时候出了一道题，没有打上来，后面研究了一下，在这里分享出来

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

	wg.Wait()

以上这段代码会输出什么？
我的golang的版本是1.17.4，不同的版本可能输出的不同，这里我只提我自己的版本，输出结果为：

B 9
A 10
A 10
A 10
A 10
A 10
A 10
A 10
A 10
A 10
A 10
B 0
B 1
B 2
B 3
B 4
B 5
B 6
B 7
B 8

这里我们看到A的话，全是10，B的话，9是第一个执行，后面基本上全是顺序执行了，那造成这个情况的原因是什么呢？话不多说，直接看源码，当我们在用一个go的关键词时，编译器会给go解析为newproc函数，在runtime/proc.go中
大致意思就是创建一个新的g来运行fn，size为参数的大小，然后把他放入到等待运行的g队列中，newproc1就是来创建一个新的g的

func newproc(siz int32, fn *funcval) {
	argp := add(unsafe.Pointer(&fn), sys.PtrSize)
	gp := getg()
	pc := getcallerpc()
	systemstack(func() {
		newg := newproc1(fn, argp, siz, gp, pc)

		_p_ := getg().m.p.ptr()
		runqput(_p_, newg, true)

		if mainStarted {
			wakep()
		}
	})
}

runqput是将g放入到本地可运行队列中，如果第三个参数，next为true的话，runqput将会把g放入到_p_.runnext上，如果为false的话，将g添加到可运行队列的尾部，在runnext中的g永远会被最先调度执行

func runqput(_p_ *p, gp *g, next bool) {
	if randomizeScheduler && next && fastrand()%2 == 0 {
		next = false
	}

	if next {
	retryNext:
		oldnext := _p_.runnext
		// 把g放入到_p_.runnext上
		if !_p_.runnext.cas(oldnext, guintptr(unsafe.Pointer(gp))) {
			goto retryNext
		}
		if oldnext == 0 {
			return
		}
		gp = oldnext.ptr()
	}
//将原_p_.runnext上的g放入到队列_p_.runq中
retry:
	h := atomic.LoadAcq(&_p_.runqhead) // load-acquire, synchronize with consumers
	t := _p_.runqtail
	if t-h < uint32(len(_p_.runq)) {
		_p_.runq[t%uint32(len(_p_.runq))].set(gp)
		atomic.StoreRel(&_p_.runqtail, t+1) // store-release, makes the item available for consumption
		return
	}
	if runqputslow(_p_, gp, h, t) {
		return
	}
	goto retry
}

看到这里就是创建一个协程的过程，但是需要解答这个题目，还需要掌握一个知识，在 for i := 0; i < 10; i++ 遍历中， i 在内存中只会存在一份，即之后每次循环时遍历到的数据都是以值覆盖的方式赋给 i，i 的内存地址始终不变。

当看到这里，不知道大家理解了没有，当我们给线程数量设置为1时，循环的创建协程时，协程会优先放入到_p_.runnext上，后续新的协程创建时，会将新的协程再次放入到_p_.runnext上，然后再将之前的放入_p_.runq中，我们上面的程序执行下来，最后B9会放入到_p_.runnext上，所以会优先打印出来B9,然后在打印A，A读取i时，i的值已经递增到了10，所以A打印出来全部是10，而B的话，是传递的参数，会保存起来，所以B的话，是从0-8顺序执行。

大致执行的逻辑是这样，有需要的小伙伴可以尝试阅读源码，如果文中有描述错误的地方，望指教，谢谢观看