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

曼托斯 · · 1717 次点击 · · 开始浏览    
这是一个创建于 的文章,其中的信息可能已经有所发展或是发生改变。

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

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

Goroutines

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

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

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

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

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

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

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

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

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

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

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

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

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

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


有疑问加站长微信联系(非本文作者)

本文来自:Segmentfault

感谢作者:曼托斯

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

入群交流(和以上内容无关):加入Go大咖交流群,或添加微信:liuxiaoyan-s 备注:入群;或加QQ群:692541889

1717 次点击  
加入收藏 微博
暂无回复
添加一条新回复 (您需要 登录 后才能回复 没有账号 ?)
  • 请尽量让自己的回复能够对别人有帮助
  • 支持 Markdown 格式, **粗体**、~~删除线~~、`单行代码`
  • 支持 @ 本站用户;支持表情(输入 : 提示),见 Emoji cheat sheet
  • 图片支持拖拽、截图粘贴等方式上传