title: Goroutine(协程)的理解
tags: Go,Goroutine
Author: Clown95


并发概念

Go语言相对于其他语言的最大一个特色就是支持高并发编程模式。Goroutine(协程)是Go中最基本的执行单元。事实上每一个Go程序至少有一个Goroutine:主Goroutine。当程序启动时,它会自动创建。

并发并行
  • 并发:逻辑上具备同时处理多个任务的能力。
  • 并行:物理上在同一时刻执行多个并发任务。
并发并行
线程和协程

Go 语言在语言层面上支持了并发,goroutine是Go语言提供的一种用户态线程,有时我们也称之为协程。下面我们了解下协程和线程。

  • 进程:拥有自己独立的堆和栈,既不共享堆,亦不共享栈,进程由操作系统调度。

  • 线程:拥有自己独立的栈和共享的堆,共享堆,不共享栈,线程亦由操作系统调度。

  • 协程 :和线程一样共享堆,不共享栈,协程由程序员在协程的代码里显示调度。

在操作系统的OS Thread和编程语言的User Thread之间,实际上存在3种线程对应模型,也就是:1:1,1:N,M:N。

  • 1:1:一个用户线程就只在一个内核线程上跑,这时可以利用多核,但是上下文切换很慢,切换效率很低。

  • N:1:多个(N)用户线程始终在一个内核线程上跑,context上下文切换很快,但是无法真正的利用多核。

  • M:N:多个goroutine在多个内核线程上跑,这个可以集齐上面两者的优势,既能快速切换上下文,也能利用多核的优势,而Go正是选择这种实现方式。

简单将 goroutine归纳为协程并不合适。运行时会创建多个线程来执行并发任务,且任务单元可被调度到其他线程并行执行。这更像是多线程和协程的综合体,能最大限度提升执行效率,发挥多核处理能力。

MPG模型

我们可以创建很多的goroutine,并且它们跑在同一个内核线程之上的时候,就需要一个调度器来维护这些goroutine,确保所有的goroutine都能使用cpu,并且是尽可能公平地使用cpu资源。

Go语言中调度器的主要有4个重要部分,分别是M、G、P、前三个定义在runtime.h中,Sched定义在proc.c中。

  • M (work thread) 代表了系统线程OS Thread,由操作系统管理。

  • P (processor) 衔接M和G的调度上下文,它负责将等待执行的G与M对接。P的数量可以通过GOMAXPROCS()来设置,它其实也就代表了真正的并发度,即有多少个goroutine可以同时运行。

  • G (goroutine) goroutine的实体,包括了调用栈,重要的调度信息,例如channel等。

  • Sched是调度实现中使用的数据结构,大多数需要的信息都已放在了结构体M、G和P中,Sched结构体只是一个壳。Sched结构体中的Lock是非常必须的,如果M或P等做一些非局部的操作,它们一般需要先锁住调度器。


使用goroutine

只须在函数调用前添加go关键字即可创建并发任务,关键字go并非执行并发操作,而是创建一个并发任务单元。新建任务被放置在系统队列中、等待调度器安排合适系统线程去获取执行权。


比如说,第一种方案,商场雇佣1000个导购员进行一对一服务,这种肯定是很高效的,但是造成资源大量浪费,而且管理困难。
第二种方案,商场雇佣20个导购员,对需要咨询的顾客进行处理,处理完,在处理剩下的顾客。

我们用代码来简单的演示一遍:

func loop() {
    for i := 0; i <10 ; i++ {
        fmt.Printf("%d ", i)
    }
}
func main() {
   go loop() // 启动一个goroutine
    loop()
}

我们看下运行结果。

第一次:0 1 2 3 4 5 6 7 8 9 0 1 

第二次:0 1 2 3 4 5 6 7 8 9 0 

第三次:0 1 2 3 4 5 6 7 8 9 0 1 2 

我们发现每次运行的结果都不同,这是因为goroutine当前流程不会阻塞,不会等待该任务启动,且运行时也不保证并发任务的执行次序。

总结

许多人可能认为goroutine比线程运行的更快,这是一个误解goroutine并不会更快,它只是增加了更多的并发性。当一goroutine被阻塞(比如等待IO),golang的调度器会调度其它可以执行的goroutine运行。与线程相比,它有以下几个优点:

优点:

  • 内存消耗更少:Goroutine所需要的内存通常只有2kb,而线程则需要1Mb

  • 创建与销毁的开销更小:由于线程创建时需要向操作系统申请资源,并且在销毁时将资源归还,因此它的创建和销毁的开销比较大。相比之下,goroutine的创建和销毁是由go语言在运行时自己管理的,因此开销更低。

  • 切换开销更小线程的调度方式是抢占式的,如果一个线程的执行时间超过了分配给它的时间片,就会被其它可执行的线程抢占;而goroutine的调度是协同式的,它不会直接地与操作系统内核打交道。

缺点:

  • 协程调度机制无法实现公平调度:因为协程的调度是非入侵式的,系统不会为他分配资源。