线程其实分两种:
- 一种是传统意义的操作系统线程
- 一种是编程语言实现的用户态线程,也称为协程,在 Go 中就是 goroutine
因此,goroutine 的存在必然是为了换个方式解决操作系统线程的一些弊端 – 成本太高 。
成本太高表现在如下几个方面:
1、创建和切换成本太高
操作系统线程的创建和切换都需要进入内核,而进入内核所消耗的性能代价比较高,开销较大;
2、内存使用太高
一方面,为了尽量避免极端情况下操作系统线程栈的溢出,内核在创建操作系统线程时默认会为其分配一个较大的栈内存(虚拟地址空间,内核并不会一开始就分配这么多的物理内存),然而在绝大多数情况下,系统线程远远用不了这么多内存,这导致了浪费;
另一方面,栈内存空间一旦创建和初始化完成之后其大小就不能再有变化,这决定了在某些特殊场景下系统线程栈还是有溢出的风险。
相对的,用户态的goroutine则轻量得多:
goroutine是用户态线程,其创建和切换都在用户代码中完成而无需进入操作系统内核,所以其开销要远远小于系统线程的创建和切换;
goroutine启动时默认栈大小只有2k,这在多数情况下已经够用了,即使不够用,goroutine的栈也会自动扩大,同时,如果栈太大了过于浪费它还能自动收缩,这样既没有栈溢出的风险,也不会造成栈内存空间的大量浪费。