Gorilla/context库分析

简要说明

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中的数据结构：

1. 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