Go 语言 context 最佳实践

简介: Go 语言 context 最佳实践

介绍

Go 语言在 v1.7 引入 context 包,关于它的使用方式,我们在之前的文章中已经介绍过,感兴趣的读者朋友们可以翻阅。

本文我们介绍 context 包的最佳实践,包括传值、超时和取消。

传值

我们可以使用 context 包的 func WithValue() 函数传递数据。

func main() {
 ctx := context.WithValue(context.Background(), "ctxKey1", "ctxVal")
 go func(ctx context.Context) {
  // 读取 ctx 的 value
  data, ok := ctx.Value("ctxKey1").(string)
  if ok {
   fmt.Printf("sub goroutine get value from parent goroutine, val=%s\n", data)
  }
 }(ctx)
 time.Sleep(1 * time.Second)
}

输出结果:

sub goroutine get value from parent goroutine, val=ctxVal

阅读上面这段代码,我们使用 func WithValue() 函数创建一个 context,并且传递 key 为 ctxKey1 的数据。

我们知道 context 是并发安全的,所以我们每次使用 context 传递一个新数据,都需要使用 func WithValue() 函数创建一个新的 context,包装一下 parent context

传递多个数据

...
ctx := context.WithValue(context.Background(), "ctxKey1", "ctxVal")
ctx = context.WithValue(ctx, "ctxKey2", "ctxVal2")
ctx = context.WithValue(ctx, "ctxKey3", "ctxVal3")
...

阅读上面这段代码,我们可以发现,如果使用 context 传递多个数据,就需要使用 func WithValue() 创建多个 context

虽然通过使用 func WithValue() 创建多个 context 的方式,可以实现我们的需求,但是,它使代码不再优雅,并且性能也会降低。

怎么解决?

针对该场景,我们可以参考 gRPC 框架的 metadata 包的代码。定义一个 map,通过传递 map 类型的值,实现需要使用 context 传递多个数据的需求。

func main() {
 ctxVal := make(map[string]string)
 ctxVal["k1"] = "v1"
 ctxVal["k2"] = "v2"
 ctx := context.WithValue(context.Background(), "ctxKey1", ctxVal)
 go func(ctx context.Context) {
  // 读取 ctx 的 value
  data, ok := ctx.Value("ctxKey1").(map[string]string)
  if ok {
   fmt.Printf("sub goroutine get value from parent goroutine, val=%+v\n", data)
  }
 }(ctx)
 time.Sleep(1 * time.Second)
}

输出结果:

sub goroutine get value from parent goroutine, val=map[k1:v1 k2:v2]

修改传递数据

使用 context 包的 func WithValue() 函数传递的数据,不建议在传输过程中进行修改,如果遇到在传输过程中需要修改数据的场景,我们可以使用 COW 的方式处理,从而避免 data race。

func main() {
 ctxVal := make(map[string]string)
 ctxVal["k1"] = "v1"
 ctxVal["k2"] = "v2"
 ctx := context.WithValue(context.Background(), "ctxKey1", ctxVal)
 go func(ctx context.Context) {
  // 读取 ctx 的 value
  data, ok := ctx.Value("ctxKey1").(map[string]string)
  if ok {
   ctxVal := make(map[string]string)
   for k, v := range data {
    ctxVal[k] = v
   }
   ctxVal["k3"] = "v3"
   ctx = context.WithValue(ctx, "ctxKey1", ctxVal)
   data, ok := ctx.Value("ctxKey1").(map[string]string)
   if !ok {
    fmt.Printf("sub goroutine get value from parent goroutine, val=%+v\n", nil)
   }
   fmt.Printf("sub goroutine get value from parent goroutine, val=%+v\n", data)
  }
 }(ctx)
 time.Sleep(1 * time.Second)
}

输出结果:

sub goroutine get value from parent goroutine, val=map[k1:v1 k2:v2 k3:v3]

阅读上面这段代码,我们通过 COW(copy on write) 方式修改 context 传递的数据。

03

超时

我们可以使用 context 包的 func WithTimeout() 函数设置超时时间,从而避免请求阻塞。

