Golang 中那些隐秘的角落

简介: 本文记录了一些在使用 Golang 开发函数计算以及系统问题排查过程中遇到的值得学习的知识点,希望能够分享给大家,过程中如表达有误,请大家指正。

我们真的有用好 recover() 吗?

在一次系统报警调查中,发现某个组件 panic 且没有恢复运行,panic 的日志为是 "fatal error: concurrent map writes",当时只能手动重启该组件。查看其源码时发现,panic 位置对应的函数中,已经存在 recover() 函数,抽象得到的源码逻辑如下所示:

packagemainimport (
"fmt")
funcconcurrentMapWrite() {
deferfunc() {
iferr :=recover(); err!=nil {
fmt.Printf("Panic occurred due to %+v, Recovered in f", err)
        }
    }()
m :=map[int]int{}
idx :=0for {
gofunc() {
m[idx] =1        }()
idx++    }
}
funcmain() {
concurrentMapWrite()
}


当时初步判断 recover 并没有捕获到 "fatal error: concurrent map writes",为了验证自己的猜想,进行了如下的一系列调查。

在 defer 中使用 recover()

Golang 程序运行不符合预期时往往会通过“错误”以及“异常”来反馈给用户。前者是代码逻辑出现错误时返回,是编程者意料之中的错误,不会破坏程序的运行;后者往往是代码中出现了不可预期的错误,导致程序无法继续运行下去,如果不加以处理,就会导致程序异常退出,这是十分危险的。

为了提高程序的稳健性,我们需要依赖 Golang 的 recover 以及 defer 机制来保证程序在发生异常后能够继续维持运行,避免程序意外退出,保证业务的稳定运行。

defer 关键字中包含的内容会在其所在函数返回之前执行;recover 函数用于将 goroutine 从异常场景下恢复,只有在 defer 中调用才会生效。其使用方式如下如下:

funcdiv(x, yint) int {
returnx/y}
funcf() {
deferfunc() {
iferr :=recover(); err!=nil {
fmt.Printf("Panic occurred due to %+v, Recovered in f", err)
        }
    }()
fmt.Println(div(1, 0))
}

上述 defer...recover 相当于 java 中的 try/catch 关键字,能够保证程序能够不被异常中断执行,我们知道使用 try...catch 可以捕获所有类型的异常,只要 catch 后跟所有异常的基类 Exception 即可;然后Golang为什么却不是这样呢?

不可恢复的 panic

不同于 try...catch,在 Golang 中并不是所有异常都能够被 recover 捕获到:

  • 当异常是通过 runtime.panic() 抛出时,能够被 recover 方法捕获;
  • 当异常是通过 runtime.throw() 或者 runtime.fatal() 抛出时,不能够被 recover 方法捕获。

在上述实际场景中遇到的 “concurrent map writes” 异常就是通过 runtime.fatal() 抛出来的,具体源码(runtime/map.go):

// Like mapaccess, but allocates a slot for the key if it is not present in the map.funcmapassign(t*maptype, h*hmap, keyunsafe.Pointer) unsafe.Pointer {
ifh==nil {
panic(plainError("assignment to entry in nil map"))
    }
// 省略 ...ifh.flags&hashWriting!=0 {
fatal("concurrent map writes")
    }
hash :=t.hasher(key, uintptr(h.hash0))
// Set hashWriting after calling t.hasher, since t.hasher may panic,// in which case we have not actually done a write.h.flags^=hashWritingifh.buckets==nil {
h.buckets=newobject(t.bucket) // newarray(t.bucket, 1)    }
again:
// 省略 ...bucketloop:
// 省略 ...done:
ifh.flags&hashWriting==0 {
fatal("concurrent map writes")
    }
h.flags&^=hashWritingift.indirectelem() {
elem=*((*unsafe.Pointer)(elem))
    }
returnelem}

map 通过标志位 h.flags 来检查 map 是否存并发写情况,如果存在,则调用 fatal 方法,此时错误为 "fatal error",会强制退出程序,详情见 fatal 源码:

