Goroutine介绍

1.定义

在java/c++中我们要实现并发编程的时候,我们通常需要自己维护一个线程池,并且需要自己去包装一个又一个的任务,同时需要自己去调度线程执行任务并维护上下文切换,这一切通常会耗费程序员大量的心智。那么能不能有一种机制,程序员只需要定义很多个任务,让系统去帮助我们把这些任务分配到CPU上实现并发执行呢?

Go语言中的goroutine就是这样一种机制,goroutine的概念类似于线程,但 goroutine是由Go的运行时(runtime)调度和管理的。Go程序会智能地将 goroutine 中的任务合理地分配给每个CPU。Go语言之所以被称为现代化的编程语言,就是因为它在语言层面已经内置了调度和上下文切换的机制。

在Go语言编程中你不需要去自己写进程、线程、协程,你的技能包里只有一个技能–goroutine,当你需要让某个任务并发执行的时候,你只需要把这个任务包装成一个函数,开启一个goroutine去执行这个函数就可以了,就是这么简单粗暴。

2.使用

2.1 使用goroutine

Go语言中使用goroutine非常简单,只需要在调用函数的时候在前面加上go关键字,就可以为一个函数创建一个goroutine。

一个goroutine必定对应一个函数,可以创建多个goroutine去执行相同的函数。

注意goroutine 执行的函数没有返回值,因此要想通过函数给某些变量赋值,可以传指针参数。

2.2 启动单个goroutine

启动goroutine的方式非常简单,只需要在调用的函数(普通函数和匿名函数)前面加上一个go关键字。

这个示例中hello函数和下面的语句是串行的,执行的结果是打印完Hello Goroutine!后打印main goroutine done!。

接下来我们在调用hello函数前面加上关键字go,也就是启动一个goroutine去执行hello这个函数。

func main() {go hello() // 启动另外一个goroutine去执行hello函数fmt.Println("main goroutine done!")
}

这一次的执行结果只打印了main goroutine done!,并没有打印Hello Goroutine!。为什么呢?

在程序启动时,Go程序就会为main()函数创建一个默认的goroutine。

当main()函数返回的时候该goroutine就结束了,所有在main()函数中启动的goroutine会一同结束,main函数所在的goroutine就像是权利的游戏中的夜王,其他的goroutine都是异鬼,夜王一死它转化的那些异鬼也就全部GG了。

所以我们要想办法让main函数等一等hello函数,最简单粗暴的方式就是time.Sleep了。

func main() {go hello() // 启动另外一个goroutine去执行hello函数fmt.Println("main goroutine done!")time.Sleep(time.Second)
}

执行上面的代码你会发现,这一次先打印main goroutine done!,然后紧接着打印Hello Goroutine!。

首先为什么会先打印main goroutine done!是因为我们在创建新的goroutine的时候需要花费一些时间,而此时main函数所在的goroutine是继续执行的。

2.3 启动多个goroutine

在Go语言中实现并发就是这样简单,我们还可以启动多个goroutine。让我们再来一个例子: (这里使用了sync.WaitGroup来实现goroutine的同步)