func main() {
 ctx, cancel := context.WithTimeout(context.Background(), 1*time.Millisecond)
 defer cancel()
 select {
 case <-time.After(1 * time.Second):
  fmt.Println("overslept")
 case <-ctx.Done():
  fmt.Println(ctx.Err())
 }

输出结果:

context deadline exceeded

阅读上面这段代码,我们使用 func WithTimeout() 函数创建一个 1ms 取消的 context,使用 select ... case ... 读取 ctx.Done(),从而取消监听该 contextgoroutine

04

取消

我们可以使用 context 包的 func WithCancel() 函数取消操作,从而避免 goroutine 泄露。

func main() {
 gen := func() <-chan int {
  dst := make(chan int)
  go func() {
   var n int
   for {
    dst <- n
    n++
   }
  }()
  return dst
 }
 for n := range gen() {
  fmt.Println(n)
  if n == 5 {
   break
  }
 }
 time.Sleep(1 * time.Second)
}

输出结果:

0
1
2
3
4
5

阅读上面这段代码,我们创建一个 gen() 函数,启动一个 goroutine 生成整数,循环调用 gen() 函数输出生成的整数,当整数值为 5 时,停止循环,从输出结果看,没有发现问题。

但是,实际上该段代码会导致 goroutine 泄露,因为 gen() 函数一直在无限循环。

怎么解决?

我们可以使用 func WithCancel() 函数创建一个 context,作为 gen() 函数的第一个参数,当停止循环时,同时调用 contextCancelFunc 取消 gen() 函数启动的 goroutine

func main() {
 gen := func(ctx context.Context) <-chan int {
  dst := make(chan int)
  go func() {
   var n int
   for {
    dst <- n
    n++
   }
  }()
  return dst
 }
 ctx, cancel := context.WithCancel(context.Background())
 defer cancel()
 for n := range gen(ctx) {
  fmt.Println(n)
  if n == 5 {
   cancel()
   break
  }
 }
 time.Sleep(1 * time.Second)
}

输出结果:

0
1
2
3
4
5

05

总结

本文我们介绍 context 包的传值、超时和取消的使用方式,context 包的这三个功能,我们不仅可以用于跨 goroutine 的操作,而且还可以用于跨服务的操作。

推荐阅读:

参考资料:

  1. https://go.dev/talks/2014/gotham-context.slide#29
  2. https://go.dev/blog/context


目录
相关文章
|
8天前
|
监控 算法 Go
Golang深入浅出之-Go语言中的服务熔断、降级与限流策略
【5月更文挑战第4天】本文探讨了分布式系统中保障稳定性的重要策略:服务熔断、降级和限流。服务熔断通过快速失败和暂停故障服务调用来保护系统;服务降级在压力大时提供有限功能以保持整体可用性;限流控制访问频率,防止过载。文中列举了常见问题、解决方案,并提供了Go语言实现示例。合理应用这些策略能增强系统韧性和可用性。
36 0
|
1天前
|
存储 编译器 Go
Go语言学习12-数据的使用
【5月更文挑战第5天】本篇 Huazie 向大家介绍 Go 语言数据的使用,包含赋值语句、常量与变量、可比性与有序性
27 6
Go语言学习12-数据的使用
|
2天前
|
Java Go
一文带你速通go语言指针
Go语言指针入门指南:简述指针用于提升效率,通过地址操作变量。文章作者sharkChili是Java/CSDN专家,维护Java Guide项目。文中介绍指针声明、取值,展示如何通过指针修改变量值及在函数中的应用。通过实例解析如何使用指针优化函数,以实现对原变量的直接修改。作者还邀请读者加入交流群深入探讨,并鼓励关注其公众号“写代码的SharkChili”。
9 0
|
2天前
|
存储 缓存 Java
来聊聊go语言的hashMap
本文介绍了Go语言中的`map`与Java的不同设计思想。作者`sharkChili`是一名Java和Go开发者,同时也是CSDN博客专家及JavaGuide项目的维护者。文章探讨了Go语言`map`的数据结构,包括`count`、`buckets指针`和`bmap`,解释了键值对的存储方式,如何利用内存对齐优化空间使用,并展示了`map`的初始化、插入键值对以及查找数据的源码过程。此外,作者还分享了如何通过汇编查看`map`操作,并鼓励读者深入研究Go的哈希冲突解决和源码。最后,作者提供了一个交流群,供读者讨论相关话题。
11 0
|
3天前
|
Java Go
Go语言学习11-数据初始化
【5月更文挑战第3天】本篇带大家通过内建函数 new 和 make 了解Go语言的数据初始化过程
17 1
Go语言学习11-数据初始化
|
4天前
|
自然语言处理 安全 Java
速通Go语言编译过程
Go语言编译过程详解:从词法分析(生成token)到句法分析(构建语法树),再到语义分析(类型检查、推断、匹配及函数内联)、生成中间码(SSA)和汇编码。最后,通过链接生成可执行文件。作者sharkchili,CSDN Java博客专家,分享技术细节,邀请读者加入交流群。
22 2
|
4天前
|
Java Linux Go
一文带你速通Go语言基础语法
本文是关于Go语言的入门介绍,作者因其简洁高效的特性对Go语言情有独钟。文章首先概述了Go语言的优势,包括快速上手、并发编程简单、设计简洁且功能强大,以及丰富的标准库。接着,文章通过示例展示了如何编写和运行Go代码,包括声明包、导入包和输出语句。此外,还介绍了Go的语法基础,如变量类型(数字、字符串、布尔和复数)、变量赋值、类型转换和默认值。文章还涉及条件分支(if和switch)和循环结构(for)。最后,简要提到了Go函数的定义和多返回值特性,以及一些常见的Go命令。作者计划在后续文章中进一步探讨Go语言的其他方面。
10 0
|
5天前
|
JavaScript 前端开发 Go
Go语言的入门学习
【4月更文挑战第7天】Go语言,通常称为Golang,是由Google设计并开发的一种编程语言,它于2009年公开发布。Go的设计团队主要包括Robert Griesemer、Rob Pike和Ken Thompson,这三位都是计算机科学和软件工程领域的杰出人物。
13 1
|
5天前
|
Go
|
6天前
|
分布式计算 Java Go
Golang深入浅出之-Go语言中的分布式计算框架Apache Beam
【5月更文挑战第6天】Apache Beam是一个统一的编程模型,适用于批处理和流处理,主要支持Java和Python,但也提供实验性的Go SDK。Go SDK的基本概念包括`PTransform`、`PCollection`和`Pipeline`。在使用中,需注意类型转换、窗口和触发器配置、资源管理和错误处理。尽管Go SDK文档有限,生态系统尚不成熟,且性能可能不高,但它仍为分布式计算提供了可移植的解决方案。通过理解和掌握Beam模型,开发者能编写高效的数据处理程序。
134 1