// fatal triggers a fatal error that dumps a stack trace and exits.//// fatal is equivalent to throw, but is used when user code is expected to be// at fault for the failure, such as racing map writes.//// fatal does not include runtime frames, system goroutines, or frame metadata// (fp, sp, pc) in the stack trace unless GOTRACEBACK=system or higher.////go:nosplitfuncfatal(sstring) {
// Everything fatal does should be recursively nosplit so it// can be called even when it's unsafe to grow the stack.systemstack(func() {
print("fatal error: ", s, "\n")
    })
fatalthrow(throwTypeUser)
}
// fatalthrow implements an unrecoverable runtime throw. It freezes the// system, prints stack traces starting from its caller, and terminates the// process.////go:nosplitfuncfatalthrow(tthrowType) {
pc :=getcallerpc()
sp :=getcallersp()
gp :=getg()
ifgp.m.throwing==throwTypeNone {
gp.m.throwing=t    }
// Switch to the system stack to avoid any stack growth, which may make// things worse if the runtime is in a bad state.systemstack(func() {
startpanic_m()
ifdopanic_m(gp, pc, sp) {
// crash uses a decent amount of nosplit stack and we're already// low on stack in throw, so crash on the system stack (unlike// fatalpanic).crash()
        }
exit(2)
    })
*(*int)(nil) =0// not reached}

fatal 方法的注释中可知,该方法等同于 throw 方法,但是只会抛出用户层面的异常,系统层面的异常由 runtime.throw 抛出。fatal 方法中又调用了 fatalthrow 方法, 该方法的注释中明确表示:"fatalthrow implements an unrecoverable runtime throw",因此通过这个方法抛出的异常均属于不可恢复异常。

"concurrent map writes" 之所以被视为不可恢复异常,是因为 Golang 检测到数据竞争时,map 内部的结构已经被破坏了,继续运行可能会产生不可预期的结果,因此会强制结束程序。 以下罗列了一些其他不可恢复的异常种类:

  • Out of memory
  • Concurrent map writes
  • Stack memory exhaustion
  • Attempting to launch a nil function as a goroutine
  • All goroutines are asleep - deadlock
  • Thread limit exhaustion


参考:

[1] https://go-review.googlesource.com/c/go/+/390421

[2] https://github.com/golang/go/blob/master/src/runtime/map.go#L578

[3] https://stackoverflow.com/questions/57486620/are-all-runtime-errors-recoverable-in-go

[4] https://www.jianshu.com/p/15c459c85141

[5] https://www.zhihu.com/question/305845656/answer/728440889

切片扩容有哪些坑?

在开发过程中,将切片作为参数传递到函数中,然后在函数中修改切片内容,对应的修改预期一定能够同步更新到实参中,然而实际开发测试中发现,有的场景符合预期,有的却不符合预期。

若在函数中对该切片进行扩容且扩容后的切片大小不超过其原始容量,此时修改切片中已有的元素,则修改会同步到实参切片中,而扩容不会同步到实参切片中;若在函数中对该切片进行扩容且扩容后的切片大小超过其原始容量,则修改不会同步到实参切片中,同时扩容不会同步到实参切片中,示例代码如下:

packagemainimport (
"fmt")
funcappendSliceWithinCap(s []string) {
s=append(s, "two")
s[0] ="appendSliceWithinCap"}
funcappendSliceOverCap(s []string) {
s=append(s, "two")
s=append(s, "three")
s[0] ="appendSliceOverCap"}
funcmain() {
fmt.Println("hello main")
s :=make([]string, 1, 2)
s[0] ="one"fmt.Println(s) // ["one"]appendSliceWithinCap(s)
fmt.Println(s) // ["appendSliceWithinCap"]appendSliceOverCap(s)
fmt.Println(s) // ["appendSliceWithinCap"]}


切片扩容机理

函数中对切片参数中已有元素的更新会影响实参

切片自身维护了一个指针属性,用于指向它底层数组中的某些元素的集合,其结构体如下所示:

typeslicestruct {
arrayunsafe.Pointer// 指向底层数组的指针lenint// 切片的长度capint// 切片的容量}

Golang 官方文档声明:函数参数传参只有值传递一种方式。值传递方式会在调用函数时将实际参数拷贝一份传递到函数中,slice 参数被传递到函数中时,其 array、len 以及 cap 都被复制了一份,因此函数中 slice 和实参 slice 是共享了底层 slice 数组的,函数中对 slice 中已有元素的修改会同步到实参 slice 中。

切片的扩容策略

切片可以通过 append 函数以追加元素的方式进行动态扩容,扩容的元素会存储在切片已有的存储空间中,然而切片的存储空间上限由切片容量决定,当扩容的元素数量超过切片容量时,切片必须对底层数组进行扩容才能容纳这些元素,我们通过 go/src/runtime/slice.go 中的 growslice 方法来解析下此时 Golang(1.19.2+) 扩容切片的策略:

// growslice allocates new backing store for a slice.//// arguments:////  oldPtr = pointer to the slice's backing array//  newLen = new length (= oldLen + num)//  oldCap = original slice's capacity.//     num = number of elements being added//      et = element type//// return values:////  newPtr = pointer to the new backing store//  newLen = same value as the argument//  newCap = capacity of the new backing store//// Requires that uint(newLen) > uint(oldCap).// Assumes the original slice length is newLen - num//// A new backing store is allocated with space for at least newLen elements.// Existing entries [0, oldLen) are copied over to the new backing store.// Added entries [oldLen, newLen) are not initialized by growslice// (although for pointer-containing element types, they are zeroed). They// must be initialized by the caller.// Trailing entries [newLen, newCap) are zeroed.//// growslice's odd calling convention makes the generated code that calls// this function simpler. In particular, it accepts and returns the// new length so that the old length is not live (does not need to be// spilled/restored) and the new length is returned (also does not need// to be spilled/restored).funcgrowslice(oldPtrunsafe.Pointer, newLen, oldCap, numint, et*_type) slice {
oldLen :=newLen-num// 省略 ...newcap :=oldCapdoublecap :=newcap+newcapifnewLen>doublecap {
newcap=newLen    } else {
constthreshold=256ifoldCap<threshold {
newcap=doublecap        } else {
// Check 0 < newcap to detect overflow// and prevent an infinite loop.for0<newcap&&newcap<newLen {
// Transition from growing 2x for small slices// to growing 1.25x for large slices. This formula// gives a smooth-ish transition between the two.newcap+= (newcap+3*threshold) /4            }
// Set newcap to the requested cap when// the newcap calculation overflowed.ifnewcap<=0 {
newcap=newLen            }
        }
    }
// 省略 ...// The check of overflow in addition to capmem > maxAlloc is needed// to prevent an overflow which can be used to trigger a segfault// on 32bit architectures with this example program://// type T [1<<27 + 1]int64//// var d T// var s []T//// func main() {//   s = append(s, d, d, d, d)//   print(len(s), "\n")// }ifoverflow||capmem>maxAlloc {
panic(errorString("growslice: len out of range"))
    }
varpunsafe.Pointerifet.ptrdata==0 {
p=mallocgc(capmem, nil, false)
// The append() that calls growslice is going to overwrite from oldLen to newLen.// Only clear the part that will not be overwritten.// The reflect_growslice() that calls growslice will manually clear// the region not cleared here.memclrNoHeapPointers(add(p, newlenmem), capmem-newlenmem)
    } else {
// Note: can't use rawmem (which avoids zeroing of memory), because then GC can scan uninitialized memory.p=mallocgc(capmem, et, true)
iflenmem>0&&writeBarrier.enabled {
// Only shade the pointers in oldPtr since we know the destination slice p// only contains nil pointers because it has been cleared during alloc.bulkBarrierPreWriteSrcOnly(uintptr(p), uintptr(oldPtr), lenmem-et.size+et.ptrdata)
        }
    }
memmove(p, oldPtr, lenmem)
returnslice{p, newLen, newcap}
}

当扩容后的元素总数超过切片容量大小,其扩容策略如下:

  • threshold = 256
  • 若扩容后的元素数量超过两倍原始容量,则直接将扩容后元素数量赋值给新容量,否则执行如下
  • 若原容量小于 threshold,则将原始容量的两倍赋值给新容量,否则执行如下
  • 在原始容量基础上,每次增加 (原始容量 + threshold * 3)/ 4,直到其不小于扩容后的元素数量

扩容策略完成,得到新容量值后,会基于该值申请内存,然后将原数组中的数据以及扩容的数据拷贝到新内存中,此时完成切片的动态扩容,其公式如下:

由上可知,当函数对形参 slice 进行扩容且扩容后的元素数量超过原始切片容量时,底层数组会迁移到另片内存区域,因此函数中对形参 slice 已有元素的更新无法影响到实参 slice。