var wg sync.WaitGroupfunc hello(i int) {defer wg.Done() // goroutine结束就登记-1fmt.Println("Hello Goroutine!", i)
}
func main() {for i := 0; i < 10; i++ {wg.Add(1) // 启动一个goroutine就登记+1go hello(i)}wg.Wait() // 等待所有登记的goroutine都结束
}

多次执行上面的代码,会发现每次打印的数字的顺序都不一致。这是因为10个goroutine是并发执行的,而goroutine的调度是随机的。

3.GMP模型

G(Goroutine): 即Go协程,每个go关键字都会创建一个协程。
M(Machine): 工作线程,在Go中称为Machine。
P(Processor): go中管理协程的数据结构
M必须拥有P才可以执行G中的代码,P含有一个包含多个G的队列,P可以调度G交由M执行。其关系如下图所示:

P的个数在程序启动时决定,默认情况下等同于CPU的核数,由于M必须持有一个P才可以运行Go代码,所以同时运行的M个数,也即线程数一般等同于CPU的个数,以达到尽可能的使用CPU而又不至于产生过多的线程切换开销。

3.1 队列轮转

每个P维护着一个包含G的队列,不考虑G进入系统调用或IO操作的情况下,P周期性的将G调度到M中执行,执行一小段时间,将上下文保存下来,然后将G放到队列尾部,然后从队列中重新取出一个G进行调度。

除了每个P维护的G队列以外,还有一个全局的队列,每个P会周期性地查看全局队列中是否有G待运行并将其调度到M中执行,全局队列中G的来源,主要有从系统调用中恢复的G。之所以P会周期性地查看全局队列,也是为了防止全局队列中的G被饿死。

3.2 系统调用

一般情况下M的个数会略大于P的个数,这多出来的M将会在G产生系统调用时发挥作用。类似线程池,Go也提供一个M的池子,需要时从池子中获取,用完放回池子,不够用时就再创建一个。

当M运行的某个G产生系统调用时,如下图所示:

如图所示,当G0即将进入系统调用时,M0将释放P,进而某个空闲的M1获取P,继续执行P队列中剩下的G。而M0由于陷入系统调用而进被阻塞,M1接替M0的工作,只要P不空闲,就可以保证充分利用CPU。
常见的像文件io操作会调用系统调用,进入阻塞状态。

M1的来源有可能是M的缓存池,也可能是新建的。当G0系统调用结束后,根据M0是否能获取到P,将会将G0做不同的处理:

如果有空闲的P,则获取一个P,继续执行G0。
如果没有空闲的P,则将G0放入全局队列,等待被其他的P调度。然后M0将进入缓存池睡眠。

3.3 工作量窃取

多个P中维护的G队列有可能是不均衡的,比如下图:

竖线左侧中右边的P已经将G全部执行完,然后去查询全局队列,全局队列中也没有G,而另一个M中除了正在运行的G外,队列中还有3个G待运行。此时,空闲的P会将其他P中的G偷取一部分过来,一般每次偷取一半。偷取完如右图所示。

4.runtime 的其他函数

4.1 GOMAXPROCS()

GOMAXPROCS(n int)函数可以设置程序在运行中所使用的CPU数,Go语言程序默认会使用最大CPU数进行计算。

// GOMAXPROCS sets the maximum number of CPUs that can be executing
// simultaneously and returns the previous setting. It defaults to
// the value of runtime.NumCPU. If n < 1, it does not change the current setting.
// This call will go away when the scheduler improves.
func GOMAXPROCS(n int) int

GOMAXPROCS()设置可同时执行的最大CPU数,并返回先前的设置。若n < 1,它就不会更改当前设置。本地机器的逻辑CPU数可通过NumCPU查询。

package mainimport ("fmt""runtime""time"
)func main() {n := runtime.GOMAXPROCS(1)fmt.Println("先前的CPU核数设置为: ", n)last := time.Now()for i := 0; i < 100000; i++ {go func() {// 耗时任务a := 999999 ^ 9999999a = a + 1}()}now := time.Now()fmt.Println(now.Sub(last))
}

运行结果如下:

当改为12核进行计算时,效率得到了显著的提升,运行结果如下:

4.2 Goexit()

// Goexit terminates the goroutine that calls it. No other goroutine is affected.
// Goexit runs all deferred calls before terminating the goroutine. Because Goexit
// is not a panic, any recover calls in those deferred functions will return nil.
//
// Calling Goexit from the main goroutine terminates that goroutine
// without func main returning. Since func main has not returned,
// the program continues execution of other goroutines.
// If all other goroutines exit, the program crashes.
func Goexit()

Goexit()终止调用它的Go协程,但其他Go协程不会受影响。Goexit()会在终止该Go协程前执行所有defer的函数。

如下示例:

package mainimport ("fmt""runtime""time"
)func Task1() {defer fmt.Println("task1 stop")fmt.Println("task1 start")fmt.Println("task1 work")
}func Task2() {defer fmt.Println("task2 stop")fmt.Println("task2 start")runtime.Goexit() // 效果和return一样fmt.Println("task2 work")
}func main() {go Task1()go Task2()time.Sleep(time.Second * 5)
}

5.参考文章

传送门1

传送门2

传送门3

传送门4

Goroutine介绍相关推荐

  1. Go 语言实战: 编写可维护 Go 语言代码建议

    Go 语言实战: 编写可维护 Go 语言代码建议 目录 1. 指导原则 1.1 简单性 1.2 可读性 1.3 生产力 2. 标识符 2.1 选择标识是为了清晰, 而不是简洁 2.2 标识符长度 2. ...

  2. 第09章 Go语言并发,Golang并发

    并发指在同一时间内可以执行多个任务.并发编程含义比较广泛,包含多线程编程.多进程编程及分布式程序等.本章讲解的并发含义属于多线程编程. Go 语言通过编译器运行时(runtime),从语言上支持了并发 ...

  3. clodeblocks debug断点调试_Go 的 Debug 工具 delve 介绍

    以下文章来源于大愚Talk ,作者大愚Talk delve 的汉语意思是:钻研.探索:用这个来命名一个debug工具还是非常的形象. 本文主要介绍该工具的安装与常用使用方法.是一个step-by-st ...

  4. golang并发编程goroutine+channel(一)

    go语言的设计初衷除了在不影响程序性能的情况下减少复杂度,另一个目的是在当今互联网大量运算下,如何让程序的并发性能和代码可读性达到极致.go语言的并发关键词 "go" go dos ...

  5. Go语言 goroutine

    一.概念介绍 Go 语言是原生支持语言级并发的,这个并发的最小逻辑单元就是 goroutine.goroutine 就是 Go 语言提供的一种用户态线程,当然这种用户态线程是跑在内核级线程之上的.当我 ...

  6. golang goroutine 协程同步 sync.WaitGroup 简介

    介绍 经常会看到以下了代码: package mainimport ("fmt""time" )func main(){for i := 0; i < 1 ...

  7. golang goroutine 协程原理

    一.goroutine简介 goroutine是go语言中最为NB的设计,也是其魅力所在,goroutine的本质是协程,是实现并行计算的核心.goroutine使用方式非常的简单,只需使用go关键字 ...

  8. c++ 初始化 代码 应放在那里_Go语言goroutine调度器初始化 (12)

    先吐槽一下,知乎编辑器居然不支持汇编语言,代码的空格也给我弄没了,你说你把运算符两边的空格搞掉就搞掉吧,还能看,你为啥要把if, for后面的空格也搞掉啊... 本文是<Go语言调度器源代码情景 ...

  9. Go游戏服务器开发的一些思考(十):goroutine和coroutine

    概要 go语言的特色之一就是goroutine.也就是go协程.由于协程这个东西在go语言之前,用到相对比较少,大家对协程的理解程度不一,或有偏差.比如本人刚接触goroutine时,就对其比较畏惧, ...

最新文章

  1. Django之路由系统
  2. mysql数据库技术基本操作_MySQL数据库的基础操作
  3. yolov3 python_Python 3 Keras YOLO v3解析与实现
  4. [转]学习object-c,补习一下指针
  5. 手把手教你写电商爬虫-第四课 淘宝网商品爬虫自动JS渲染
  6. 阿里这套Java性能调优实战宝典,堪称教科书
  7. 安装Powerdesigner16.5
  8. 服务器虚拟机装nas,nas虚拟主机(nas为什么要装虚拟机)
  9. 初等数学复习之一元二次方程的解法
  10. 苹果系统 python闪退怎么解决_MacOS pyinstaller 打包python应用闪退问题解决
  11. 简谐振动的能量与合成(大学物理笔记)
  12. 南宁二中三中高考2021成绩查询,2021广西重点高中名单及排名
  13. CentOS 7安装并启动Google浏览器
  14. 连缀介绍和简单库对象
  15. 这里有20万个虎年微信红包封面免费领取!
  16. mysql 存储过程 sqlyog_sqlyog写mysql存储过程
  17. Altium Designer(AD20)画PCB时ctrl键、shift键、鼠标按键的妙用
  18. [文献阅读]—Google’s Multilingual Neural Machine Translation System: Enabling Zero-Shot Translation
  19. linux视频应用程序开发,Linux平台音视频开发和音视频SDK应用
  20. Linux C 以read()读取文件并提取字符串

热门文章

  1. VOT tooklit 数据集 安装配置出错:Tracker has not passed the TraX support test.
  2. k8s pod被驱逐问题分析及解决
  3. 乐高玩具展品 大型玩具展品 租赁
  4. 真不是凡尔赛!ChatGPT如此成功,OpenAI也不理解
  5. 动画自动滚动div/像素基础知识/手机端样式选择/
  6. 程序员面试系列,MySQL常见面试题?
  7. 神经网络变得轻松(第二部分):网络训练和测试
  8. D3 vs G2 vs Echarts以及其他可视化图表
  9. 移动APP开发需求分析
  10. 程序员聊天必备表情包,收好不谢