近日看了一篇 文章,讲到了用锁的 panic 问题,但并没有看懂,今日测试了许多场景,认为终于得出了结论:
- 读写锁中的可读锁(
sync.RWMutex
的RLock()
)可以嵌套使用的。 - 互斥锁(
sync.Mutex
和sync.RWMutex
的Lock()
)是不可以互相嵌套的,且不可以与可读锁嵌套。
之前我在读写锁和互斥锁上理解有偏差,认为读写锁与互斥锁是完全独立且相互对应的关系。现在理解为
互斥
只是一种特性。而把sync.Mutex
叫作 全局锁,sync.RWMutex
叫作 读写锁。全局锁
sync.Mutex
,是同一时刻某一资源只能上一个锁,此锁具有排他性,上锁后只能被此线程使用,直至解锁。加锁后即不能读也不能写。全局锁是互斥锁,即sync.Mutex
是个互斥锁。读写锁
sync.RWMutex
,将使用者分为读者和写者两个概念,支持同时多个读者一起读共享资源,但写时只能有一个,并且在写时不可以读。理论上来说,sync.RWMutex
的Lock()
也是个互斥锁。
踩坑点
将上面的结论展开一下,更清晰得说(为避免理解偏差宁可唠叨一些):
-
sync.Mutex
的锁是不可以嵌套使用的。 -
sync.RWMutex
的mu.Lock()
是不可以嵌套的。 -
sync.RWMutex
的mu.Lock()
中不可以嵌套mu.RLock()
。(这是个注意的地方)
否则,会 panic fatal error: all goroutines are asleep - deadlock!
实例说明
所以以下函数不会造成 panic:
var l sync.RWMutex
func readAndRead() { // 可读锁内使用可读锁
l.RLock()
defer l.RUnlock()
l.RLock()
defer l.RUnlock()
}
func main() {
lockAndRead()
time.Sleep(5 * time.Second)
}
而将 readAndRead
换为以下三种函数均会造成 panic:
func lockAndLock() { // 全局锁内使用全局锁
l.Lock()
defer l.Unlock()
l.Lock()
defer l.Unlock()
}
func lockAndRead() { // 全局锁内使用可读锁
l.Lock()
defer l.Unlock() // 由于 defer 是栈式执行,所以这两个锁是嵌套结构
l.RLock()
defer l.RUnlock()
}
func readAndLock() { // 可读锁内使用全局锁
l.RLock()
defer l.RUnlock()
l.Lock()
defer l.Unlock()
}
注: 在 goroutine 中的 panic 不会影响主程序,所以在测试时要注意并不是没有 panic 输出就一定是没发生。
有疑问加站长微信联系(非本文作者)