Go语言—sync.Cond源码分析

【推荐】2019 Java 开发者跳槽指南.pdf(吐血整理) >>>

Cond的主要作用就是获取锁之后，wait()方法会等待一个通知，来进行下一步锁释放等操作，以此控制锁合适释放，释放频率,适用于在并发环境下goroutine的等待和通知。

针对Golang 1.9的sync.Cond，与Golang 1.10一样。源代码位置：sync\cond.go。

结构体

` type Cond struct {
noCopy noCopy // noCopy可以嵌入到结构中，在第一次使用后不可复制,使用go vet作为检测使用
// 根据需求初始化不同的锁，如*Mutex 和 *RWMutex
L Locker

notify notifyList // 通知列表,调用Wait()方法的goroutine会被放入list中,每次唤醒,从这里取出 checker copyChecker // 复制检查,检查cond实例是否被复制
}
`

再来看看等待队列notifyList结构体：

type notifyList struct { wait uint32 notify uint32 lock uintptr head unsafe.Pointer tail unsafe.Pointer }

函数

NewCond

相当于Cond的构造函数，用于初始化Cond。

参数为Locker实例初始化,传参数的时候必须是引用或指针,比如&sync.Mutex{}或new(sync.Mutex)，不然会报异常:cannot use lock (type sync.Mutex) as type sync.Locker in argument to sync.NewCond。

大家可以想想为什么一定要是指针呢？因为如果传入 Locker 实例，在调用 c.L.Lock() 和 c.L.Unlock() 的时候，会频繁发生锁的复制，会导致锁的失效，甚至导致死锁。

func NewCond(l Locker) *Cond { return &Cond{L: l} }

Wait 等待自动解锁c.L和暂停执行调用goroutine。恢复执行后,等待锁c.L返回之前。与其他系统不同，等待不能返回，除非通过广播或信号唤醒。

因为c。当等待第一次恢复时，L并没有被锁定，调用者通常不能假定等待返回时的条件是正确的。相反，调用者应该在循环中等待:

func (c *Cond) Wait() { // 检查c是否是被复制的，如果是就panic c.checker.check() // 将当前goroutine加入等待队列 t := runtime_notifyListAdd(&c.notify) // 解锁 c.L.Unlock() // 等待队列中的所有的goroutine执行等待唤醒操作 runtime_notifyListWait(&c.notify, t) c.L.Lock() }

关键字：go语言 sync.Cond 源码解读
了解更多
点击了解更多，查看剩余signal与broadcast的解析，还有实际举例哦~

来源：oschina

链接：https://my.oschina.net/u/4431452/blog/3150789

标签

Locker