golang调度器

概述

go通过goroutine实现用户态的执行流切换,goroutine有几个好处

  • 用户态切换(网络或者channel,mutex等),不占用资源
  • 可变大小的栈,占用资源少
  • 隐藏底层poller(主要是epoll实现的netpoller细节)和调度细节,使用起来简单,以同步方式实现异步的性能

G M P

G: goroutine,就是平常提到的go中的协程
M: machine,线程,就是平常提到的操作系统中的线程
P: process,处理器,有的文章说代表上下文,P管理G和M,只有当G和P绑定并且分配给P管理的某个M的时候,G才会被执行。G一般存在与P的本地队列里面,也有可能存在全局的队列或者从其他的P的本地队列里偷过来

golang调度器

调度策略

当G执行任何需要等待的任务或者运行时间太长被强制换出的时候都会阻塞。此时与其绑定的M会被G用来运行队列中的其他G。
但是当G读写文件的时候,M也会被阻塞,此时P会生成新的M来运行队列中的其他G。M默认最大10000,有runtime.SetMaxThreads来设置
P一般等于cpu核心数,runtime.SetMaxProc

调度器实现了抢占
也就是说如果一个G执行太久,是会被切换出去的。
这样可以确保整个程序看起来是“并发”执行的,而不是一个G可以执行时就是一直执行,其他G都饿死。
但是切换点需要是函数调用。假设G中是不调函数的纯无限循环计算,还是无法被抢占。