Golang如何实现并发

最新推荐文章于 2024-08-03 00:15:39 发布

五行散人

最新推荐文章于 2024-08-03 00:15:39 发布

阅读量309

点赞数

文章标签：多线程操作系统 golang

本文链接：https://blog.csdn.net/DkSakura/article/details/116593908

版权

本文探讨了Golang在多核系统上如何分配G到M执行，保证并发能力。当Goroutine创建大量G时，Go运行时系统确保至少一个M自旋寻找G任务，避免全局队列的竞争。当M因系统调用阻塞时，sysmon线程会剥离P，保证G的执行。此外，介绍了G的抢占式调度，依赖于函数调用来检查抢占flag，防止长时间运行的G占用资源。

摘要由CSDN通过智能技术生成

假如我们有一个G(Goroutine1)已经通过P被安排到了一个M上正在执行，在Goroutine1执行的过程中我们又创建两个G，这两个G会被马上放入与Goroutine1相同的P的本地G任务队列中，排队等待与该P绑定的M的执行，这是最基本的结构，很好理解。
关键问题是:

如何在一个多核心系统上尽量合理分配G到多个M上运行，充分利用多核，提高并发能力呢？

如果我们在一个Goroutine中通过go关键字创建了大量G，这些G虽然暂时会被放在同一个队列,
但如果这时还有空闲P（系统内P的数量默认等于系统cpu核心数），Go运行时系统始终能保证至少有一个（通常也只有一个）活跃的M与空闲P绑定去各种G队列去寻找可运行的G任务，该种M称为自旋的M。一般寻找顺序为：自己绑定的P的队列，全局队列，然后其他P队列。如果自己P队列找到就拿出来开始运行，否则去全局队列看看，由于全局队列需要锁保护，如果里面有很多任务，会转移一批到本地P队列中，避免每次都去竞争锁。如果全局队列还是没有，就要开始玩狠的了，直接从其他P队列偷任务了（偷一半任务回来）。这样就保证了在还有可运行的G任务的情况下，总有与CPU核心数相等的M+P组合
在执行G任务或在执行G的路上(寻找G任务)。