Goroutine设计原理

最新推荐文章于 2023-06-18 19:15:05 发布

咖啡198

最新推荐文章于 2023-06-18 19:15:05 发布

阅读量2.9k

点赞数 1

分类专栏： Golang 文章标签： Golang

本文链接：https://blog.csdn.net/Yancey198/article/details/54149209

版权

Golang 专栏收录该内容

2 篇文章 0 订阅

订阅专栏

为什么Golang需要单独开发一个Goroutine？

开销问题：

POSIX的thread API虽然能够提供丰富的API，例如配置自己的CPU亲和性，申请资源等等，线程在得到了很多与进程相同的控制权的同时，开销也非常的大，在Goroutine中则不需这些额外的开销，所以一个Golang的程序中可以支持10w级别的Goroutine。
调度性能：

在Golang的程序中，操作系统级别的线程调度，通常不会做出合适的调度决策。例如在GC时，内存必须要达到一个一致的状态。在Goroutine机制里，Golang可以控制Goroutine的调度，从而在一个合适的时间进行GC。

Goroutine的实现原理

两种备选方案
- (M:1)多个用户态的线程对应一个系统线程，它可以做快速的上下文切换。缺点是不能有效利用多核CPU
- (1:1)一个用户态的线程对应一个系统线程，它可以利用多核机制，但上下文切换需要消耗额外的资源
Golang的做法
- (M:N)Golang采取了一种多对多的方案。M个用户线程对应N个系统线程，缺点增加了调度器的实现难度
角色：
- M: 代表了系统线程，由操作系统管理
- G：Goroutine的实体，包括了调用栈，重要的调度信息，例如channel等。
- P：衔接M和G的调度上下文，它负责将等待执行的G与M对接。
  
  P的数量由环境变量中的GOMAXPROCS决定，通常来说它是和核心数对应，例如在4Core的服务器上回启动4个线程。G会有很多个，每个P会将Goroutine从一个就绪的队列中做Pop操作，为了减小锁的竞争，通常情况下每个P会负责一个队列。
挂起

在Goroutine需要执行一个系统调用时，由于M是一个线程，所以必须等待它执行完才能执行其他的Goroutine。当一个新的Goroutine产生，M需要保证会有另外的一个M能够执行这个G，简单来说，当一个M进行系统调用，需要保证有另外的一个M能够继续执行Go代码。
- 何时恢复？
  
  当系统调用返回时，M需要找到一个对应的P，以便能够运行Goroutine，它首先会尝试从其他线程中窃取一个P，如果不成功，它会将Goroutine放在一个全局的队列中,并将自己放在thread cache中。
- 如何窃取
  
  这里有篇paper来描述这个设计：work-steal.
  
  简单来说，当队列不平衡时，会从其他队列中截取一部分Goroutine到P上进行调度。