go语言的核心gmp go语言的核心face

调试Go语言的核心转储(Core Dumps)英文原文链接【Go, the unwritten parts】发表于2017/05/22 作者JBD是Go语言开发小组成员
检查程序的执行路径和当前状态是非常有用的调试手段 。核心文件(core file)包含了一个运行进程的内存转储和状态 。它主要是用来作为事后调试程序用的 。它也可以被用来查看一个运行中的程序的状态 。这两个使用场景使调试文件转储成为一个非常好的诊断手段 。我们可以用这个方法来做事后诊断和分析线上的服务(production services) 。
在这篇文章中,我们将用一个简单的hello world网站服务作为例子 。在现实中,我们的程序很容易就会变得很复杂 。分析核心转储给我们提供了一个机会去重构程序的状态并且查看只有在某些条件/环境下才能重现的案例 。
作者注 : 这个调试流程只在Linux上可行 。我不是很确定它是否在其它Unixs系统上工作 。macOS对此还不支持 。Windows现在也不支持 。
在我们开始前,需要确保核心转储的ulimit设置在合适的范围 。它的缺省值是0 , 意味着最大的核心文件大小是0 。我通常在我的开发机器上将它设置成unlimited 。使用以下命令:
接下来,你需要在你的机器上安装 delve。
下面我们使用的 main.go 文件 。它注册了一个简单的请求处理函数(handler)然后启动了HTTP服务 。
让我们编译并生产二进制文件 。
现在让我们假设,这个服务器出了些问题,但是我们并不是很确定问题的根源 。你可能已经在程序里加了很多辅助信息 , 但还是无法从这些调试信息中找出线索 。通常在这种情况下,当前进程的快照会非常有用 。我们可以用这个快照深入查看程序的当前状态 。
有几个方式来获取核心文件 。你可能已经熟悉了奔溃转储(crash dumps) 。它们是在一个程序奔溃的时候写入磁盘的核心转储 。Go语言在缺省设置下不会生产奔溃转储 。但是当你把 GOTRACEBACK 环境变量设置成“crash”,你就可以用 Ctrl+backslash 才触发奔溃转储 。如下图所示:
上面的操作会使程序终止,将堆栈跟踪(stack trace)打印出来,并把核心转储文件写入磁盘 。
另外个方法可以从一个运行的程序获得核心转储而不需要终止相应的进程 。gcore 可以生产核心文件而无需使运行中的程序退出 。
根据上面的操作 , 我们获得了转储而没有终止对应的进程 。下一步就是把核心文件加载进delve并开始分析 。
差不多就这些 。delve的常用操作都可以使用 。你可以backtrace,list,查看变量等等 。有些功能不可用因为我们使用的核心转储是一个快照而不是正在运行的进程 。但是程序执行路径和状态全部可以访问 。
golang的线程模型——GMP模型内核线程(Kernel-Level Thread  , KLT)
轻量级进程(Light Weight Process,LWP):轻量级进程就是我们通常意义上所讲的线程,由于每个轻量级进程都由一个内核线程支持,因此只有先支持内核线程,才能有轻量级进程
用户线程与系统线程一一对应,用户线程执行如lo操作的系统调用时,来回切换操作开销相对比较大
多个用户线程对应一个内核线程 , 当内核线程对应的一个用户线程被阻塞挂起时候 , 其他用户线程也阻塞不能执行了 。
多对多模型是可以充分利用多核CPU提升运行效能的
go线程模型包含三个概念:内核线程(M) , goroutine(G),G的上下文环境(P);
GMP模型是goalng特有的 。
P与M一般是一一对应的 。P(上下文)管理着一组G(goroutine)挂载在M(内核线程)上运行,图中左边蓝色为正在执行状态的goroutine,右边为待执行状态的goroutiine队列 。P的数量由环境变量GOMAXPROCS的值或程序运行runtime.GOMAXPROCS()进行设置 。

推荐阅读