当别人到go为什么支持高并发,或者问为什么go本身对并发编程友好?以及go与Java对比的并发对比
正确回答:
在java中创建的线程是与OS线程一一对应的,而在go中多个协程(goroutine)对应一个逻辑处理器,每个逻辑处理器与OS线程一一对应。每个线程要运行必须要在就绪状态情况下获取cpu,而操作系统是基于时间片轮转算法来调度线程占用cpu来执行任务的,每个OS线程被分配一个时间片来占用cpu进行任务的执行。在java中由于创建的线程与os线程一一对应,所以java中的每个线程占用一个时间片来运行。而go中多个协程对应一个os 线程,也就是多个协程对应了一个时间片,go则使用自己的调度策略(非os的调度策略)来让多个协程使用一个时间片来并发的运行。也就是go中存在两级策略,一个是go语言层面的调度多个协程公用一个时间片,一个是os层面的调度多个逻辑处理器轮询占用不同的时间片
https://mp.weixin.qq.com/s/JOjUWp15JbEu54VJHY8i_A
为什么go对并发编程友好?引入今天的主题----------> GPM
GPM是go调度的三个核心组件,成为go支持高效并发的内在动力
G是goroutine的首字母,他保存了goroutine的一些状态信息,以及CPU一些寄存器的值,必须IP寄存器,以便在执行该groutine时CPU知道从哪里执行
G结构体中包括:(1 groutine使用的栈 --》由该栈的栈顶和栈低可知groutine运行的栈地址 (2 与goroutine绑定的M (3 gobuf结构中存储groutine运行时的现场---》存储rsp和rip等寄存器的值,以及指向goroutine的指针 (4 groutine被阻塞的原因
M则是machine的首字母,代表的是一个系统线程,G只有被调度到系统线程上才能真正地被执行,M才是真正执行的人,M的结构体保存了自身的栈信息,当前执行的G的信息以及绑定的P信息
M的结构包括:(1 g0代表运行的用户的goroutine 自己的栈 (2 curg 代表正在运行的goroutine (3 p 指当前工作线程绑定的P (4 alllink保存了所有工作线程的链表 (5 nextwaitm正在等待锁的下一个M (6 thread工作线程ID
P取自process的首字母。为M的执行提供上下文,保存M执行G时的一些资源,包括本地可运行的G队列以及memory cache等,一个M只有绑定P才能运行G,当M被阻塞时,整个P会被传递给其他M,或者被其他M接管
P的结构:(1 m指向绑定的M (2 runqhead runqtail 本地可运行的队列,头和尾 (3 runq 循环队列 (4 runnext runnext 非空时,代表的是一个 runnable 状态的 G,这个 G 被 当前 G 修改为 ready 状态,相比 runq 中的 G 有更高的优先级。如果当前 G 还有剩余的可用时间,那么就应该运行这个 G 运行之后,该 G 会继承当前 G 的剩余时间
GPM共同构成了go的scheduler,G只有在M上才能运行,M执行又依赖P提供的资源,而P中保存了待运行的G,M 会从与它绑定的 P 的本地队列获取可运行的 G,也会从 network poller 里获取可运行的 G,还会从其他 P 偷 G
曹大的一个图显示关系: