详解Go程序的启动流程，你知道g0，m0是什么吗？

在Go语言中，实际的运行入口并不是用户日常所写的mainfunc，更不是runtime.main方法，而是从rt0_*_amd64.s开始，最终再一路JMP到runtime·rt0_go里去，再在该方法里完成一系列Go自身所需要完成的绝大部分初始化动作。

其中整体包括：

运行时类型检查、系统参数传递、CPU核数获取及设置、运行时组件的初始化（调度器、内存分配器、堆、栈、GC等）。

运行maingoroutine。

运行相应的GMP等大量缺省行为。

涉及到调度器相关的大量知识。

后续将会继续剖析将进一步剖析runtime·rt0_go里的爱与恨，尤其像是runtime.main、runtime.schedinit等调度方法，都有非常大的学习价值，有兴趣的小伙伴可以持续关注。

知道了Go程序是怎么引导起来的之后，我们需要了解GoRuntime中调度器是怎么流转的。

这里主要关注runtime.mstart方法：

调用getg方法获取GMP模型中的g，此处获取的是g0。

通过检查g的执行栈_g_.stack的边界（堆栈的边界正好是lo,hi）来确定是否为系统栈。若是，则根据系统栈初始化g执行栈的边界。

调用mstart1方法启动系统线程m，进行调度器循环调度。

调用mexit方法退出系统线程m。

这么看来其实质逻辑在mstart1方法，我们继续往下剖析：

调用getg方法获取g。并且通过前面绑定的_g_.m.g0判断所获取的g是否g0。若不是，则直接抛出致命错误。因为调度器仅在g0上运行。

调用minit方法初始化m，并记录调用方的PC、SP，便于后续schedule阶段时的复用。

若确定当前的g所绑定的m是m0，则调用mstartm0方法，设置信号handler。该动作必须在minit方法之后，这样minit方法可以提前准备好线程，以便能够处理信号。

若当前g所绑定的m有启动函数，则运行。否则跳过。

若当前g所绑定的m不是m0，则需要调用acquirep方法获取并绑定p，也就是m与p绑定。

调用schedule方法进行正式调度。

忙活了一大圈，终于进入到开题的主菜了，原来潜伏的很深的schedule方法才是真正做调度的方法，其他都是前置处理和准备数据。

由于篇幅问题，schedule方法会放到下篇再继续剖析，我们先聚焦本篇的一些细节点。

不过到这里篇幅也已经比较长了，积累了不少问题。我们针对在Runtime中出镜率最高的两个元素进行剖析：

m0是什么，作用是？

g0是什么，作用是？

m0是GoRuntime所创建的第一个系统线程，一个Go进程只有一个m0，也叫主线程。

从多个方面来看：

数据结构：m0和其他创建的m没有任何区别。

创建过程：m0是进程在启动时应该汇编直接复制给m0的，其他后续的m则都是GoRuntime内自行创建的。

变量声明：m0和常规m一样，m0的定义就是varm0m，没什么特别之处。

g一般分为三种，分别是：

执行用户任务的叫做g。

执行runtime.main的maingoroutine。

执行调度任务的叫g0。。

g0比较特殊，每一个m都只有一个g0（仅此只有一个g0），且每个m都只会绑定一个g0。在g0的赋值上也是通过汇编赋值的，其余后续所创建的都是常规的g。

从多个方面来看：

数据结构：g0和其他创建的g在数据结构上是一样的，但是存在栈的差别。在g0上的栈分配的是系统栈，在Linux上栈大小默认固定8MB，不能扩缩容。而常规的g起始只有2KB，可扩容。

运行状态：g0和常规的g不一样，没有那么多种运行状态，也不会被调度程序抢占，调度本身就是在g0上运行的。

变量声明：g0和常规g，g0的定义就是varg0g，没什么特别之处。

在本章节中我们讲解了Go调度器初始化的一个过程，分别涉及：

runtime.mstart。

runtime.mstart1。

基于此也了解到了在调度器初始化过程中，需要准备什么，初始化什么。另外针对调度过程中最常提到的m0、g0的概念我们进行了梳理和说明。

在今天这篇文章中，我们详细的介绍了Go语言的引导启动过程中的所有流程和初始化动作。

同时针对调度器的初始化进行了初步分析，详细介绍了m0、g0的用途和区别。在下一篇文章中我们将进一步对真正调度的schedule方法进行详解，这块也是个硬骨头了。