剖析使Go语言高效的5个特性(4/5): Goroutines

发布时间:2019-08-06 发布网站:脚本宝典
脚本宝典收集整理的这篇文章主要介绍了剖析使Go语言高效的5个特性(4/5): Goroutines脚本宝典觉得挺不错的,现在分享给大家,也给大家做个参考。

翻译原文链接 转帖/转载请注明出处

英文原文链接 发表于2014/06/07

Goroutines

Go语言有goroutines。它们是Go语言里并发编程的基石。

首先,我们来了解goroutines产生的历史。在一开始,计算机只能跑一个进程。然后到了60年代,多进程或者说是分时的概念变得很流行。在一个分时系统里,操作系统必须不停地将CPU上运行的进程进行切换。这种切换必须要将当前的进程状态保存下来,并且将下一个进程的状态恢复到CPU上。这个过程叫进程切换(PRocess swITching)

剖析使Go语言高效的5个特性(4/5): Goroutines

进程切换主要有三大开销。首先内核需要把当前进程用到的所有寄存器内容保存下来,然后把下一个进程用到的寄存器内容恢复到CPU上。内核还需要将CPU上的虚拟内存地址到物理内存地址的映射清空,因为它们只对当前进程来说是有效的。最后,还有些额外的开销是操作系统的上下文切换(context switch),以及调度器对下一个使用CPU进程的选择。

剖析使Go语言高效的5个特性(4/5): Goroutines

现代处理器里有大量的寄存器。我已经无法将它们都写在一页演讲幻灯片上。你应该大致有概念保存和恢复它们需要多少时间里。

进程切换可以在一个进程执行过程中的任何位置发生。操作系统需要保存所有这些寄存器,因为它不知道哪些寄存器是被用到的。于是就有了线程的概念。线程从概念上来说和进程是一样的,但是它们共享同一个内存寻址空间。

剖析使Go语言高效的5个特性(4/5): Goroutines

因为线程共享了寻址空间,它们比进程更加轻量化。所以创建和切换线程更高效。

Goroutines把这个概念做了进一步延伸。

剖析使Go语言高效的5个特性(4/5): Goroutines

Goroutines的调度是自发合作的(cooperatively),而不依赖于内核来管理它们的分时。Goroutines之间的切换只在一些事先定义好的位置发生。在这些位置上,会有一个对Go运行环境(runtime)里的调度器的函数调用。编译器知道哪些寄存器被使用到了并将它们保存下来。

剖析使Go语言高效的5个特性(4/5): Goroutines

虽然goroutines的调度是自发合作的,但是调度是由运行环境完成的。Goroutines触发调度的位置包括:

  • Channel的发送和接收操作(当这些操作发生阻塞时)
  • Go语句,但是并不保证新的goroutine会被立刻调度
  • 像文件和网络操作这样的阻塞系统调用(Syscalls)
  • 垃圾回收之后

剖析使Go语言高效的5个特性(4/5): Goroutines

上面这个例子显示了这些会发生调度的位置。

左边是一个ReaDFile函数。箭头表示线程。当它执行到os.OPEn的时候,线程会被阻塞来等待文件操作。这时候调度器就会把右边的goroutine切换到这个线程上来。一直运行到读c chan阻塞的时候,os.Open的调用已经完成,所以调度器把线程切换回左边的file.Read函数继续执行。然后它被阻塞在了文件的读写操作上。调度器把线程又切换回右边去运行刚才的channel操作。这个操作现在已经不被阻塞,但是现在又要被阻塞在channel发送上了。最后当文件读操完成的时候,线程切换回左边继续运行。

剖析使Go语言高效的5个特性(4/5): Goroutines

上图显示了底层的runtime.Syscall函数。os包里的其它函数都会用到它。当你的代码需要调用操作系统接口的时候,这个函数都会被调用。这里对entersyscall的调用通知了Go的运行环境这个线程将要被阻塞。这样,当这个线程被阻塞的时候,运行环境会创建出一个新的线程来运行其它的goroutines。

这样的好处就是每个Go进程只需要少量的操作系统线程。Go的运行环境来负责将可运行的goroutine分配到空闲的操作系统线程上。

脚本宝典总结

以上是脚本宝典为你收集整理的剖析使Go语言高效的5个特性(4/5): Goroutines全部内容,希望文章能够帮你解决剖析使Go语言高效的5个特性(4/5): Goroutines所遇到的问题。

如果觉得脚本宝典网站内容还不错,欢迎将脚本宝典推荐好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。