一架梯子,一头程序猿,仰望星空!
Golang中级特性面试题 > 内容正文

Golang goroutine(协程) 存在的意义是什么?


问题简答

Golang的协程,是一种比线程使用成本更低的并发机制,主要体现在内存消耗、协程切换开销都比线程小。

问题详解:

线程其实分两种:

  • 一种是传统意义的操作系统线程
  • 一种是编程语言实现的用户态线程,也称为协程,在 Go 中就是 goroutine

因此,goroutine 的存在必然是为了换个方式解决操作系统线程的一些弊端 – 成本太高 。

成本太高表现在如下几个方面:

1、创建和切换成本太高
操作系统线程的创建和切换都需要进入内核,而进入内核所消耗的性能代价比较高,开销较大;

2、内存使用太高
一方面,为了尽量避免极端情况下操作系统线程栈的溢出,内核在创建操作系统线程时默认会为其分配一个较大的栈内存(虚拟地址空间,内核并不会一开始就分配这么多的物理内存),然而在绝大多数情况下,系统线程远远用不了这么多内存,这导致了浪费;

另一方面,栈内存空间一旦创建和初始化完成之后其大小就不能再有变化,这决定了在某些特殊场景下系统线程栈还是有溢出的风险。

相对的,用户态的goroutine则轻量得多:

goroutine是用户态线程,其创建和切换都在用户代码中完成而无需进入操作系统内核,所以其开销要远远小于系统线程的创建和切换;

goroutine启动时默认栈大小只有2k,这在多数情况下已经够用了,即使不够用,goroutine的栈也会自动扩大,同时,如果栈太大了过于浪费它还能自动收缩,这样既没有栈溢出的风险,也不会造成栈内存空间的大量浪费。