首先有本地队列 local P, 全局队列 global P, 变量 runnext ，和本地队列最大容量 N （应该是 256 ）。入队逻辑：
先是生成 G0, 然后被放入 runnext ；
然后 G1 来了，G0 被挤入 local P ，runnext 变成 G1 ；
。。。。。

消费时优先从 runnext 开始，
所以当所有生成 G 的个数 n 小于 N+1 时，打印输出为：n-1, 0, 1, ... n-2

当生成 G 的个数大于 N+1 时，当 local P 和 runnext 中都占据满了 G 时；下一个 G 来时会触发”溢出操作“：
将 local P 的前一半放入 global P ，再在 global Ｐ后面 append 当前 runnext 中的 P

此种情况下消费时，还是优先从 runnext 开始，然后 local P ；但是此时 global P 不为空，当连续消费几个本地 G 后，会从 global P 中拿个 G 过来插队。

因此当生成 G 的个数 n 大于 N+1 时，打印顺序类似(假设只触发了一次溢出操作)：n-1, N/2, N/2-1, N/2-2, 0, N/2-3 。。。

如果不止一个 M, 在消费完本地和全局的 G 后，还会从别的 M 偷 G 过来消费。

无论怎么说，限制 M 为 1 时，打印顺序应该是一定的。猜测你的打印顺序不相同可能是因为所有 G 还没有创建完成时就在消费了，在 gorountine 延时一下就可以稳定输出。


------------------------------------------
我在电脑上试了下，v1.17.3 ；打印顺序并不符合我的预期，当产生 G 的个数 n 小于等于 257 时，打印输出为：0 ，n-1, n-2,...1 ，很明显对 runnext 不是“挤出”了，而是如果 runnext 不为空就放入 local P 。大于 257 后就更复杂了。
但是无论怎样，打印输出都是稳定的。
面试要是问这种题纯属脑瘫，只要大概直到 GMP 是啥就行了。