goroutine调用机制

goroutine调用机制

1. GPM模型

• G：理解为任务，代表着一个goroutine
• P：理解为处理器，每个M都在P上面运行，数量是GOMAXPROCS，最大256
• M：理解为线程，创建M时都会在底层创建线程，G都是在M上运行

2. gorountine过程

• goroutine执行时，相对应的就是创建一个任务，这个任务进入到队列中（全局队列）
• 如果有空闲的处理器，则会创建线程来循环执行任务。该线程会先从本地队列中获取任务，如果本地队列中没有任务了，再从全局队列中获取（获取的数量=全局队列任务量/处理器数量），如果全局队列中也没有了，则从其他处理器中获取（获取的数量=此处理器任务数的1/2）
• 任务均是按照队列的顺序来取的，但是执行的时候是随机的

3. 线程创建过程

• 如果有空闲的处理器，则创建。没有的话直接跳过，要保证不能超过设定的处理器个数（GOMAXPROCS，最大为256）
• 调用操作系统的API创建线程，然后开始循环执行任务

4. 任务执行时间过长

• 启动的时候，会专门有一个sysmon线程来监控和管理

• 每一个处理器中都包涵一个任务的计数器，每执行完一个任务就会递增

• 如果监测到计数器一直没递增，说明处理器一直在执行同一个任务，如果超过10ms，则会在栈信息中加入一个标记。

• 如果该任务执行非内联函数，则会检查这个标记，然后中断自己，将自己加入到队列尾部，执行下一个任务

• 如果该任务没有执行非内联函数，那就只能等待该任务自己结束。如果是死循环或者GOMAXPROCS=1，则可能崩溃

  注：中断的时候，会将寄存器中的信息保存到任务中，下次执行时会接着上一次的位置执行。

5. 什么是goroutine

• 它是go并发设计的核心
• goroutine就是协程，它比线程更小，十几个goroutine在底层可能就是五六个线程
• go语言内部实现了goroutine的内存共享，执行goroutine只需极少的栈内存(大概是4~5KB)

6. 参考

浅谈Go语言的Goroutine和协程_终极冥帝-CSDN博客

golang的goroutine调度机制_两只羊的博客-CSDN博客_goroutine调度机制