Golang使用一种称为抢占式调度(Preemptive Scheduling)的调度策略。抢占式调度是指调度程序可以在一个任务执行期间中断并切换到另一个任务。
Golang的抢占式调度的原理如下:
Golang的调度器维护一个全局的运行队列(run queue),其中包含所有可运行的goroutine(即任务)。调度器会根据一定的策略从运行队列中选择一个goroutine来执行。
当一个goroutine开始执行时,调度器会将其分配给一个线程(称为M,或machine),并且将该线程标记为忙碌状态。
当一个goroutine执行时间超过一定阈值(称为时间片,或time slice)时,调度器会在该goroutine暂停执行时,将其重新放回运行队列,并选择另一个可运行的goroutine执行。
切换线程时,调度器会在空闲线程池中选择一个空闲的线程,将它标记为忙碌状态,并将该线程分配给即将执行的goroutine。
调度器还会根据一定的策略(如抢占点)在特定情况下中断正在执行的goroutine,并将其切换到其他goroutine。这样可以避免某个goroutine长时间占用线程,导致其他goroutine无法得到执行的情况。
总之,Golang的抢占式调度通过在goroutine执行期间进行切换,以实现高效地利用CPU资源和保证并发执行的需求。调度器负责在合适的时机中断正在执行的goroutine,并在运行队列中选择下一个可运行的goroutine来执行。这种调度策略可以提高程序的并发性和响应性。