本文主要讨论 goroutine 使用的相关内容。
目录 Table of Contents
前情提要
Go中的并发性是以goroutine(独立活动)和channel(用于通信)的形式实现的，这是因为Go所信奉的“不要通过共享内存来通信，而应该通过通信来共享内存”。当然，Go也提供了对传统通信机制的支持，如Mutex(互斥锁) 和WaitGroup(信号量)。本文将讨论
Go并发编程中的基本单位goroutine的使用，如有错漏，欢迎指出 ;P
概念辨析
串行、并发与并行
串行
CPU按顺序执行完一个线程后，才能开始另一个线程（显然不是同时执行）。
并发
CPU在各个任务间切换，同时刻一个CPU只能运行一个线程（看起来的同时执行）。
并行
同时刻多个任务在多个CPU上运行（事实上的同时执行）。
进程、线程与协程
进程
- 进程是操作系统资源分配的最小单位。
- 进程具有独立的地址空间，通信需要通过IPC。
- 一个系统内的多个进程可以并发执行。
线程
- 线程是操作系统调度执行的最小单位。
- 线程共享进程的地址空间，通信直接共享内存。
- 一个进程内的多个线程可以并发执行。
协程
- 协程运行在用户态，而进程和线程都运行在内核态。
- 协程是函数间切换不是线程间切换，占用内存和切换开销更小。
- 一个线程内的多个协程只可串行执行。
用户线程与内核线程
- 内核可见：用户线程对于内核来说是透明的，用户线程数量几乎不受限；内核线程对于内核来说是可见的，内核线程数量是有限制的。
- 调度实体：用户线程由应用程序或运行时调度器调度，用户线程切换只发生在用户态；内核线程由内核调度，内核线程切换需要陷入内核态。
- 资源竞争：用户线程在进程内竞争资源，用户线程阻塞那么对应进程阻塞，其它线程同时阻塞；内核线程在系统内竞争资源，内核线程阻塞只会阻塞该个线程，其它线程不被影响。
- 并行支持：使用用户线程，CPU 的执行单位为进程，要并行就要多进程；使用内核线程，CPU 的执行单位为线程，要并行只需多线程。
PS：线程实现模型
goroutine 与 coroutine
goroutine的运行机制属于抢占式任务处理，应用程序对CPU的控制由Go Runtime Scheduler管理；coroutine的运行机制属于协作式任务处理，应用程序对CPU的控制由应用程序决定。goroutine可以并行执行，可能发生在多线程环境下；coroutine始终顺序执行，总是发生在单线程环境下。goroutine使用channel通信；coroutine使用yield和resume通信。
goroutine 使用
main goroutine
Golang的入口函数main()本身就是个goroutine：1
2
3func main() {
// ...
}
normal goroutine
创建一个普通的
goroutine，只需要在函数前加关键字go：1
2
3
4
5
6
7
8
9
10
11
12
13func sample() {
// ...
}
func main() {
// 命名goroutine
go sample()
// 匿名goroutine
go func() {
// ...
}
}
PS：除了 main 可以打断 goroutine 执行外，各 goroutine 间是独立的。由于 goroutine 执行顺序无法确定，代码的逻辑要独立于调用的顺序。
要点总结
goroutine是在语言层面就提供的，只需要关键字go，使用非常方便。
