GO 条件锁sync.Cond(2)

两个要点

Cond不能被复制:Cond在内部持有一个等待队列,这个队列维护所有等待在这个Cond的goroutine。因此若这个Cond允许值传递,则这个队列在值传递的过程中会进行复制,导致在唤醒goroutine的时候出现错误。

顺序唤醒: notifyList对象持有两个无限自增的字段wait和notify,wait字段在有新的goroutine等待的时候加1,notify字段在有新的唤醒信号的时候加1。在有新的goroutine加入队列的时候,会将当前wait赋值给goroutine的ticket,唤醒的时候会唤醒ticket等于notify的gourine。另外,当wait==notify时表示没有goroutine需要被唤醒,wait>notify时表示有goroutine需要被唤醒,waity恒大于等于notify

// Cond实现了一个条件变量,一个等待或宣布事件发生的goroutines的集合点。
//
// 每个Cond都有一个相关的Locker L(通常是* Mutex或* RWMutex)。
type Cond struct {
    // 不允许复制,一个结构体,有一个Lock()方法,嵌入别的结构体中,表示不允许复制
    // noCopy对象,拥有一个Lock方法,使得Cond对象在进行go vet扫描的时候,能够被检测到是否被复制
    noCopy noCopy
 
    // 锁的具体实现,通常为 mutex 或者rwmutex
    L Locker
 
    // 通知列表,调用Wait()方法的goroutine会被放入list中,每次唤醒,从这里取出
    // notifyList对象,维护等待唤醒的goroutine队列,使用链表实现
    // 在 sync 包中被实现, src/sync/runtime.go
    notify  notifyList
 
    // 复制检查,检查cond实例是否被复制
    // copyChecker对象,实际上是uintptr对象,保存自身对象地址
    checker copyChecker
 
}
 
// NewCond方法传入一个实现了Locker接口的对象,返回一个新的Cond对象指针,
// 保证在多goroutine使用cond的时候,持有的是同一个实例
func NewCond(l Locker) *Cond {
    return &Cond{L: l}
}
 
 
// 等待原子解锁c.L并暂停执行调用goroutine。
// 稍后恢复执行后,Wait会在返回之前锁定c.L.
// 与其他系统不同,除非被广播或信号唤醒,否则等待无法返回。
 
// 因为等待第一次恢复时c.L没有被锁定,
// 所以当Wait返回时,调用者通常不能认为条件为真。
// 相反,调用者应该循环等待:
 
//    c.L.Lock()
//    for !condition() {
//        c.Wait()
//    }
//    ... make use of condition ...
//    c.L.Unlock()
//
 
// 调用此方法会将此routine加入通知列表,并等待获取通知,调用此方法必须先Lock,不然方法里会调用Unlock(),报错
//
func (c *Cond) Wait() {
 
    // 检查是否被复制; 如果是就panic
    // check检查,保证cond在第一次使用后没有被复制
    c.checker.check()
    // 将当前goroutine加入等待队列, 该方法在 runtime 包的 notifyListAdd 函数中实现
    // src/runtime/sema.go
    t := runtime_notifyListAdd(&c.notify)
    // 释放锁,
    // 因此在调用Wait方法前,必须保证获取到了cond的锁,否则会报错
    c.L.Unlock()
 
    // 等待队列中的所有的goroutine执行等待唤醒操作
    // 将当前goroutine挂起,等待唤醒信号
    // 该方法在 runtime 包的 notifyListWait 函数中实现
    // src/runtime/sema.go
    runtime_notifyListWait(&c.notify, t)
    // 被通知了,获取锁,继续运行
    c.L.Lock()
}
 
 
 
 
//
// 唤醒单个 等待的 goroutine
func (c *Cond) Signal() {
    // 检查c是否是被复制的,如果是就panic
    // 保证cond在第一次使用后没有被复制
    c.checker.check()
    // 通知等待列表中的一个
    // 顺序唤醒一个等待的gorountine
    // 在runtime 包的 notifyListNotifyOne 函数中被实现
    // src/runtime/sema.go
    runtime_notifyListNotifyOne(&c.notify)
}
 
// 唤醒等待队列中的所有goroutine。
func (c *Cond) Broadcast() {
    // 检查c是否是被复制的,如果是就panic
    // 保证cond在第一次使用后没有被复制
    c.checker.check()
    // 唤醒等待队列中所有的goroutine
    // 有runtime 包的 notifyListNotifyAll 函数实现
    // src\runtime\sema.go
    runtime_notifyListNotifyAll(&c.notify)
}
 
// copyChecker保持指向自身的指针以检测对象复制。
type copyChecker uintptr
 
// 检查c是否被复制,如果是则panic
/**
check方法在第一次调用的时候,会将checker对象地址赋值给checker,也就是将自身内存地址赋值给自身
 */
func (c *copyChecker) check() {
    /**
    因为 copyChecker的底层类型为 uintptr
    那么 这里的 *c其实就是 copyChecker类型本身,然后强转成uintptr
    和拿着 c 也就是copyChecker的指针去求 uintptr,理论上要想等
    即:内存地址为一样,则表示没有被复制
     */
     // 下述做法是:
     // 其实 copyChecker中存储的对象地址就是 copyChecker 对象自身的地址
     // 先把 copyChecker 处存储的对象地址和自己通过 unsafe.Pointer求出来的对象地址作比较,
     // 如果发现不相等,那么就尝试的替换,由于使用的 old是0,
     // 则表示c还没有开辟内存空间,也就是说,只有是首次开辟地址才会替换成功
     // 如果替换不成功,则表示 copyChecker出所存储的地址和 unsafe计算出来的不一致
     // 则表示对象是被复制了
    if uintptr(*c) != uintptr(unsafe.Pointer(c)) &&
        !atomic.CompareAndSwapUintptr((*uintptr)(c), 0, uintptr(unsafe.Pointer(c))) &&
        uintptr(*c) != uintptr(unsafe.Pointer(c)) {
        panic("sync.Cond is copied")
    }
}
 
// noCopy可以嵌入到结构中,在第一次使用后不得复制。
//
// 详细介绍请查看: https://github.com/golang/go/issues/8005#issuecomment-190753527
type noCopy struct{}
 
// Lock is a no-op used by -copylocks checker from `go vet`.
// Lock 是有 go vet 命令来判断是否有 copy 的检查的
func (*noCopy) Lock() {}
 
 
 
// sync/runtime.go
// 使用链表实现
type notifyList struct {
 
    wait   uint32       // 等待数
    notify uint32       // 唤醒数
    lock   uintptr      // 信号锁
    // 使用链表实现
    head   unsafe.Pointer   // 队列的当前头
    tail   unsafe.Pointer   // 队列的当前尾
}
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,080评论 6 493
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,422评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,630评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,554评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,662评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,856评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,014评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,752评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,212评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,541评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,687评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,347评论 4 331
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,973评论 3 315
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,777评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,006评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,406评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,576评论 2 349

推荐阅读更多精彩内容