go的调度问题

go的调度

 

线程和协程的区别，线程是内核态的，而协程是用户态。线程之间的切换主要由内核去调度，而协程之间的切换则需要用户去操作。线程切换需要保存上下文信息，切换到另一个线程，过段时间，恢复到之前的线程继续执行。cpu时间片的让渡，上下文的保存等等复杂操作都是由内核实现的，操作员不需要关注其中的细节。对操作员更加友好。但是为了支持这些操作，线程需要使用大量的资源。所以一个进程之间只能支持少量的线程，一般几个，十几个就会将资源耗尽。而协程则不同，它将协程之间的调度交给操作员去处理，优秀的操作员可以通过各种操作降低协程之间上下文切换资源占用，处理切换时机等等。对操作员的水平要求更高，由于调度由操作员控制，那么使用的资源相对来说会更少，所以一个进程可以启动的协程数量比线程更多。

 

goroutine结合了线程和协程的优点。主要表现在，从资源占用上看，goroutine更像是协程，占用的资源都很少，支持一个进程开千个万个goroutine。而从切换角度来看，goroutine更像是线程，不需要用户实现goroutine之间的调度。goroutine之间的调度不由内核来操作，也不由用户操作。由go自己来操作，go中自己实现了调度器。

 

执行go程序时，从main开始，main goroutine创建一个新的M,绑定一个P。如果main函数里有其他的goroutine，查询是否有空闲的P，如果有，创建一个新的M，加入新P的本地队列中，绑定其他空闲的P。如果没有空闲的P，那么将G加入全局队列中。每次执行时，循环执行本地队列任务（本地队列和全局队列会交换任务），然后执行全局任务，都没有的话，去其他P里面偷，偷一半。