M P G
- M代表内核线程或工作线程，P是Go代码片段执行的上下文环境，G代表Go代码片段。一个M与一个P关联后就形成了一个有效的G运行环境。
- M
2.1 M的重要组成：
· g0，g的指针类型，一个特殊的goroutine，用于执行一些运行时任务
· curg，g的指针，当前关联的goroutine
· p，当前关联的P
· nextp，与关联的P
· spinning，是否在寻找可运行的G
· lockedg，绑定的某个特定的G
· mstartfunc，起始函数，即待执行的goroutine函数或运行时任务
2.2 M在创建时会被加入runtime.allm，并被设置起始函数和与关联P。运行时M会在执行GC时被停止，并被放入调度器的空闲m列表，runtime.sched.midle。引导程序会把M的最大数量初始值设为10000，通过runtime.setMaxThreads可以重新设置，新值比旧值小会引发运行时恐慌。 - P
3.1 P数量可以通过runtime.GOMAXPROCS(4)设置或GOMAXPROCS环境变量设置
3.2 引导程序对P设置的默认值与cpu核心数相同
3.3 runtime.allp存放着所有P，runtime.sched.pidle存放着空闲P
3.4 P的状态
· Pidle，未与任何M关联
· Prunning，正在与某个M关联
· Psyscall，P中运行的G正在进行系统调用
· Pgcstop，运行时系统需要停止调度
· Pdead，P已不在被使用，当GOMAXPROCS减小时，多余的P是这个状态
3.5 P中除了包含可运行G列表，还有自由G列表，这里面是一些已经完成运行的G，当P的自由G列表过长时，会移一部分到调度器的自由G列表中，程序中go语句要新起一个G时会从P和调度器的自由G中找一个复用，如果没有再新建一个G - G
4.1 go语句内部是通过newproc函数实现的
4.2 所有G也都在runtime.allgs中
4.3 G的状态：
· Gidle，G刚分配还未初始化
· Grunnable，G在可运行队列中等待运行
· Grunning，正在运行
· Gsyscall，正在进行系统调用
· Gwaiting，阻塞
· Gdead，闲置，处于此状态的G可以被重用，会被放到自由G列表
· Gcopystack，栈正被扩展或收缩
· Gscan与上面的组合，表示正在执行运行时监控或GC - runtime
· runtime.allm; runtime.allp; runtime.allgs;
· runtime.sched.midle; pidle; gidle; runqhead; runqtail; gfreeStack; gfreeNoStack
· runtime.p.runq; runtime.p.gfree
调度器
- 配合gc等串行任务的字段
· gcwaiting，是否需要因一些任务停止调度
· stopwait，需要停止但未停止的P数量
· stopnote，与stopwait相关的事件通知机制 - main是第一个用户G，而负责运行时任务的称作运行时G
- runtime的schedule函数代表一轮调度，首先判断当前M是否已与某个G锁定，或者正有串行任务等待运行，都没有则努力为M找一个可运行G，然后还要判断这个G是否已经与某个M锁定
- go 调度器是同时运行在若干个M之中的
- 系统监测任务负责抢夺合适的P和G，并根据idle和delay来执行GC和堆清扫
- 有一个G专门负责强制GC，
网友评论