groutine与OS线程:
groutine 开启得是用户态得线程
OS线程指得是操作系统得线程
OS线程(操作系统线程)一般都有固定的栈内存 (通常为2MB),一个goroutine的栈在其生命周期开始时只有
很小的栈(典型情况下为2KB) ,goroutine 的栈不市固定的,他可以按需增大和缩小。goroutine的栈的大小限制
可以达到1GB,虽然极少会用到那么大。所以在Go语言中一次创建十万左右的goroutine 也是可以的。
groutine得调度:
GPM是GO语言运行时(runtime)层面得实现,是go语言自己实现得一套调度系统 区别于操作系统调度得OS线程
G:指得是goroutine 里面除了存放本goroutine得信息外 还有于所在P得绑定等信息
M:(machine) 是go运行时(runtime) 对于操作系统内核线程的虚拟, M与操作系统内核线程一般是——映射的关系,一个
goroutine 最终是需要放在M上执行的。
P:管理着一组goroutine队列,P里面会存储当前goroutine运行的上下文环境(函数指针 堆栈地址及地址边界),P会
对自己管理的goroutine队列做一些调度(比如把占用CPU时间较长的goroutine暂停,运行后续的goroutine等等) 当
自己队列里的goroutine消费完了 就去全局队列里取,如果全局队列里的也消费完了 会去其他P的队列里抢任务。
P与M一般也是一一对应的。他们的关系是P管理着一组G挂载在M上运行。当一个G长久阻塞在一个M上时,runtime 会新建一个
M,阻塞G所在的P会把其他的G挂载在新建的M上。当旧的G阻塞完成或者认为其已经死掉时,会回收旧的M。
P的个数市通过runtime.GOMAXPROCS设定(最大256);GO1.5版本以后默认为物理线程数。在并发量大的时候会增加一些P和M,
但也不会太多。切换太频繁的话会得不偿失。
单从线程调度上讲,GO语言相对比起其他语言的优势在于OS线程是由OS内核来调度的,goroutine 则是由GO运行时(runtime)自己的
调度器调度的。这个调度器使用一个称为m:n调度的技术(复用/调度m个goroutine到n个OS线程)。其一大特点是goroutine的调是
在用户态下完成的,不涉及用户态和内存态之间的频繁切换,包括内存的分配与释放,都是在用户态维护着一块大内存池,不直接调用系
统的malloc函数(除非内存池需要改变),成本比调度OS线程低很多。另一方面充分利用了多核的硬件资源,近似的把若干goroutin均
分在物理线程上,再加上本身goroutine的超轻量,以上保证了GO调度放命的性能。
GOMAXPROCS:
GO运行的时候的调度器使用GOMAXPROCS参数来确定需要使用多少个OS线程来同时执行GO代码。默认值是机器上的CPU核心数。
列如再一个8核心的机器上,调度器会把Go代码同时调度到8个OS线程上(GOMAXPROCS是m:n中的n)。
有疑问加站长微信联系(非本文作者)