golang内存模型-2 锁解决Happens Before

626 阅读1分钟

吾日三省吾身:高否?富否?帅否?是,滚回家;否,滚去学习

1. 前言

上篇文章我们聊了下chan是如何解决不满足HappensBefore条件的goroutine的,接下来这边文章我们继续来聊聊是怎么满足这个HappensBefore的。

2. 例子

还是上篇文章销毁goroutine的例子

package main

var a string

func hello() {
 go func() { a = "hello" }()
 print(a)
}

func main() {
 hello()
}

我们说这个例子有问题,上篇文章说了,就是结果不确定,那么我们如何通过锁来解决呢?

3. 解决

sync包实现了两个锁的数据类型sync.Mutex和sync.RWMutex。

对任意的sync.Mutex或sync.RWMutex变量l和n < m,n次调用l.Unlock()先行发生于m次l.Lock()返回。

package main

import "sync"

var a string
var l sync.Mutex

func hello() {
 l.Lock() //先加锁
 go func() {
  a = "hello"
  l.Unlock() //在释放锁
 }()
 l.Lock() //再加锁的时候发现锁还没释放呢,所以等待,这个时候一定是a的w先执行,后面print(a)即a的r后执行,这就满足HappensBefore了
 print(a)
}

func main() {
 hello()
}

能保证打印出"hello"。第一次调用l.Unlock()先行发生于第二次l.Lock()返回, 先行发生于print,即a的w发生于a的r之前。

4. 小结

对于sync.RWMutex变量l,任意的函数调用l.RLock满足第n次l.RLock后发生于第n次调用l.Unlock,对应的l.RUnlock先行发生于第n+1次调用l.Lock。大家不妨自己试着写下这个demo。

5. 关注公众号

微信公众号:堆栈future

希望大家关注哈,原创不容易,求点赞,求关注,求分享

扫码_搜索联合传播样式-标准色版.png