go一个协程安全协程调度的问题

看一段代码,请问输出什么?

代码语言：javascript复制

package main

import "time"

func main() {
   var testNum = 0
   go func() {
      time.Sleep(10000)
      testNum = 1
   }()
   for testNum == 0 {
      if testNum==1 {
         println("testNum=1")
      }
      println("testNum=",testNum)
   }
   println("loop end.")
}

输出结果:

从结果中,能发现2个问题:

1:循环确实结束了,说明testNum!=0 2:timeNum!=0,则说明TetsNum = 1赋值成功了,但是里面的=1判断却没有打印,为什么呢?

这是因为 main协程和子协程共享变量造成的问题,主要执行流程如下:

代码语言：javascript复制

package main

import "time"

func main() {
   var testNum = 0
   go func() {
      time.Sleep(10000)  //隔了10000纳秒
      testNum = 1  //赋值为1
   }()
   for testNum == 0 { 
      //在10000纳秒之前,这个值都为0
      if testNum==1 { //在执行完这次判断后,testNum才更新为1,此时已经没有条件进入此循环,所以此代码永远不执行
         println("testNum=1") 
      }
      println("testNum=",testNum)
      //10000纳秒之前,为0
      //在执行完这条后,testNum突然被更新为了1,所以不会进行下一次循环
   }
   println("loop end.")
}

那么,这里面又涉及到了一个新的问题:

为什么是刚好在执行完一次循环之后,才刚好轮到testNum=1,而不是在执行前之前轮转到呢?

这就涉及到了go的协程调度问题了,具体是怎么调度的呢?