4.2 main.main之前的准备

优质

小牛编辑

136浏览

2023-12-01

main.main就是用户的main函数。这里是指Go的runtime在进入用户main函数之前做的一些事情。

前面已经介绍了从Go程序执行后的第一条指令，到启动runtime.main的主要流程，比如其中要设置好本地线程存储，设置好main函数参数，根据环境变量GOMAXPROCS设置好使用的procs，初始化调度器和内存管理等等。

接下来将是从runtime.main到main.main之间的一些过程。注意，main.main是在runtime.main函数里面调用的。不过在调用main.main之前，还有一些工作要做。

sysmon

在main.main执行之前，Go语言的runtime库会初始化一些后台任务，其中一个任务就是sysmon。

newm(sysmon, nil);

newm新建一个结构体M，第一个参数是这个结构体M的入口函数，也就说会在一个新的物理线程中运行sysmon函数。由此可见sysmon是一个地位非常高的后台任务，整个函数体一个死循环的形式，目前主要处理两个事件：对于网络的epoll以及抢占式调度的检测。大致过程如下：

for(;;) {
	runtime.usleep(delay);
	if(lastpoll != 0 && lastpoll + 10*1000*1000 > now) {
		runtime.netpoll();
	}
	retake(now);	// 根据每个P的状态和运行时间决定是否要进行抢占
}

sysmon会根据系统当前的繁忙程度睡一小段时间，然后每隔10ms至少进行一次epoll并唤醒相应的goroutine。同时，它还会检测是否有P长时间处于Psyscall状态或Prunning状态，并进行抢占式调度。

scavenger

scavenger是另一个后台任务，但是它的创建跟sysmon有点区别：

runtime·newproc(&scavenger, nil, 0, 0, runtime·main);

newproc创建一个goroutine，第一个参数是goroutine运行的函数。scavenger的地位是没有sysmon那么高的——sysmon是由物理线程运行的，而scavenger只是由goroutine运行的。接下来的章节会说明goroutine与物理线程的区别。

那么，scavenger执行什么工作？它又为什么不像sysmon那样呢？其实scavenger执行的是runtime·MHeap_Scavenger函数。它将一些不再使用的内存归还给操作系统。Go是一门垃圾回收的语言，垃圾回收会在系统运行过程中被触发，内存会被归还到Go的内存管理系统中，Go的内存管理是基于内存池进行重用的，而这个函数会真正地将内存归还给操作系统。

scavenger显然没有sysmon要求那么高，所以它仅仅是一个普通的goroutine而不是一个线程。

main.main在这些后台任务运行起来之后执行，不过在它执行之前，还有最后一个：main.init，每个包的init函数会在包使用之前先执行。

4.2 main.main之前的准备

sysmon

scavenger

links