go是多线程还是协程?
3.1 概念
在go程序中,由轻量级线程实现,由Go运行时(runtime)管理。
3.2 与进程、线程的区别
1)进程拥有自己独立的堆栈,既不共享堆,也不共享栈。是由操作系统调度的。
2)线程拥有自己独立的栈和共享的堆,共享堆,不共享栈,是由操作系统调度。
2)协程共享堆,不共享栈,协程是由程序员在协程的代码中显示调度。
3.3 主线程和协程的关系
3.4 协程比线程轻量的原因
3.4.1 线程并发的流程
线程是内核对外提供的服务,应用程序可以通过系统调用让内核启动线程,由内核来负责线程的调度和切换。线程在等待I/O操作时线程变为unrunnable状态会触发上下文切换。现代操作系统一般都采用抢占式调度,上下文切换一般发生在时钟中断和系统调用返回前,调度器计算当前线程的时间片,如果需要切换就从队列中选出一个目标线程,保存当前线程的环境,并且恢复目标线程的运行环境,最典型的就是切换ESP指向目标线程内核堆栈,将EIP指向目标线程上次被调度出时的指令地址。
3.4.2 协程并发的流程
不依赖操作系统和其提供的线程,golang自己实现的CSP并发模型:M,P,G
go协程也叫用户态线程,协程之间的切换发生在用户态。在用户态没有时钟中断、系统调用等机制,因此效率高。
3.5 go协程占用内存少的原因
执行go协程只需要极少的栈内存(大概4~5KB),默认情况下,线程栈的大小为1MB。
goroutine就是一段代码,一个函数入口,以及在堆上分配的一个堆栈。所以我们可以轻松创建上万个goroutine,但他们并不是被操作系统调度执行的。