golang从context源码领悟接口的设计
注:写帖子时go的版本是1.12.7
Context的github地址
go
语言中实现一个interface
不用像其他语言一样需要显示的声明实现接口。go
语言只要实现了某interface
的方法就可以做类型转换。go
语言没有继承的概念,只有Embedding
的概念。想深入学习这些用法,阅读源码是最好的方式.Context
的源码非常推荐阅读,从中可以领悟出go
语言接口设计的精髓。
对外暴露Context接口
Context
源码中只对外显露出一个Context
接口
type Context interface {
Deadline() (deadline time.Time, ok bool)
Done() <-chan struct{}
Err() error
Value(key interface{}) interface{}
}
对于Context
的实现源码里有一个最基本的实现,就是私有的emptyCtx
,他也就是我们经常使用的context.Background()
底层的实现,他是一个int
类型,实现了Context
接口的所有方法,但都是没有做任何处理,都是返回的默认空值。只有String()
方法,里有几行代码,去判断emptyCtx
的类型来进行相应的字符串输出,String()
方法其实是实现了接口Stringer
。emptyCtx
是整个Context
的灵魂
,为什么这么说,因为你对context
的所有的操作都是基于他去做的再次封装。
注意一下Value(key interface{}) interface{}
,因为还没有泛型
,所以能用的做法就是传递或者返回interface{}
。不知道Go2
会不会加入泛型
,说是会加入,但是还没有出最终版,一切都是未知的,因为前一段时间还说会加入try
,后来又宣布放弃。
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
}
func (e *emptyCtx) String() string {
switch e {
case background:
return "context.Background"
case todo:
return "context.TODO"
}
return "unknown empty Context"
}
var (
background = new(emptyCtx)
todo = new(emptyCtx)
)
在使用Context
时我们能直接得到就是background
和todo
func Background() Context {
return background
}
func TODO() Context {
return todo
}
其他所有对外公开的方法都必须传入一个Context
做为parent
,这里设计的很巧妙,为什么要有parent
后面我会详细说。
可以cancel掉的Context
可以cancel掉的context有三个公开的方法,也就是,是否带过期时间的Context
func WithCancel(parent Context) (ctx Context, cancel CancelFunc)
func WithDeadline(parent Context, d time.Time) (Context, CancelFunc)
func WithTimeout(parent Context, timeout time.Duration) (Context, CancelFunc)
Context
只用关心自己是否Done()
,具体这个是怎么完成的他并不关心,是否可以cancel
掉也不是他的业务,所以源码中把这部分功能分开来。
Context
最常用的功能就是去监控他的Done()
是否已完成,然后判断完成的原因,根据自己的业务展开相应的操作。要提一下Context
是线程安全的,他在必要的地方都加了锁处理。Done()
的原理:其实是close
掉了channel
所以所有监控Done()
方法都能知道这个Context
执行完了。
ctx, cancel := context.WithTimeout(ctx, 100*time.Millisecond)
defer cancel()
v, err := DoSomething(ctx)
if err != nil {
return err
}
select {
case <-ctx.Done():
return ctx.Err()
case out <- v:
}
我这里不缀述Context
是如何使用的。这篇帖子主要分析的是源码。
Context
可以被cancel
掉需要考虑几个问题:
- 如何处理父或子
Context
的cancel
。 cancel
后Context
是否也应该删除掉。
我们从源码中来找到答案。
看一下canceler
的接口,这是一个独立的私有接口,和Context
接口独立开来,Context
只做自己的事,并不用关心自己有啥附加的功能,比如现在说的cancel
功能,这也是一个很好的例子,如果有需要对Context
进行扩展,可以参考他们的代码。
type canceler interface {
cancel(removeFromParent bool, err error)
Done() <-chan struct{}
}
和两个错误
var Canceled = errors.New("context canceled")
var DeadlineExceeded error = deadlineExceededError{}
是个是被主动Cancel
的错误和一个超时
的错误,这两个错误是对外显露的,我们也是根据这两个Error
判断Done()
是如何完成的。
实现canceler
接口的是结构体cancelCtx
// 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
把Context
接口Embedding
进去了,也就是说cancelCtx
多重实现接口,不但是个canceler
类型也是一个Context
类型。
源码中cancelCtx
并没有实现Context
接口中的所有的方法,这就是Embedding
的强大之处,Context
接口的具体实现都是外部传进来的具体Context
实现类型来实现的eg:cancelCtx{Context: xxxx}
。
还要注意一点就是这两个接口都有各自的Done()
方法,cancelCtx
有实现自己的Done()
方法,也就是说无论转换成canceler
接口类型还是Context
类型调用Done()
方法时,都是他自己的实现
以cancelCtx
为基础还有一个是带过期时间的实现timerCtx
type timerCtx struct {
cancelCtx
timer *time.Timer // Under cancelCtx.mu.
deadline time.Time
}
timerCtx
是WithDeadline
和WithTimeout
方法的基础。
func WithDeadline(parent Context, d time.Time) (Context, CancelFunc)
func WithTimeout(parent Context, timeout time.Duration) (Context, CancelFunc)
WithCancel
需要调用者主动去调用cancel
,其他的两个,就是有过期时间,如果不主动去调用cancel
到了过期时间系统会自动调用。
上面我有说过
context
包中Background()
和TODO()
方法,是其他所有公开方法的基础,因为其他所有的公开方法都需要传递进来一个Context
接口做为parent
。这样我们所有创建的新的Context
都是以parent
为基础来进行封装和操作
看一下cancelCtx
的是如何初始化的
func newCancelCtx(parent Context) cancelCtx {
return cancelCtx{Context: parent}
}
func WithCancel(parent Context) (ctx Context, cancel CancelFunc) {
c := newCancelCtx(parent)
propagateCancel(parent, &c)
return &c, func() { c.cancel(true, Canceled) }
}
propagateCancel
回答了我们第一个问题
如何处理父或子
Context
的cancel
。
func propagateCancel(parent Context, child canceler) {
if parent.Done() == nil {
return // parent is never canceled
}
if p, ok := parentCancelCtx(parent); ok {
p.mu.Lock()
if p.err != nil {
// parent has already been canceled
child.cancel(false, p.err)
} else {
if p.children == nil {
p.children = make(map[canceler]struct{})
}
p.children[child] = struct{}{}
}
p.mu.Unlock()
} else {
go func() {
select {
case <-parent.Done():
child.cancel(false, parent.Err())
case <-child.Done():
}
}()
}
}
propagateCancel
做了以下几件事
- 检查
parent
是否可以cancel
- 检查
parent
是否是cancelCtx
类型
2.1. 如果是,再检查是否已经cancel
掉,是则cancel掉child
,否则加入child
2.2. 如果不是,则监控parent
和child 的Done()
我们看一下timerCtx
的具体实现
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 {
c.done = closedchan
} else {
close(c.done)
}
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()
if removeFromParent {
removeChild(c.Context, c)
}
}
我们去查看所有对cancel
的调用会发现
func WithCancel(parent Context) (ctx Context, cancel CancelFunc) {
c := newCancelCtx(parent)
propagateCancel(parent, &c)
return &c, func() { c.cancel(true, Canceled) }
}
func WithDeadline(parent Context, d time.Time) (Context, CancelFunc) {
if cur, ok := parent.Deadline(); ok && cur.Before(d) {
// The current deadline is already sooner than the new one.
return WithCancel(parent)
}
c := &timerCtx{
cancelCtx: newCancelCtx(parent),
deadline: d,
}
propagateCancel(parent, c)
dur := time.Until(d)
if dur <= 0 {
c.cancel(true, DeadlineExceeded) // deadline has already passed
return c, func() { c.cancel(false, Canceled) }
}
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) }
}
返回的cancel
方法都是func() { c.cancel(true, Canceled) }
回答了我们的第二个问题
cancel
后Context
是否也应该删除掉。
所有创建的可以cancel
掉的方法都会被从parent
上删除掉
保存key/value信息的Context
Context
还有一个功能就是保存key/value
的信息,从源码中我们可以看出一个Context
只能保存一对,但是我们可以调用多次WithValue
创建多个Context
func WithValue(parent Context, key, val interface{}) Context {
if key == nil {
panic("nil key")
}
if !reflect.TypeOf(key).Comparable() {
panic("key is not comparable")
}
return &valueCtx{parent, key, val}
}
在查询key
的时候,是一个向上递归的过程:
func (c *valueCtx) Value(key interface{}) interface{} {
if c.key == key {
return c.val
}
return c.Context.Value(key)
}
总结一下
- 接口要有边界,要简洁。
- 对外公开的部分要简单明了。
- 提炼边界方法和辅助实现部分,隐藏细节。
golang从context源码领悟接口的设计的更多相关文章
- ibatis源码学习1_整体设计和核心流程
背景介绍ibatis实现之前,先来看一段jdbc代码: Class.forName("com.mysql.jdbc.Driver"); String url = "jdb ...
- 10个带源码的充满活力的Web设计教程
10个带源码的充满活力的Web设计教程 2013-08-02 16:47 佚名 OSCHINA编译 我要评论(0) 字号:T | T Web设计师必须了解各种各样的Web设计风格,这才能让他或者她在设 ...
- Golang Http Server源码阅读
建议看这篇文章前先看一下net/http文档 http://golang.org/pkg/net/http/ net.http包里面有很多文件,都是和http协议相关的,比如设置cookie,head ...
- 【协作式原创】查漏补缺之Golang中mutex源码实现(预备知识)
预备知识 CAS机制 1. 是什么 参考附录3 CAS 是项乐观锁技术,当多个线程尝试使用 CAS 同时更新同一个变量时,只有其中一个线程能更新变量的值,而其它线程都失败,失败的线程并不会被挂起,而是 ...
- 【协作式原创】查漏补缺之Golang中mutex源码实现
概览最简单版的mutex(go1.3版本) 预备知识 主要结构体 type Mutex struct { state int32 // 指代mutex锁当前的状态 sema uint32 // 信号量 ...
- golang学习笔记----源码文件
GO源码文件
- 读EntityFramework.DynamicFilters源码_心得_设计思想_04
前几次,我们从说明文档,示例,单元测试了解了怎么用这个动态过滤器,那么如果仅仅是为了实现目的,知道怎么用就可以完成相应的功能开发,但我还想了解的问题是 作者是怎么将动态过滤器与EF结合的 有哪些设计思 ...
- jquery源码分析(二)——架构设计
要学习一个库首先的理清它整体架构: 1.jQuery源码大致架构如下:(基于 jQuery 1.11 版本,共计8829行源码)(21,94) 定义了一些变量和函数jQu ...
- Sizzle源码分析:一 设计思路
一.前言 DOM选择器(Sizzle)是jQuery框架中非常重要的一部分,在H5还没有流行起来的时候,jQuery为我们提供了一个简洁,方便,高效的DOM操作模式,成为那个时代的经典.虽然现在Vue ...
随机推荐
- Oracle PL/SQL编程
一.PL/SQL简介 1.概念:PL/SQL是Oracle在标准SQL语言上的过程性扩展. 2.优点和特性 提高应用程序的运行性能 提供模块化的程序设计功能 允许定义标示符 具有过程语言控制结构 具备 ...
- C++中的new,operator new与placement new
以下是C++中的new,operator new与placement new进行了详细的说明介绍,需要的朋友可以过来参考下 new operator/delete operator就是new和 ...
- kolla-ansible-----快速部署openstack
基本环境 操作系统:CentOS Linux release 7.5.1804 (Core) 内核版本:3.10.0-862.el7.x86_64 docker版本:1.13.1 1.禁用宿主机的 L ...
- outerHTML、innerHTML以及innerText三者的区别
- java基础知识总结(一)
满满的干货=-= (一)环境变量的作用: 每个人刚开始学习java的时候,肯定都是安装JDK,配置环境变量,怎么配置网上教程很多很多,但是为什么这么配置呢? 我配置的环境变量: JAVA_HOME:C ...
- 【commons-lang3工具】JAVA脱敏工具
前言:commons-langbao中有很多方便的工具,无需我们自己去实现,能够节省很多开发时的问题: 1.工具包,引入依赖,jDK8对应的版本如下: <!-- https://mvnrepos ...
- Appcan 自定义星星评价
注意要先有图片: 放在 css/icons/下 HTML代码: <div class="ub ub-f1"> <input id="bz-0&q ...
- Node.js Windows Example
Firstly, download the msi file from https://nodejs.org/en/ Second, click the msi file to install nod ...
- 剖析Unreal Engine超真实人类的渲染技术Part 2 - 眼球渲染
目录 三.眼球渲染 3.1 眼球的构造及理论 3.1.1 眼球的构造 3.1.2 眼球的渲染理论 3.2 眼球的渲染技术 3.2.1 角膜的半透和光泽反射 3.2.2 瞳孔的次表面散射 3.2.3 瞳 ...
- 通过CDN引入jQuery的几种方式
百度 CDN <head> <script src="https://apps.bdimg.com/libs/jquery/2.1.4/jquery.min.js" ...