线程是系统调度的基本单位。go协程由go语言运行时的调度器进行调度,操作系统内核感知不到协程的存在。
在多核处理场景中,线程是并发与并行同时存在的,而go协程依托于线程,因此多核处理场景下,go协程也是并发与并行同时存在的。因为go协程从属于某一个线程,所以即便在单核处理器上某一时刻运行一个线程,在线程内go语言调度器也会切换多个协程执行,这时协程是并发的。在多核心处理器上,如果多个协程被分配给了不同的线程,而这些线程同时被不同的CPU核心所处理,这时协程就是并行处理的。
go协程与线程存在着很多不同之处:
1.调度方式
线程: 线程是根据CPU时间片进行抢占式调度的。操作系统通过中断信号(定时器中断、I/O设备中断等)执行线程的上下文切换。当发生线程上下文切换时,需要从操作系统用户态转移到内核态,并保存状态信息;当切换到下一个要执行的线程时,需要加载状态信息并从内核态转移到操作系统用户态。
协程: 协程存在于用户态,由go语言运行时调度器进行调度。协程从属于某一个线程,多个协程可以调度到一个线程中,一个协程也可能切换到多个线程中执行,因此协程与线程是多对多(M:N)的关系。
2.调度策略
线程: 抢占式调度。操作系统调度器为了均衡每个线程的执行周期,会定时发出中断信号强制执行线程上下文切换。
协程: 协作式调度。一个协程处理完自己的任务后,可以主动将执行权限让渡给其他协程,不会被轻易抢占。只有在协程运行了过长时间后,go语言调度器才会强制抢占其执行。
3.上下文切换速度
线程: 线程上下文的切换需要经过操作系统用户态与内核态的切换,切换速度大约为1~2微秒。
协程: 协程属于用户态轻量级的线程,协程的切换不需要经过用户态与内核态的切换,且切换时只需要保存极少的状态值,因此切换速度快数倍,大约为0.2微秒左右。(大约10倍于线程的切换速度)
4.栈的大小
线程: 线程的栈大小一般是在创建时指定的,linux及mac上默认的栈大小一般为8MB。
协程: go协程栈大小默认为2KB。