共计 8522 个字符,预计需要花费 22 分钟才能阅读完成。
golang context 源码学习
应用实例
context 设置超时的例子
func main() {ctx, cancel := context.WithTimeout(context.Background(), 1*time.Second)
defer cancel()
go handle(ctx, 1500*time.Millisecond)
select {case <-ctx.Done():
fmt.Println("main", ctx.Err())
}
time.Sleep(3 * time.Second)
}
func handle(ctx context.Context, duration time.Duration) {
select {case <-ctx.Done():
fmt.Println("handle", ctx.Err())
case <-time.After(duration):
fmt.Println("process request with", duration)
}
}
输入:
main context deadline exceeded
handle context deadline exceeded
Context 设置的超时工夫是 1s,然而解决工夫是 1.5s,最初必定会触发超时,在 handle 协程里,time.After 会在程序启动 1.5s 之后返回音讯,而 ctx.Done()会在 1s 当前返回音讯,time.After 没有机会被捕捉到,handle 协程就退出了;而主协程同样也能捕捉到 ctx.Done 里的音讯。
context 的应用办法和设计原理
: 多个 Goroutine 同时订阅 ctx.Done() 管道中的音讯,一旦接管到勾销信号就立即进行以后正在执行的工作。
源码解析
context.Context 接口
type Context interface{Deadline() (deadline time.Time, ok bool)
Done() <-chan struct{}
Err() error
Value(key interface{}) interface{}}
Context 接口定了四个办法:
- Deadline()会返回这个 context 终止时的工夫以及是否被设置了超时。
- Done()会返回一个只读管道,通常须要内部有 select 语句来监听这个管道,若是 context 被 cancel 掉,那么通过该接口可能获取到音讯,没被 cancel 时,会始终阻塞在 context.Done()的读取上。这里的 cancel 指 WithCancel,WithDeadline,WithTimeout 触发的 cancel。
- 若 ctx 没被 cancel 掉,Err()只会返回 nil,若被 cancel 掉则会返回为何被 cancel,例如 deadline。
- Value()接口是用来存值的,在后续的 context 中能够将其取出。
context.Background(),context.TODO()
context.Background()和 context.TODO()会返回一个雷同的构造体,即 emptyCtx。
var (background = new(emptyCtx)
todo = new(emptyCtx)
)
emptyCtx 对 Context 接口的办法实现如下:
// An emptyCtx is never canceled, has no values, and has no deadline. It is not
// struct{}, since vars of this type must have distinct addresses.
type emptyCtx int
func (*emptyCtx) Deadline() (deadline time.Time, ok bool) {return}
func (*emptyCtx) Done() <-chan struct{} {return nil}
func (*emptyCtx) Err() error {return nil}
func (*emptyCtx) Value(key interface{}) interface{} {return nil}
即它没有对 Context 进行任何的实现。
- Background()返回的 context 通常作为整个 context 调用链的根 context。
- TODO()返回的 context 通常是在重构或编码过程中应用,不确定会如何应用
Context 参数,但用其作为占位符,TODO 的标识便于后续代码实现时能疾速查看到这个未实现的占位符,以便将其实现。
context.WithCancel()
func WithCancel(parent Context) (ctx Context, cancel CancelFunc)
从函数签名能够看出,WithCancel 会返回一个设置了 cancel 的 context 和一个勾销函数,这个返回的 context 的 Done 管道会被敞开,当父 context 的 Done 管道被敞开时或者勾销函数被调用时。
创立一个 cancelCtx
c := newCancelCtx(parent)
// newCancelCtx returns an initialized cancelCtx.
func newCancelCtx(parent Context) cancelCtx {return cancelCtx{Context: parent}
}
看一下 cancelCtx 的构造:
// A cancelCtx can be canceled. When canceled, it also cancels any children
// that implement canceler.
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 // set to non-nil by the first cancel call
}
cancelCtx 勾销时,会将后辈节点中所有的 cancelCtx 都勾销,propagateCancel 即用来建设以后节点与先人节点这个勾销关联逻辑。
propagateCancel(parent, &c)
为啥须要建设与先人的关联逻辑呢?后续会提到。
留神,propagateCancel 的第二个参数是一个 canceler 接口,由定义可知:
// A canceler is a context type that can be canceled directly. The
// implementations are *cancelCtx and *timerCtx.
type canceler interface {cancel(removeFromParent bool, err error)
Done() <-chan struct{}
}
这个接口由两种带有勾销性质的 ctx 实现(cancelCtx 和 timerCtx)
- 第一个办法是 cancel,由参数能够知它会将本身勾销掉,若第一个参数为 true,则会从父 ctx 中删除掉本人
- 第二个办法会间接返回一个 Done 管道
// propagateCancel arranges for child to be canceled when parent is.
func propagateCancel(parent Context, child canceler) {if parent.Done() == nil {return // parent is never canceled} // 如果 parent 的 Done 管道是空,阐明该父 context 永远不会被勾销,通常是 emptyCtx,那么不必建设该 ctx 与先人 ctx 的关系
if p, ok := parentCancelCtx(parent); ok {// 当其父 context 为 cancel 性质的 context(timerCtx 或 cancelCtx)会返回 true 和这个 cancelCtx,若为 valueCtx 则会由 context 向上查找直到找到一个 cancel 性质的 ctx;否则返回 false
// 父 ctx 为 cancel 性质的 ctx
// 加锁
p.mu.Lock()
if p.err != nil {
// parent has already been canceled
// 父 ctx 曾经被 cancel 掉了,所以该子 ctx 将会间接调用 cancel 办法 cancel 掉本人。// 这样,尽管之后给内部调用返回了一个 cancel 函数,然而因为在 child.cancel 中曾经设置了 c.err,所以之后内部再调用 cancel,cancelCtx 的 cancel 办法也不会再做别的操作了,发现 c.err 不为 nil,间接 return,代表曾经被 cancel 掉了
child.cancel(false, p.err)
} else {
// 否则把本人退出到先人 cancelCtx 的 children 中
if p.children == nil {p.children = make(map[canceler]struct{})
}
p.children[child] = struct{}{}
}
p.mu.Unlock()} else {
// 父 context 不为 cancelCtx,则起一个后盾协程,监听父 ctx 和以后 ctx 的 Done 管道,直到有 ctx 的 Done 管道被敞开(ctx 被勾销)//TODO,为何 parent 不为 cancelCtx,还能有 done 信号被捕捉到???go func() {
select {case <-parent.Done():
// 这种状况何时会呈现?child.cancel(false, parent.Err())
case <-child.Done():}
}()}
}
- 如果 parent.Done()返回 nil,表明父节点以上的门路上没有可勾销的 context,不须要解决;
- 如果在 context 链上找到到 cancelCtx 类型的先人节点,则判断这个先人节点是否曾经勾销,如果曾经勾销就勾销以后节点;否则将以后节点退出到先人节点的 children 列表。
否则开启一个协程,监听 parent.Done()和 child.Done(),一旦 parent.Done()返回的 channel 敞开,即 context 链中某个先人节点 context 被勾销,则将以后 context 也勾销。
这里或者有个疑难,为什么是先人节点而不是父节点?这是因为以后 context 链可能是这样的:
以后 cancelCtx 的父节点 context 并不是一个可勾销的 context,也就没法记录 children。这也是为什么须要在这个函数中建设以后节点与先人 cancelCtx 节点的 cancel 关系。
问题:
为什么会有
go func() {
select {case <-parent.Done():
// 这种状况何时会呈现?child.cancel(false, parent.Err())
case <-child.Done():}
}()
因为 else 中,曾经阐明了先人 ctx 不为可勾销的 ctx,那为啥还可能捕捉到第一个 case 的 Done 管道的信号呢?
这里须要引入 parentCancelCtx 的代码
func parentCancelCtx(parent Context) (*cancelCtx, bool) {
for {switch c := parent.(type) {
case *cancelCtx:
return c, true
case *timerCtx:
return &c.cancelCtx, true
case *valueCtx:
parent = c.Context
default:
return nil, false
}
}
}
这里只能判断出 cancelCtx,timeCtx,valueCtx 三种类型,而若是将 ctx 内嵌到一个自定义的构造体 a 中,并且之后调用了 WithCancel 构建了子节点 b。将这个子节点再调用 WithCancel 构建孙节点 c,此时 parentCancelCtx 办法是辨认不出这个 b 为 cancelCtx 的,因而须要应用 else 下的第一个 case 来捕捉 b 节点的 Done 音讯。
再来说一下,select 语句里的两个 case 其实都不能删。
select {case <-parent.Done():
child.cancel(false, parent.Err())
case <-child.Done():}
- 第一个 case 阐明当父节点勾销,则勾销子节点。如果去掉这个 case,那么父节点勾销的信号就不能传递到子节点。
- 第二个 case 是说如果子节点本人勾销了,那就退出这个 select,父节点的勾销信号就不必管了。如果去掉这个 case,那么很可能父节点始终不勾销,这个 goroutine 就透露了。当然,如果父节点勾销了,就会反复让子节点勾销,不过,这也没什么影响嘛。
返回一个 cancelCtx 与一个 cancel 函数
return &c, func() { c.cancel(true, Canceled) }
这个 cancel 函数被内部调用时,会将本身从父节点中删除掉。并且 cancel 掉该节点的所有子节点:
// cancel closes c.done, cancels each of c's children, and, if
// removeFromParent is true, removes c from its parent's children.
func (c *cancelCtx) cancel(removeFromParent bool, err error) {
if err == nil {panic("context: internal error: missing cancel error")
}
c.mu.Lock()
if c.err != nil {c.mu.Unlock()
return // already canceled
}
c.err = err
if c.done == nil {
// 惰性创立,初始化时不会赋值。须要勾销时间接给一个敞开的 channel
// 很有意思的是这个 channel 是在 init 里被敞开的
c.done = closedchan
} else {close(c.done)
}
//cancel 掉该节点的所有子节点
for child := range c.children {
// NOTE: acquiring the child's lock while holding parent's lock.
child.cancel(false, err)
}
c.children = nil
c.mu.Unlock()
// 何时该参数应该为 true?// 当内部调用 cancel 时,该参数为 true
if removeFromParent {removeChild(c.Context, c)
}
}
两个问题须要答复:
- 什么时候会传 true?
- 为什么有时传 true,有时传 false?
答 1:
内部调用 cancel 时传 true,外部调用 cancel 时传 false。
调用 WithCancel() 办法的时候,也就是新创建一个可勾销的 context 节点时,返回的 cancelFunc 函数会传入 true。这样做的后果是:当调用返回的 cancelFunc 时,会将这个 context 从它的父节点里“除名”,因为父节点可能有很多子节点,你本人勾销了,所以我要和你断绝关系,对其他人没影响
答 2:
外部调用 cancel 时不必从父节点删除掉本身。外部调用的机会是:
1. 在建设先人与以后 ctx 的 cancel 关系时,若发现先人曾经被 cancel 了,这时会外部调用 cancel:这种状况下,先人通常是曾经被内部调用了 cancel,它曾经将其 chidren 置为了 nil,这时就不必要再删除了;2. 监听到先人的 Done 管道敞开,即先人曾经被 cancel 掉,这种状况和第一种状况相似,children 曾经被置为了 nil,不必要再删除。
context.WithTimeout()
func WithTimeout(parent Context, timeout time.Duration) (Context, CancelFunc) {return WithDeadline(parent, time.Now().Add(timeout))
}
context.WithTimeout 办法底层其实是调用的 WithDeadline,返回了一个带有 超时信息的 context 和一个勾销函数,规范用法如下:
func slowOperationWithTimeout(ctx context.Context) (Result, error) {ctx, cancel := context.WithTimeout(ctx, 100*time.Millisecond)
defer cancel() // releases resources if slowOperation completes before timeout elapses
return slowOperation(ctx)
}
看一下 WithDeadline 的实现形式
func WithDeadline(parent Context, d time.Time) (Context, CancelFunc)
由函数签名能够看出会返回一个带超时的 context 和一个勾销函数,若 WithDeadline 返回的 context 在 d 工夫点未被勾销,那么它的 Done 管道将被强制敞开。
具体实现代码:
判断父 context 是否曾经超时了:
if cur, ok := parent.Deadline(); ok && cur.Before(d) {
// The current deadline is already sooner than the new one.
return WithCancel(parent)
}
若是父 context 被设置了超时,且截止工夫点要短于以后冀望设置的超时工夫的截止工夫点,那么间接基于父 ctx 构建一个可勾销的 ctx。
起因是一旦父节点超时,主动调用 cancel 函数,子节点也会随之勾销。因而构建一个相对工夫晚于父节点的子 ctx 是没有意义的。
构建 timerCtx
首先须要理解一下 timerCtx:
// A timerCtx carries a timer and a deadline. It embeds a cancelCtx to
// implement Done and Err. It implements cancel by stopping its timer then
// delegating to cancelCtx.cancel.
type timerCtx struct {
cancelCtx
timer *time.Timer // Under cancelCtx.mu.
deadline time.Time
}
能够看到 timerCtx 内嵌了 cancelCtx,同时它还有本人的 timer 和 deadline。
Timer 是一个定时器,当达到设定的工夫后,会向 timer 的管道中发一个事件。
会在 deadline 到来时,会监听到事件,这时主动勾销 context,这是在 ctx 的 WithDeadline 中做的。
看下 timerCtx 的 cancel 办法
func (c *timerCtx) cancel(removeFromParent bool, err error) {c.cancelCtx.cancel(false, err)
if removeFromParent {
// Remove this timerCtx from its parent cancelCtx's children.
removeChild(c.cancelCtx.Context, c)
}
c.mu.Lock()
if c.timer != nil {c.timer.Stop()
c.timer = nil
}
c.mu.Unlock()}
- 首先会将本人和所有子节点 cancel 掉;
- 会将本身的 timer 的 Stop 掉,避免 deadline 到来时再次被勾销。
构建以后 ctx 与先人 ctx 的 cancel 关系
propagateCancel(parent, c)
这个与之前的 cancel 是一样的,不再赘述。
计算以后工夫与 deadline 的时间差
dur := time.Until(d)
if dur <= 0 {c.cancel(true, DeadlineExceeded) // deadline has already passed
return c, func() { c.cancel(false, Canceled) }
}
如果以后工夫曾经达到了 deadline 的工夫点,那么间接将其勾销,并返回。
设置 timer 到期的回调函数
c.mu.Lock()
defer c.mu.Unlock()
if c.err == nil {c.timer = time.AfterFunc(dur, func() {c.cancel(true, DeadlineExceeded)
})
}
return c, func() { c.cancel(true, Canceled) }
如果 timer 到期后 timerCtx 会调用 cancel 勾销本人。
参考文章
https://www.zhihu.com/search?…