举例 Go 语言中几种无法恢复的致命场景
错误类型
error
第一种是 Go 中最标准的 error 错误,其真身是一个 interface{}。
如下:
type error interface {
Error() string
}
在日常工程中,我们只需要创建任意结构体,实现了 Error 方法,就可以认为是 error 错误类型。
如下:
type errorString struct {
s string
}
func (e *errorString) Error() string {
return e.s
}
在外部调用标准库 API,一般如下:
f, err := os.Open("filename.ext")
if err != nil {
log.Fatal(err)
}
// do something with the open *File f
我们会约定最后一个参数为 error 类型,一般常见于第二个参数,可以有个约定俗成的习惯。
panic
第二种是 Go 中的异常处理 panic,能够产生异常错误,结合 panic+recover 可以扭转程序的运行状态。
如下:
package main
import "os"
func main() {
panic("a problem")
_, err := os.Create("/tmp/file")
if err != nil {
panic(err)
}
}
输出结果:
$ go run panic.go
panic: a problem
goroutine 1 [running]:
main.main()
/.../panic.go:12 +0x47
...
exit status 2
如果没有使用 recover 作为捕获,就会导致程序中断。也因此经常被人误以为程序中断,就 100% 是 panic 导致的。
这是一个误区。
throw
第三种是 Go 初学者经常踩坑,也不知道的错误类型,那就是致命错误 throw。
这个错误类型,在用户侧是没法主动调用的,均为 Go 底层自行调用的,像是大家常见的 map 并发读写,就是由此触发。
其源码如下:
func throw(s string) {
systemstack(func() {
print("fatal error: ", s, "\n")
})
gp := getg()
if gp.m.throwing == 0 {
gp.m.throwing = 1
}
fatalthrow()
*(*int)(nil) = 0 // not reached
}
根据上述程序,会获取当前 G 的实例,并设置其 M 的 throwing 状态为 1。
状态设置好后,会调用 fatalthrow
方法进行真正的 crash 相关操作:
func fatalthrow() {
pc := getcallerpc()
sp := getcallersp()
gp := getg()
systemstack(func() {
startpanic_m()
if dopanic_m(gp, pc, sp) {
crash()
}
exit(2)
})
*(*int)(nil) = 0 // not reached
}
主体逻辑是发送 _SIGABRT
信号量,最后调用 exit
方法退出,所以你会发现这是拦也拦不住的 “致命” 错误。
致命场景
为此,作为一名 “成熟” 的 Go 工程师,除了保障自己程序的健壮性外,我也在网上收集了一些致命的错误场景,分享给大家。
一起学习和规避这些致命场景,年底争取拿个 A,不要背上 P0 事故。
并发读写 map
func foo() {
m := map[string]int{}
go func() {
for {
m["煎鱼1"] = 1
}
}()
for {
_ = m["煎鱼2"]
}
}
输出结果:
fatal error: concurrent map read and map write
goroutine 1 [running]:
runtime.throw(0x1078103, 0x21)
...
堆栈内存耗尽
func foo() {
var f func(a [1000]int64)
f = func(a [1000]int64) {
f(a)
}
f([1000]int64{})
}
输出结果:
runtime: goroutine stack exceeds 1000000000-byte limit
runtime: sp=0xc0200e1bf0 stack=[0xc0200e0000, 0xc0400e0000]
fatal error: stack overflow
runtime stack:
runtime.throw(0x1074ba3, 0xe)
/usr/local/Cellar/go/1.16.6/libexec/src/runtime/panic.go:1117 +0x72
runtime.newstack()
...
将 nil 函数作为 goroutine 启动
func foo() {
var f func()
go f()
}
输出结果:
fatal error: go of nil func value
goroutine 1 [running]:
main.foo()
...