goroutine 相关知识9

最新推荐文章于 2024-09-25 10:32:00 发布

weixin_33725270

最新推荐文章于 2024-09-25 10:32:00 发布

阅读量106

点赞数

文章标签： runtime java python

原文链接：https://my.oschina.net/zhangthe9/blog/3022938

版权

2019独角兽企业重金招聘Python工程师标准>>>

go runtime M:N模型可以根据具体的操作类型（操作系统阻塞或非阻塞操作）调整goroutine和OS Thread的映射情况，更加灵活

两个M，即两个OS Thread线程，分别对应一个P，每一个P有负责调度多个G。组成的goroutine运行时的基本结构

G最重要的三个状态

Grunnable
Grunning
Gwaiting

状态迁移 Grunnable -> Grunning -> Gwaiting -> Grunnable

goroutine在状态发生转变时，会对栈的上下文进行保存和恢复

G中的Gobuf的定义

struct Gobuf
{
 uintptr sp; // 栈指针
 uintptr pc; // 程序计数器PC
 G* g; // 关联的G
};

保存栈上下文时，最重要的就是保存这个Gobuf结构中的内容

具体是通过 void gosave(Gobuf*) 以及 void gogo(Gobuf*) 实现栈上下文的保存和恢复

底层实现为汇编，因此goroutine的context swtich非常快

goroutine scheduler在几个主要场景下的调度策略

goroutine将scheduler的执行交给具体的M，即OS Thread

每一个M就执行一个函数，即 void schedule(void)

这个函数具体做得事情就是从各个运行队列中选择合适的goroutine然后执行goroutine中对应的 func

// 调度的一个回合：找到可以运行的G，执行
// 从不返回
static void schedule(void)
{
 G *gp;
 uint32 tick;

top:
 gp = nil;
// 时不时检查全局的可运行队列，确保公平性
// 否则两个goroutine不断地互相重生，完全占用本地的可运行队列
 tick = m->p->schedtick;
// 优化技巧，其实就是tick%61 == 0
if(tick - (((uint64)tick\*0x4325c53fu)>>36)\*61==0&& runtime·sched.runqsize >0) {
 runtime·lock(&runtime·sched);
 gp = globrunqget(m->p, 1);// 从全局可运行队列获得可用的G
 runtime·unlock(&runtime·sched);
if(gp)
 resetspinning();
 }
if(gp == nil) {
 gp = runqget(m->p); // 如果全局队列里没找到，就在P的本地可运行队列里找
if(gp && m->spinning)
 runtime·throw("schedule: spinning with local work");
 }
if(gp == nil) {
 gp = findrunnable(); // 阻塞住，直到找到可用的G
 resetspinning();
 }

// 是否启用指定某M来执行该G
if(gp->lockedm) {
// 把P给指定的m，然后阻塞等新的P
 startlockedm(gp); 
goto top;
 }

 execute(gp); // 执行G
}

几个问题：