GO并发编程 第四章

M P G

1. M代表内核线程或工作线程，P是Go代码片段执行的上下文环境，G代表Go代码片段。一个M与一个P关联后就形成了一个有效的G运行环境。
2. 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可以重新设置，新值比旧值小会引发运行时恐慌。
3. 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
4. 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
5. runtime
   · runtime.allm; runtime.allp; runtime.allgs;
   · runtime.sched.midle; pidle; gidle; runqhead; runqtail; gfreeStack; gfreeNoStack
   · runtime.p.runq; runtime.p.gfree

调度器

1. 配合gc等串行任务的字段
   · gcwaiting，是否需要因一些任务停止调度
   · stopwait，需要停止但未停止的P数量
   · stopnote，与stopwait相关的事件通知机制
2. main是第一个用户G，而负责运行时任务的称作运行时G
3. runtime的schedule函数代表一轮调度，首先判断当前M是否已与某个G锁定，或者正有串行任务等待运行，都没有则努力为M找一个可运行G，然后还要判断这个G是否已经与某个M锁定
4. go 调度器是同时运行在若干个M之中的
5. 系统监测任务负责抢夺合适的P和G，并根据idle和delay来执行GC和堆清扫
6. 有一个G专门负责强制GC，