• 读写锁中的可读锁(sync.RWMutexRLock())可以嵌套使用的。
  • 互斥锁(sync.Mutexsync.RWMutexLock())是不可以互相嵌套的,且不可以与可读锁嵌套。

    之前我在读写锁和互斥锁上理解有偏差,认为读写锁与互斥锁是完全独立且相互对应的关系。现在理解为 互斥 只是一种特性。而把 sync.Mutex 叫作 全局锁sync.RWMutex 叫作 读写锁。 全局锁 sync.Mutex,是同一时刻某一资源只能上一个锁,此锁具有排他性,上锁后只能被此线程使用,直至解锁。加锁后即不能读也不能写。全局锁是互斥锁,即 sync.Mutex 是个互斥锁。 读写锁 sync.RWMutex ,将使用者分为读者和写者两个概念,支持同时多个读者一起读共享资源,但写时只能有一个,并且在写时不可以读。理论上来说,sync.RWMutexLock() 也是个互斥锁。

踩坑点

将上面的结论展开一下,更清晰得说(为避免理解偏差宁可唠叨一些):

  • sync.Mutex 的锁是不可以嵌套使用的。
  • sync.RWMutexmu.Lock() 是不可以嵌套的。
  • sync.RWMutexmu.Lock() 中不可以嵌套 mu.RLock()。(这是个注意的地方)

否则,会 panic fatal error: all goroutines are asleep - deadlock!

实例说明

所以以下函数不会造成 panic:

  1. var l sync.RWMutex
  2. func readAndRead() { // 可读锁内使用可读锁
  3. l.RLock()
  4. defer l.RUnlock()
  5. l.RLock()
  6. defer l.RUnlock()
  7. }
  8. func main() {
  9. lockAndRead()
  10. time.Sleep(5 * time.Second)
  11. }

而将 readAndRead 换为以下三种函数均会造成 panic:

  1. func lockAndLock() { // 全局锁内使用全局锁
  2. l.Lock()
  3. defer l.Unlock()
  4. l.Lock()
  5. defer l.Unlock()
  6. }
  7. func lockAndRead() { // 全局锁内使用可读锁
  8. l.Lock()
  9. defer l.Unlock() // 由于 defer 是栈式执行,所以这两个锁是嵌套结构
  10. l.RLock()
  11. defer l.RUnlock()
  12. }
  13. func readAndLock() { // 可读锁内使用全局锁
  14. l.RLock()
  15. defer l.RUnlock()
  16. l.Lock()
  17. defer l.Unlock()
  18. }

注: 在 goroutine 中的 panic 不会影响主程序,所以在测试时要注意并不是没有 panic 输出就一定是没发生。