go并发奥秘:GMP模型|Go主题月

简介: 为什么go能支持高并发,它和Java的多线程有什么不同?常规的多线程是由CPU直接调度的,其中大部分时间花在了上下文切换上面,所以后面就了了协程(co-routine),用于减少上下文切换。

为什么这么快?


为什么go能支持高并发,它和Java的多线程有什么不同?

常规的多线程是由CPU直接调度的,其中大部分时间花在了上下文切换上面,所以后面就了了协程(co-routine),用于减少上下文切换。

网络异常,图片无法展示
|

GMP模型

go的高并发特性秘密就是GMP模型

网络异常,图片无法展示
|

M0和G0

M0

M0是启动程序后的编号为0的主线程,这个M对应的实例会在全局变量runtime.m0中,不需要在heap上分配,M0负责执行初始化操作和启动第一个G, 在之后M0就和其他的M一样了。

G0

G0是每次启动一个M都会第一个创建的gourtineG0仅用于负责调度的GG0不指向任何可执行的函数, 每个M都会有一个自己的G0。在调度或系统调用时会使用G0的栈空间, 全局变量的G0M0G0

网络异常,图片无法展示
|

新的协程被创建和执行

当有新的协程G被创建时,会优先放入被创建的当前P本地队列,如果本地P队列满了,则放入全局G队列。然后P通过G0调度到新的G,然后G0退出,P执行新的G。

网络异常,图片无法展示
|

自旋线程

当本地P队列为空,当前线程就会变成自旋线程,此时G0不断的寻找可执行的G(优先从全局G队列查找),然后找到后放入本地P队列,然后P切换到新找到的G继续执行。

网络异常,图片无法展示
|

work stealing机制

上面的自旋线程是优先从全局G队列里查找可执行的G,当全局G队列也为空时,他就会从其它的P队列里偷取G,然后放入本地P队列。

网络异常,图片无法展示
|

hand off机制

如果当前线程的G进行系统阻塞调用时,如进行time.sleep,则当前线程就会释放P,然后把P转交给其它空闲的线程执行,如果没有闲置的线程,则创建新的线程

网络异常,图片无法展示
|

本地P队列已满

如果本地P队列满了,将本地P队列前一半打乱顺序,然后和新的G一起放入全局G队列

网络异常,图片无法展示
|


目录
相关文章
|
1月前
|
Go
Go 语言为什么不支持并发读写 map?
Go 语言为什么不支持并发读写 map?
|
1月前
|
并行计算 数据挖掘 大数据
[go 面试] 并行与并发的区别及应用场景解析
[go 面试] 并行与并发的区别及应用场景解析
|
3月前
|
Go
go的并发初体验、加锁、异步
go的并发初体验、加锁、异步
|
1天前
|
Shell Go API
Go语言grequests库并发请求的实战案例
Go语言grequests库并发请求的实战案例
|
1月前
|
数据采集 Go 定位技术
使用go并发网络爬虫
使用go并发网络爬虫
|
1月前
|
编译器 数据库连接 Go
Go Sync 包:并发的 6 个关键概念
Go Sync 包:并发的 6 个关键概念
|
1月前
|
Go API
Go 利用上下文进行并发计算
Go 利用上下文进行并发计算
|
1月前
|
安全 Go 调度
[go 面试] 深入理解并发控制:掌握锁的精髓
[go 面试] 深入理解并发控制:掌握锁的精髓
|
20天前
|
监控 Devops 测试技术
|
1月前
|
算法 Go 数据库
[go 面试] 并发与数据一致性:事务的保障
[go 面试] 并发与数据一致性:事务的保障