goroutine 误区

经常看到一些帖子，利用goroutine循环打印循环变量，来check大家对goroutine的理解是否到位，同时有些帖子个人认为描述的不够准确并存在异议之处，在这里分享下我的理解。

首先说下goroutine的调度

1.G代表一个goroutine对象，每次go调用的时候，都会创建一个G对象

2. M代表一个线程，每次创建一个M的时候，都会有一个底层线程创建；所有的G任务，最终还是在M上执行

3. P代表一个处理器，每一个运行的M都必须绑定一个P，就像线程必须在么一个CPU核上执行一样

下面说下循环打印例子：

func main() {

        for i := 0; i < 100; i++ {

            go fmt.Println(i)

        }

}

大家猜想下会输出什么？

答案1、顺序输出1到100

答案2、乱序输出1到100

答案3、输出100个100

答案4、没有任何输出。

上面的例子很简单。对于选择1或者2的同学，可能就进入了出题人的陷阱了，main函数很快执行结束程序退出了，甚至根本不给go协程调度执行的机会。标准答案应该是4。那什么情况下会是1、2或者3那？

首先想让上面的程序正常有打印，可以在main函数后面加个sleep，或者sync.WaitGroup机制，或者通过channel机制均可，这里不写了，如果大家有兴趣可以自己写，如果写不出来可单独留言。实际上上面的程序1和2都有可能输出，如上面的goroutine调度图可知，取决于P（处理器核数），如果是在多核上运行，不加任何处理,则输出结果如下：

与答案2一致，如果在程序里面增加runtime.GOMAXPROCS(1)，则会顺序输出，与答案1一致。怎么做能够输出3的效果？答案也很简单，如下程序即可：

runtime.GOMAXPROCS(1)

for i :=0; i <100; i++ {

        go func() {

                fmt.Println(i)

        }()

}

此外看到一篇文章，里面举了个例子，如下：

func main() {

    for i := 0; i < 100; i++ {

        go func(i int) {

            fmt.Println(i)

        }(i)

    }

    time.sleep(2 * time.second)

}

简单的说明这个程序会顺序输出1-100，这么说是不严谨的，对与单核或者设定runtime.GOMAXPROCS(1)选项是OK的，如果没有指定，还是会乱序输出的。

总结下，综上所述，我们在表达一个结果或者一个一个结论的时候，切记把背景描述清楚。否则会误人子弟，导致一个面试失败～～。