context基础篇
context基础篇
1. 为什么引入context?
在 Go http包的Server中,每一个请求
在都有一个对应的 goroutine
去处理。请求处理函数通常会启动额外的 goroutine
用来访问后端服务,比如数据库和RPC服务。用来处理一个请求的 goroutine 通常需要访问一些与请求特定的数据,比如终端用户的身份认证信息、验证相关的token、请求的截止时间。 当一个请求被取消或超时时,所有用来处理该请求的 goroutine 都应该迅速退出,然后系统才能释放这些 goroutine 占用的资源。
1.1 bool 型退出
var wg sync.WaitGroup
var notify bool
func f() {
defer wg.Done() // 不加defer的话直接死锁了,这是为什么?
for {
fmt.Println("周琳")
time.Sleep(time.Millisecond * 500)
if notify {
break
}
}
}
func main() {
wg.Add(1)
go f()
time.Sleep(5 * time.Second)
// 通知退出。
notify = true
wg.Wait()
}
上面示例中,函数f()是一个死循环,每隔500ms打印一次,在主程序中,开启了一个goroutine去执行这个函数,并且延时5s,我们想让它在5s钟后退出,应该怎么做呢?上面程序设计了一个全局变量,5s后将全局变量设置为true,这个时候,子goroutine f() 检测到为true,就会退出死循环,从而函数执行完成,子goroutine成功结束。
1.2 chan型退出
var wg sync.WaitGroup
var exitChan = make(chan bool, 1) // 这种方式其实和上一个一样的道理
func f() {
defer wg.Done() // 不加defer的话直接死锁了,这是为什么?
FORLOOP:
for {
fmt.Println("001")
time.Sleep(time.Millisecond * 500)
select {
case <-exitChan:
break FORLOOP
default:
}
}
}
func main() {
wg.Add(1)
go f()
time.Sleep(5 * time.Second)
// 通知退出。
exitChan <- true
wg.Wait()
}
这个程序同样的子goroutine是无限循环,那么,除了上面的最常用的bool型退出外,这个示例中,定义了一个bool型的chan,并且在for循环中,使用select检测,5s钟后main程序中讲true发送给chan,子goroutine检测到后,退出for循环,结束这个子goroutine。
这里要注意的是,在case里是没有break语句的!这里的break,是针对for循环的。之前在case里写了break,怎么都没有退出!
上面两种解决方式是按照我们自己的想法来实现的。官方中其实对这个问题有更专业的解决方式。
Go1.7加入了一个新的标准库context
,它定义了Context类型
,专门用来简化 对于处理单个请求的多个 goroutine 之间与请求域的数据、取消信号、截止时间等相关操作,这些操作可能涉及多个 API 调用。
对服务器传入的请求应该创建上下文,而对服务器的传出调用应该接受上下文。它们之间的函数调用链必须传递上下文,或者可以使用WithCancel
、WithDeadline
、WithTimeout
或WithValue
创建的派生上下文。当一个上下文被取消时,它派生的所有上下文也被取消。
2. context.Context是什么?
答案: 它是一个接口!
,既然是接口,那它又实现了哪些方法?该接口定义了需要实现的方法
type Context interface {
Deadline() (deadline time.Time, ok bool)
Done() <-chan struct{}
Err() error
Value(key interface{}) interface{}
}
3. Context interface的四个方法
Deadline
方法需要返回当前Context
被取消的时间,也就是完成工作的截止时间Done
方法需要返回一个Channel
,这个Channel会在当前工作完成或者上下文被取消之后关闭,多次调用Done
方法会返回同一个Channel;示例
select {
case <-ctx.Done():
return
case dst <- n:
n++
}
Err
方法会返回当前Context
结束的原因,它只会在Done
返回的Channel被关闭时才会返回非空的值;- 如果当前
Context
被取消就会返回Canceled
错误; - 如果当前
Context
超时就会返回DeadlineExceeded
错误;
- 如果当前
Value
方法会从Context
中返回键对应的值,对于同一个上下文来说,多次调用Value
并传入相同的Key
会返回相同的结果,该方法仅用于传递跨API和进程间跟请求域的数据;
4. context包内置的两个函数
Background()
主要用于main函数、初始化以及测试代码中,作为Context这个树结构的最顶层的Context,也就是根Context。
ctx, cancel := context.WithCancel(context.Background())
TODO()
,它目前还不知道具体的使用场景,如果不知道该使用什么Context的时候,可以使用这个。
background
和todo
本质上都是emptyCtx
结构体类型,是一个不可取消,没有设置截止时间,没有携带任何值的Context。
5. context包重要方法
5.1 WithCancel()
WithCancel
的函数签名如下:
func WithCancel(parent Context) (ctx Context, cancel CancelFunc)
WithCancel
返回带有新Done通道的父节点的副本。当调用返回的cancel函数或当关闭父上下文的Done通道时,将关闭返回上下文的Done通道,无论先发生什么情况。取消此上下文将释放与其关联的资源,因此代码应该在此上下文中运行的操作完成后立即调用cancel。
var wg sync.WaitGroup
func f2(ctx context.Context) {
defer wg.Done()
FORLOOP:
for {
fmt.Println("003")
time.Sleep(time.Millisecond * 500)
select {
case <-ctx.Done():
break FORLOOP
default:
}
}
}
func f(ctx context.Context) {
defer wg.Done() // 不加defer的话直接死锁了,这是为什么?
go f2(ctx) // 多级传递
FORLOOP:
for {
fmt.Println("001")
time.Sleep(time.Millisecond * 500)
select {
case <-ctx.Done(): // 暴露了一种内在的chan,返回只读的通道
break FORLOOP
default:
}
}
}
func main() {
ctx, cancel := context.WithCancel(context.Background())
wg.Add(1)
go f(ctx)
time.Sleep(5 * time.Second)
// 通知退出。
cancel()
wg.Wait()
}
分析一下上面的程序,很简单,首先在main 程序中创建context, 开启子goroutine,子goroutine是一个无限循环,和上面的引入示例一样,5s中通知退出。上面有两个函数,其中,在子的goroutine中又有一个子的goroutine,我们需要通知他们到了时间后退出。在当我们调用cancel()函数时,就开始通知子goroutine结束,而子goroutine收到通知后,会通知它的子goroutine结束。这一部分可以看源码,是采用无限循环实现的。
简单总结来说,WithCancel()的作用就是到了时间后,通知子goroutine取消
,然后子goroutine通知它的子goroutine取消,一步步下去。
下面看一个更形象的例子:
var wg sync.WaitGroup
func f1(ctx context.Context) {
defer wg.Done()
LOOP:
for {
fmt.Println("孙子goroutine:我饿了")
time.Sleep(time.Millisecond * 500)
select {
case <-ctx.Done():
fmt.Println("孙子goroutine:好的,我不叫了", ctx.Err())
break LOOP // 不要用break
default:
}
}
}
func f(ctx context.Context) {
defer wg.Done()
go f1(ctx)
LOOP:
for {
fmt.Println("儿子goroutine:我饿了")
time.Sleep(time.Millisecond * 500)
select {
case <-ctx.Done():
fmt.Println("儿子goroutine:好的,我不叫了", ctx.Err())
time.Sleep(10 * time.Nanosecond)
break LOOP // 不要用break
default:
}
}
}
func main() {
ctx, cancel := context.WithCancel(context.Background()) //
wg.Add(1)
go f(ctx)
time.Sleep(time.Second * 5)
fmt.Println("main:好了,开饭了,别叫了!")
cancel()
wg.Wait()
}
out
...(一直叫)
儿子goroutine:我饿了
孙子goroutine:我饿了
孙子goroutine:我饿了
儿子goroutine:我饿了
main:好了,开饭了,别叫了!
儿子goroutine:好的,我不叫了 context canceled
孙子goroutine:好的,我不叫了 context canceled
再来看一个例子,这个例子其实是官网上的。
func gen(ctx context.Context) <-chan int {
dst := make(chan int)
n := 1
go func() {
for {
select {
case <-ctx.Done():
return // return结束该goroutine,防止泄露
case dst <- n:
n++
}
}
}()
return dst
}
func main() {
ctx, cancel := context.WithCancel(context.Background())
defer cancel() // 当我们取完需要的整数后调用cancel
for n := range gen(ctx) {
fmt.Println(n)
if n == 5 {
break
}
}
}
这段程序gen()一直产生数字,发送到chan中,将chan返回。main中从中取数字,直到取到了5,就退出for循环不再取了,这时就会走到cancel()函数,子goroutine收到通知后,就退出。
5.2 WithDeadline()
WithDeadline
的函数签名如下:
func WithDeadline(parent Context, deadline time.Time) (Context, CancelFunc)
返回父上下文的副本,并将deadline调整为不迟于d。如果父上下文的deadline已经早于d,则WithDeadline(parent, d)在语义上等同于父上下文。当截止日过期时,当调用返回的cancel函数时,或者当父上下文的Done通道关闭时,返回上下文的Done通道将被关闭,以最先发生的情况为准。取消此上下文将释放与其关联的资源,因此代码应该在此上下文中运行的操作完成后立即调用cancel。
func main() {
d := time.Now().Add(2000 * time.Millisecond)
ctx, cancel := context.WithDeadline(context.Background(), d)
defer cancel()
select { // 异步场景
case <-time.After(1 * time.Second):
fmt.Println("001")
case <-ctx.Done():
fmt.Println(ctx.Err())
}
}
上面的代码中,定义了一个50毫秒之后过期的deadline,然后我们调用context.WithDeadline(context.Background(), d)
得到一个上下文(ctx)和一个取消函数(cancel),然后使用一个select让主程序陷入等待:等待1秒后打印overslept
退出或者等待ctx过期后退出。
在上面的示例代码中,因为ctx 50毫秒后就会过期,所以ctx.Done()
会先接收到context到期通知,并且会打印ctx.Err()的内容。
5.3 WithTimeout()
WithTimeout
的函数签名如下:
func WithTimeout(parent Context, timeout time.Duration) (Context, CancelFunc)
WithTimeout
返回WithDeadline(parent, time.Now().Add(timeout))
。
取消此上下文将释放与其相关的资源,因此代码应该在此上下文中运行的操作完成后立即调用cancel,通常用于数据库或者网络连接的超时控制。具体示例如下:
// 模拟连接数据库,死循环一直连接,
func worker(ctx context.Context) {
LOOP:
for {
fmt.Println("db connecting.....")
time.Sleep(time.Millisecond * 10) // 假设链接数据库耗时10ms
select {
case <-ctx.Done(): // 等超时时间到了,即使没连上,也要通知他返回了。自动返回,退出程序,不在尝试连接了。
break LOOP
default:
}
}
fmt.Println("worker done")
wg.Done()
}
func main() {
// 设置50ms的超时
ctx, cancel := context.WithTimeout(context.Background(), time.Millisecond*50)
wg.Add(1)
go worker(ctx)
time.Sleep(time.Second * 5)
cancel()
wg.Wait()
fmt.Println("over")
}
来简单分析一下这个程序:
- 第一种情况,如果超时时间设置成了50ms,数据库连接需要10ms,运行程序,可以看到,一直打印db connecting,说明这个goroutine一直执行,直到到了超时时间50ms,打印worker done,程序退出。这个是
context.WithTimeout函数自己到了超时时间发出的退出通知
,而不是main过了5s后手动调用的!这里要注意。也就是说,这个子goroutine,是到了超时时间就退出了。 - 第二种情况,如果超时数据库连接时间需要100ms,超时时间设置成50ms,那么同样的,到了超时时间,依然会退出。这个也是
context.WithTimeout
发出的,而不是后面过了5s后我主动调用的cancel()。
使用超时注意点
- cancel有个坑,如果超时完成前,就执行完成业务操作的话,还得手动调用cancel,否则就要等到超时时间才会释放资源。在实际编码中,如果明确知道成功了,可以提前手动调用,而不必等到超时时间到了。
- 一般都是在with后面,下一句直接写defer cancel()保证任何情况都可以取消。
5.4 WithValue()
WithValue
函数能够将请求作用域的数据与 Context 对象建立关系。声明如下:
func WithValue(parent Context, key, val interface{}) Context
WithValue
返回父节点的副本,其中与key关联的值为val。
仅对API和进程间传递请求域的数据使用上下文值,而不是使用它来传递可选参数给函数。
所提供的键必须是可比较的,并且不应该是string
类型或任何其他内置类型,以避免使用上下文在包之间发生冲突。WithValue
的用户应该为键定义自己的类型。为了避免在分配给interface{}时进行分配,上下文键通常具有具体类型struct{}
。或者,导出的上下文关键变量的静态类型应该是指针或接口。