关键词：
本文整理自The Go scheduler
Goroutine的调度
Go语言之所以要自己实现一个调度器有以下两个原因：
- 协程调度。因为系统内核不能再决定协程的切换，那么协程的切换时间点则是由程序内部的调度器决定的。
- 垃圾回收。垃圾回收的必要条件是内存位于一致状态，这就需要暂停所有的线程，如果交给系统去做，那么会暂停所有的线程使其一致。程序自身的调度器知道什么时候内存位于一致状态，那么就没有必要暂停所有运行的协程。
调度模型简介
Go的调度器内部有三个重要的结构：M，P，S
M：Machine，代表内核级线程，内核线程是有操作系统进行管理的。M是一个很大的结构，里面维护小对象内存cache（mcache）、当前执行的goroutine、随机数发生器等等非常多的信息。
P：Processor，上下文处理器，它的主要用途就是用来连接执行的goroutine和内核线程的，所以它也维护了一个未被执行的goroutine队列，里面存储了所有需要它来执行的goroutine。
G：代表一个goroutine，它有自己的栈，instruction pointer和其他信息（正在等待的channel等等），用于调度。
调度器是sched，它没在上图中被标注出，它维护有存储M和G的队列以及调度器的一些状态信息等。
下面图我们看到他们之间的对应规则：一个M对应一个P，一个P下面挂多个G，但一个时候只有一个G在跑，其余都是放入等待队列，等待下一次切换时使用。
从上图中看，有2个物理线程M，每一个M都拥有一个处理器P，每一个也都有一个正在运行的goroutine。
P的数量可以通过GOMAXPROCS()来设置，它其实也就代表了真正的并发度，即有多少个goroutine可以同时运行。图中灰色的那些goroutine并没有运行，而是出于ready的就绪态，正在等待被调度。P维护着这个队列（称之为runqueue）。
Go语言里，启动一个goroutine很容易：go function 就行，所以每有一个go语句被执行，runqueue队列就在其末尾加入一个goroutine，在下一个调度点，就从runqueue中取出一个goroutine执行。
那么假如一个运行的协程G调用syscall进入阻塞怎么办？如下图左边
G0进入阻塞，那么P会转移到另外一个内核线程M1（此时P与M还是1对1）。当syscall返回后，G0需要抢占一个P继续执行，如果抢占不到，G0挂入全局就绪队列runqueue，然后自己睡眠（放入线程缓存里）。所有的P也会周期性的检查global runqueue并运行其中的goroutine，否则global runqueue上的goroutine永远无法执行。
另一种情况是P所分配的任务G很快就执行完了（分配不均），这就导致了这个处理器P很忙，但是其他的P还有任务，此时如果global runqueue没有任务G了，那么P不得不从其他的P里拿一些G来执行。一般来说，如果P从其他的P那里要拿任务的话，一般就拿run queue的一半，这就确保了每个OS线程都能充分的使用，如下图：
golang的goroutine调度机制
golang的goroutine调度机制2016年09月26日14:28:08阅读数：5664一直对goroutine的调度机制很好奇，最近在看雨痕的golang源码分析，(基于go1.4)感觉豁然开朗，受益匪浅；去繁就简，再加上自己的一些理解，整理了一下~~调度器主要基于三个... 查看详情
goroutine调度
...了，现在的调度器模型是G-P-M模型G-M模型我们用G表示goroutine，M表示thread线程，下图是G-M模型的的实现：M想要执行、放回G都需要先申请锁，然后 查看详情
goroutine调度
...了，现在的调度器模型是G-P-M模型G-M模型我们用G表示goroutine，M表示thread线程，下图是G-M模型的的实现：M想要执行、放回G都需要先申请锁，然后 查看详情
goroutine调度
...了，现在的调度器模型是G-P-M模型G-M模型我们用G表示goroutine，M表示thread线程，下图是G-M模型的的实现：M想要执行、放回G都需要先申请锁，然后 查看详情
goroutine的调度
本文整理自TheGoschedulerGoroutine的调度Go语言之所以要自己实现一个调度器有以下两个原因：协程调度。因为系统内核不能再决定协程的切换，那么协程的切换时间点则是由程序内部的调度器决定的。垃圾回收。垃圾回收的... 查看详情
go中的特殊协程g0
...术A【译文】原文地址本文基于go1.13版本所有在Go中创建的goroutines都由一个内部调度程序的管理。Go调度程序试图给所有的goroutines分配运行时间，并且在当前goroutine被阻塞或终止情况下也能使CPU忙于运行其他goroutines。Go通过GOMAXPRO... 查看详情
[日常]go语言圣经-goroutines和线程
Goroutines和线程:1.动态栈: 1)线程都有一个固定大小的内存块(一般会是2MB)来做栈 2)一个goroutine会以一个很小的栈开始其生命周期，一般只需要2KB,不是固定的；栈的大小会根据需要动态地伸缩2.Goroutine调度: 1)线程是使用硬件定时器... 查看详情
go并发编程(代码片段)
并发编程GoroutineGoroutine是Go语言特有的并发体，是一种轻量级的线程，由go关键字启动。在真实的Go语言的实现中，goroutine和系统线程也不是等价的。一个Goroutine会以一个很小的栈启动（可能是2KB或4KB），当遇到深度递归导致当前... 查看详情
golang控制goroutine调度顺序(代码片段)
使用go关键字就可以很容易的启动一个goroutine，启动后他们的执行顺序是不能保证的。如果有多个goroutine，怎样按照我想要的顺序来执行呢？如：a1在b1和c1后面执行（b1和c1都执行完a1才能执行）d1在a1后面执... 查看详情
go语言——goroutine并发模型
参考技术A参考：Goroutine并发调度模型深度解析&手撸一个协程池Golang的goroutine是如何实现的？Golang-调度剖析【第二部分】OS线程初始栈为2MB。Go语言中，每个goroutine采用动态扩容方式，初始2KB，按需增长，最大1G。此外GC会收缩栈... 查看详情
go协程（goroutine）调度原理(代码片段)
...，可能很多Gopher都好奇Go运行时究竟是如何将一个个Goroutine调度到CPU上执行的。当然，Goroutine的调度本来是Go语言核心开发团队才应该关注的事情，大多数Gopher们无需关心。但就我个人的学习和实践经验而言，我觉... 查看详情
go36-16,17-goroutine(代码片段)
...讯的方式共享数据。更具体地说，它一般被用来在不同的goroutine之间传递数据。这篇主要讲goroutine是什么。简单来说，goroutine代表着并发编程模型中的用户级线程。调度器Go语言不但有着独特的并发编程模型，以及用户级线程goro... 查看详情
goroutine
进程和线程进程是程序在操作系统中的一次执行过程，系统进行资源分配和调度的一个独立单位。线程是进程的一个执行实体,是CPU调度和分派的基本单位,它是比进程更小的能独立运行的基本单位。一个进程可以创建和撤销多个... 查看详情
19.go语言基础之并发(代码片段)
...windows中360在杀毒，同时你也在写代码）Go语言的并发通过goroutine实现。goroutine类似于线程，属于用户态的线程，我们可以根据需要创建成千上万个goroutine并发工作。goroutine是由Go语言的运行时(runtime)调度完成，而线程是由操作系... 查看详情
goroutine并发调度模型深度解析之手撸一个协程池(代码片段)
golanggoroutine协程池GroutinePool高并发并发（并行），一直以来都是一个编程语言里的核心主题之一，也是被开发者关注最多的话题；Go语言作为一个出道以来就自带『高并发』光环的富二代编程语言，它的并发（并行）编程肯定是... 查看详情
go的调度与go的gc
go的调度与go的GC调度首先golang的goroutine占用的资源非常小，默认size是2k，goroutine调度的切换也不用到内核层去完成，代价很低，所以go可以创建成千上万个goroutine。对于操作系统而言，go程序是一个用户层程序，对goroutine是不可... 查看详情
golang---gmp调度策略(代码片段)
...今天我们来学习Go的调度机制。数据结构G结构体 G是goroutine的缩写，相当于操作系统中的进程控制块，在这里就是goroutine的控制结构，是对goroutine的抽象，下面是G的结构(只列出了部分与调度有关的)：//用于保存上下文的gobuf... 查看详情
go语言基础之并发(代码片段)
...多个任务并行：同一时刻执行多个任务Go语言的并发通过goroutine实现。goroutine类似于线程，属于用户态的线程，我们可以根据需要创建成千上万个goroutine并发工作。goroutine是由Go语言的运行时（runtime）调度完成，而线程是由操作... 查看详情