参考:

[1] https://www.liangtian.me/post/go-slice/

[2] https://juejin.cn/post/6888117219213967368

[3]https://github.com/golang/go/blob/4c61e079c087052355c137ab8fcd9abf8728e50a/src/runtime/slice.go

Context 是如何影响 grpc 通信超时控制的

image.png

上述场景是我在实际开发应用过程中抽象出来的 grpc 通信过程,这也是一个较为通用的过程,client 端将带有超时时间的 context 传递到 server 端,server 端在超时时间内需要完成请求处理并返回响应给 client 端,若超过超时请求时间,那么链接将会断开,client 端将不会收到任何响应。

然而在实际开发应用中,发现即便 server 端的 context 超时了,但是其请求响应仍会偶发性地传递到 client 端,导致我们的一个功能出现了不可预期的情况,为了用代码描述对应的交互流程,我在这里放了简化后的示例代码,描述了当时的交互逻辑。

image.png


grpc 超时传递流程

在 Golang grpc 通信过程中,超时信息会在不同通信端进行传递的,传递的介质是 Http2 Request Frame。grpc client 在发送请求之前,会将信息封装在不同的的 Frame 中,例如 Data Frame 用来存放请求的 response payload;Header Frame 用户存在一些跨 goroutine 传递的数据,例如路径信息。而超时信息就存放在 Header Frame 中,其源码如下所示:

// NewStream 方法的调用链路:grpc.Invoke -> invoke -> sendRequest -> NewStream// NewStream creates a stream and register it into the transport as "active"// streams.func (t*http2Client) NewStream(ctxcontext.Context, callHdr*CallHdr) (_*Stream, errerror) {
// 省略 ...// HPACK encodes various headers. Note that once WriteField(...) is// called, the corresponding headers/continuation frame has to be sent// because hpack.Encoder is stateful.t.hBuf.Reset()
t.hEnc.WriteField(hpack.HeaderField{Name: ":method", Value: "POST"})
t.hEnc.WriteField(hpack.HeaderField{Name: ":scheme", Value: t.scheme})
t.hEnc.WriteField(hpack.HeaderField{Name: ":path", Value: callHdr.Method})
t.hEnc.WriteField(hpack.HeaderField{Name: ":authority", Value: callHdr.Host})
t.hEnc.WriteField(hpack.HeaderField{Name: "content-type", Value: "application/grpc"})
t.hEnc.WriteField(hpack.HeaderField{Name: "user-agent", Value: t.userAgent})
t.hEnc.WriteField(hpack.HeaderField{Name: "te", Value: "trailers"})
ifcallHdr.SendCompress!="" {
t.hEnc.WriteField(hpack.HeaderField{Name: "grpc-encoding", Value: callHdr.SendCompress})
    }
ifdl, ok :=ctx.Deadline(); ok {
// Send out timeout regardless its value. The server can detect timeout context by itself.timeout :=dl.Sub(time.Now())
t.hEnc.WriteField(hpack.HeaderField{Name: "grpc-timeout", Value: encodeTimeout(timeout)})
    }
// 省略 ...}

client server 端在收到超时信息后,将 grpc-timeout 字段从 Header 中取出,基于该超时信息新建一个 context 实例,其源码如下所示:

// processHeaderField 方法调用链:grpc.Server -> handleRawConn -> serveNewHTTP2Transport -> serveStreams -> HandleStreams -> operateHeaders -> processHeaderField// operateHeader takes action on the decoded headers.func (t*http2Server) operateHeaders(frame*http2.MetaHeadersFrame, handlefunc(*Stream)) (closebool) {
buf :=newRecvBuffer()
s :=&Stream{
id:  frame.Header().StreamID,
st:  t,
buf: buf,
fc:  &inFlow{limit: initialWindowSize},
    }
varstatedecodeStatefor_, hf :=rangeframe.Fields {
state.processHeaderField(hf)
    }
// 省略 ...s.recvCompress=state.encodingifstate.timeoutSet {
s.ctx, s.cancel=context.WithTimeout(context.TODO(), state.timeout)
    } else {
s.ctx, s.cancel=context.WithCancel(context.TODO())
    }
