本文转载自微信公众号「Golang梦工厂」,面试作者AsongGo。携带线程转载本文请联系Golang梦工厂公众号。数据
哈喽,安全大家好,面试我是携带线程asong。最近一个群里看到一个有趣的数据八股文,问题是安全:使用context携带的value是线程安全的吗?这道题其实就是考察面试者对context实现原理的理解,如果不知道context的面试实现原理,很容易答错这道题,携带线程所以本文我们就借着这道题,数据再重新理解一遍context携带value的安全实现原理。
先说答案,context本身就是携带线程线程安全的,所以context携带value也是数据线程安全的,写个简单例子验证一下:
func main() {
ctx := context.WithValue(context.Background(), "asong", "test01")
go func() {
for {
_ = context.WithValue(ctx, "asong", "test02")
}
}()
go func() {
for {
_ = context.WithValue(ctx, "asong", "test03")
}
}()
go func() {
for {
fmt.Println(ctx.Value("asong"))
}
}()
go func() {
for {
fmt.Println(ctx.Value("asong"))
}
}()
time.Sleep(10 * time.Second)
}
程序正常运行,源码下载没有任何问题,接下来我们就来看一下为什么context是线程安全的!!!
context包提供两种创建根context的方式:
context.Backgroud()context.TODO()又提供了四个函数基于父Context衍生,其中使用WithValue函数来衍生context并携带数据,每次调用WithValue函数都会基于当前context衍生一个新的子context,WithValue内部主要就是调用valueCtx类:
func WithValue(parent Context, key, val interface{ }) Context {
if parent == nil {
panic("cannot create context from nil parent")
}
if key == nil {
panic("nil key")
}
if !reflectlite.TypeOf(key).Comparable() {
panic("key is not comparable")
}
return &valueCtx{ parent, key, val}
}
valueCtx结构如下:
type valueCtx struct {
Context
key, val interface{ }
}
valueCtx继承父Context,这种是采用匿名接口的继承实现方式,key,val用来存储携带的键值对。
通过上面的代码分析,可以看到添加键值对不是在原context结构体上直接添加,而是以此context作为父节点,重新创建一个新的valueCtx子节点,将键值对添加在子节点上,由此形成一条context链。
获取键值过程也是层层向上调用直到最终的根节点,中间要是找到了key就会返回,否会就会找到最终的云南idc服务商emptyCtx返回nil。画个图表示一下:
image-20220207214507921
总结:context添加的键值对一个链式的,会不断衍生新的context,所以context本身是不可变的,因此是线程安全的。
本文主要是想带大家回顾一下context的实现原理,面试中面试官都喜欢隐晦提出问题,所以这就需要我们有很扎实的基本功,一不小心就会掉入面试官的陷阱,要处处小心哦~
好啦,本文到这里就结束了,我是asong,我们下期见。
创建了读者交流群,欢迎各位大佬们踊跃入群,一起学习交流。入群方式:关注公众号获取。更多学习资料请到公众号领取。
高防服务器