简要说明
gorilla/context 用于在请求期间保存状态,是一个很好的解决多goroutine下通知传递和元数据的Go标准库。由于Go中的goroutine之间没有父子关系,因此也不存在子进程退出后的通知机制。多个goroutine协调工作涉及通信,同步,通知,退出四个方面,但由于goroutine之间地位平等,因此当遇到复杂的并发结构时处理退出机制则会显得力不从心。因此Go1.7版本开始提供了context标准库来解决这个问题。他提供两个功能:退出通知和元数据传递。
源码分析
context接口如下,其中Deadline会返回一个超时时间,Goroutine获得了超时时间后,例如可以对某些 io 操作设定超时时间;Done 方法返回一个信道,当 Context 被撤销或过期时,该信道是关闭的,即它是一个表示 Context 是否关闭的信号;当 Done 信道关闭后,Err方法表明 Context 被撤销的原因;Value 可以让 Goroutine 共享一些数据,当然获得数据是协程安全的。但是使用这些数据的时候,需要注意同步,比如返回了一个 map,而这个 map 的读写则要加锁:
type Context interface {
Deadline() (deadline time.Time, ok bool)
Done() <-chan struct{}
Err() error
Value(key interface{}) interface{}
}
context中的数据结构:
- cancelCtx的数据结构如下,其中Context接口保存父类的context,children map[canceler]struct{}保存的是所有直属与这个context的子类context。done chan struct{}用于发送退出信号:
type cancelCtx struct {
Context
mu sync.Mutex // protects following fields
done chan struct{} // created lazily, closed by first cancel call
children map[canceler]struct{} // set to nil by the first cancel call
err error