// 省略 ...}
func (d*decodeState) processHeaderField(fhpack.HeaderField) {
switchf.Name {
// 省略 ...case"grpc-timeout":
d.timeoutSet=truevarerrerrord.timeout, err=decodeTimeout(f.Value)
iferr!=nil {
d.setErr(streamErrorf(codes.Internal, "transport: malformed time-out: %v", err))
return        }
// 省略 ...    }
}

在 grpc client 端,会去不断检查 context.Done() 来判断 context 是否超时,若超时,则会断开链接。然而,也会存在 context timeout races 的情况,例如,client 端 context 已经超时,但是此时下一轮检查还未开始,同时 server 端恰好返回了响应信息,此时虽然 client 端 context 超时了,但是仍然会接收到 server 端的响应并处理;更普遍的情况是 select { case <- ctx; ...; case <- response; ...},这就会导致有 50% 的概率未检测到 context 超时,详情请参考我之前在 grpc-go 中提的 issue

确保 grpc 响应超时错误

在我之前经历的错误场景中, server 端 context 出现超时,并返回响应给 client 端,此时 client 端预期应该也会超时并断开链接,但实际是会成功接收到 client 端的响应,由于处理逻辑的问题,当时的响应并不包含超时错误,因此 client 端在接收到请求后会重新发送一次请求,重新发送完成后,才检测到 context 超时,最终断开链接,导致了错误的出现。

image.png

因此,在应用过程中,需要在 server 端 context timeout 时,保证返回的 response 中的错误信息是 grpc.DeadlineExceeded,让 client 端也感知到 timeout 的发生,避免不必要逻辑的发生。

参考:

[1] https://github.com/grpc/grpc-go

[2] https://github.com/grpc/grpc-go/issues/5206#issuecomment-1058564271

[3] https://xiaomi-info.github.io/2019/12/30/grpc-deadline/

相关文章
|
29天前
|
数据采集 数据挖掘 Go
踏入网页抓取的旅程:使用 grequests 构建 Go 视频下载器
使用 Go 和 grequests 构建 Bilibili 视频下载器,结合爬虫代理 IP 提高下载稳定性与速度。通过获取视频信息、构建下载链接、设置代理IP及异步请求,实现视频的本地保存。代码示例展示了如何运用 grequests 请求选项配置代理及处理请求。
踏入网页抓取的旅程:使用 grequests 构建 Go 视频下载器
|
8月前
|
安全 搜索推荐
下载软件别再被套路!教你避开流氓下载器的坑!
安装之前,可以看到界面中明显的提示:“使用360安全导航”、“ABC看图”,这两处旁边还有复选框,细心的你肯定知道要把这两个复选框去掉。
137 0
下载软件别再被套路!教你避开流氓下载器的坑!
|
17天前
|
数据可视化 数据挖掘 Go
GOplot|宝藏R包,拯救你的GO富集结果,杜绝平庸的条形图
`GOplot`是一款R包,专注于GO富集分析的可视化,提供多种图表类型如GOBar、GOBubble、GOCircle、GOChord和GOVenn等。这些函数允许用户轻松修改参数,定制颜色、大小和排序,实现数据的直观展示。示例代码展示了如何使用这些功能创建不同类型的图形,并提到了一个配套的shiny应用。`GOplot`简化了复杂的数据可视化过程,适合快速高效地展示差异分析结果。
23 0
|
7月前
|
存储 Java 编译器
golang逃逸技术分析
golang逃逸技术分析
27 0
|
7月前
|
JSON 编译器 测试技术
Go 开发十种常犯错误(上)
Go 开发十种常犯错误
35 0
|
7月前
|
测试技术 Go 开发者
Go 开发十种常犯错误(下)
Go 开发十种常犯错误
29 0
|
9月前
|
Go 调度
golang双端口服务让我脑袋疼,你们呢?
golang双端口服务让我脑袋疼,你们呢?
|
10月前
|
存储 Java 编译器
Golang逃逸技术分析
Golang逃逸技术分析
76 0
|
11月前
|
安全 Go API
自写go加载器加壳免杀——过国内主流杀软
自写go加载器加壳免杀——过国内主流杀软
306 0
|
11月前
|
Go 微服务 Python
go加壳分离免杀过国内主流杀软
go加壳分离免杀过国内主流杀软
542 0