go context 原理
原文 https://go.dev/blog/context
Introduction
在 Go 服务器中,每个传入的请求都在其自己的 goroutine 中处理。
请求处理程序通常会启动额外的 goroutine 来访问后台,比如数据库和 RPC 服务等。
处理请求的 goroutines 集通常需要访问特定于请求的值,例如最终用户的身份、授权令牌和请求的截止日期。
当请求被取消或超时时,所有处理该请求的 goroutines 都应该快速退出,以便系统可以回收它们正在使用的任何资源。
Google开发了一个context
包,可以轻松地将请求范围的值、取消信号和截止日期跨 API 边界传递给处理请求所涉及的所有 goroutine。context包公开可用 。本文介绍了如何使用该包并提供了一个完整的工作示例。
Context
1 | // A Context carries a deadline, cancellation signal, and request-scoped values |
Done
方法返回一个通道,该通道充当代表运行的函数的取消信号Context
:当通道关闭时,函数应该放弃它们的工作并返回。Err
方法返回一个错误,指示Context
取消的原因。
Context 没有 Cancel 方法,原因与 Done 通道是仅接收的原因相同:接收取消信号的函数通常不是发送信号的函数。 特别是,当父操作为子操作启动 goroutine 时,这些子操作不应该能够取消父操作。 相反,WithCancel 函数(如下所述)提供了一种取消新 Context 值的方法。
一个 Context 对于多个 goroutine 同时使用是安全的。 代码可以将单个 Context 传递给任意数量的 goroutine,并取消该 Context 以向所有 goroutine 发出信号。
Deadline 方法允许函数确定它们是否应该开始工作; 如果剩下的时间太少,可能就不值得了。 代码也可以使用最后期限来设置 I/O 操作的超时。
Value 允许上下文携带请求范围的数据。 该数据必须是安全的,以便多个 goroutine 同时使用。
Derived contexts
context 包提供了从现有值派生新 Context 值的函数。 这些值形成了一个树:当一个上下文被取消时,所有从它派生的上下文也被取消。
Background 是任何 Context 树的根; 它永远不会被取消:
1 | // Background returns an empty Context. It is never canceled, has no deadline, |
WithCancel 和 WithTimeout 返回派生的 Context 值,这些值可以比父 Context 更快地取消。 当请求处理程序返回时,通常会取消与传入请求关联的上下文。 WithCancel 对于在使用多个副本时取消冗余请求也很有用。 WithTimeout 对于设置对后端服务器的请求的截止日期很有用:
1 | // WithCancel returns a copy of parent whose Done channel is closed as soon as |
WithValue 提供了一种将请求范围的值与 Context 相关联的方法:
1 | // WithValue returns a copy of parent whose Value method returns val for key. |
Example
我们的示例是一个 HTTP 服务器,它通过将查询“golang”转发到 Google Web Search API 并呈现结果来处理像 /search?q=golang&timeout=1s 这样的 URL。 timeout 参数告诉服务器在该持续时间过去后取消请求。
代码分为三个包:
server 为 /search 提供主要功能和处理程序。
userip 提供了从请求中提取用户 IP 地址并将其与 Context 相关联的功能。
google 提供了用于向 Google 发送查询的搜索功能。
The server program
server 通过为 golang 提供前几个 Google 搜索结果来处理像 /search?q=golang 这样的请求。 它注册 handleSearch 来处理 /search 端点。 处理程序创建一个名为 ctx 的初始上下文,并安排在处理程序返回时取消它。 如果请求中包含 timeout URL 参数,则 Context 在超时后自动取消:
1 | func handleSearch(w http.ResponseWriter, req *http.Request) { |
处理程序从请求中提取查询,并通过调用 userip 包提取客户端的 IP 地址。 后端请求需要客户端的 IP 地址,因此 handleSearch 将其附加到 ctx:
1 | // Check the search query. |
The handler calls google.Search
with ctx
and the query
:
1 | // Run the Google search and print the results. |
If the search succeeds, the handler renders the results:
1 | if err := resultsTemplate.Execute(w, struct { |
Package userip
userip 包提供了从请求中提取用户 IP 地址并将其与上下文相关联的功能。 上下文提供键值映射,其中键和值都是 interface{} 类型。 键类型必须支持相等,并且值必须安全地被多个 goroutine 同时使用。 像 userip 这样的包隐藏了这个映射的细节,并提供了对特定上下文值的强类型访问。
为了避免键冲突,userip 定义了一个未导出的类型键,并使用此类型的值作为上下文键:
1 | // The key type is unexported to prevent collisions with context keys defined in |
FromRequest 从 http.Request 中提取 userIP 值:
1 | func FromRequest(req *http.Request) (net.IP, error) { |
NewContext 返回一个带有提供的 userIP 值的新 Context:
1 | func NewContext(ctx context.Context, userIP net.IP) context.Context { |
FromContext 从 Context 中提取用户 IP:
1 | func FromContext(ctx context.Context) (net.IP, bool) { |
Package google
google.Search 函数向 Google Web Search API 发出 HTTP 请求并解析 JSON 编码的结果。 它接受 Context 参数 ctx 并在请求运行时如果 ctx.Done 关闭则立即返回。
Google Web Search API 请求包括搜索查询和用户 IP 作为查询参数:
1 | func Search(ctx context.Context, query string) (Results, error) { |
Search 使用辅助函数 httpDo 来发出 HTTP 请求,如果在处理请求或响应时 ctx.Done 关闭,则将其取消。 搜索传递一个闭包给 httpDo 处理 HTTP 响应:
1 | var results Results |
httpDo 函数运行 HTTP 请求并在新的 goroutine 中处理其响应。 如果 ctx.Done 在 goroutine 退出之前关闭,它将取消请求:
1 | func httpDo(ctx context.Context, req *http.Request, f func(*http.Response, error) error) error { |
Adapting code for Contexts
许多服务器框架提供包和类型来承载请求范围的值。 我们可以定义 Context 接口的新实现,以在使用现有框架的代码和需要 Context 参数的代码之间架起一座桥梁。
例如,Gorilla 的 github.com/gorilla/context 包允许处理程序通过提供从 HTTP 请求到键值对的映射来将数据与传入请求相关联。 在 gorilla.go 中,我们提供了一个 Context 实现,其 Value 方法返回与 Gorilla 包中特定 HTTP 请求关联的值。
其他包提供了类似于 Context 的取消支持。 例如,Tomb 提供了一个 Kill 方法,该方法通过关闭 Dying 通道来发出取消信号。 Tomb 还提供了等待这些 goroutine 退出的方法,类似于 sync.WaitGroup。 在 tomb.go 中,我们提供了一个 Context 实现,当它的父 Context 被取消或提供的 Tomb 被杀死时,该实现被取消。
Conclusion
在 Google,我们要求 Go 程序员将 Context 参数作为第一个参数传递给传入和传出请求之间调用路径上的每个函数。 这使得许多不同团队开发的 Go 代码能够很好地互操作。 它提供了对超时和取消的简单控制,并确保安全凭证等关键值正确传输 Go 程序。
想要在 Context 上构建的服务器框架应该提供 Context 的实现,以便在它们的包和那些需要 Context 参数的包之间架起一座桥梁。 然后,他们的客户端库将接受来自调用代码的上下文。 通过为请求范围的数据和取消建立一个通用接口,Context 使包开发人员更容易共享代码以创建可扩展的服务。