Go并发之RWMutex的源码解析详解

// 基于RWMutex的实现
var rwLock sync.RWMutex
var str1 = "hello"

func readWithRWLock() string {
    rwLock.RLock()
    defer rwLock.RUnlock()
    return str1
}

func writeWithRWLock() {
    rwLock.Lock()
    str1 = time.Now().FORMat("20060102150405")
    rwLock.Unlock()
}

// 多个协程并行读取string变量，同时每100ms对string变量进行1次更新
func BenchmarkRWMutex(b *testing.B) {
    ticker := time.NewTicker(100 * time.Millisecond)
    Go func() {
        for range ticker.C {
            writeWithRWLock()
        }
    }()
    b.ResetTimer()
    b.RunParallel(func(pb *testing.PB) {
        for pb.Next() {
            readWithRWLock()
        }
    })
}
// 基于Mutex实现
var lock sync.Mutex
var str2 = "hello"

func readWithMutex() string {
    lock.Lock()
    defer lock.Unlock()
    return str2
}

func writeWithMutex() {
    lock.Lock()
    str2 = time.Now().Format("20060102150405")
    lock.Unlock()
}

// 多个协程并行读取string变量，同时每100ms对string变量进行1次更新
func BenchmarkMutex(b *testing.B) {
    ticker := time.NewTicker(100 * time.Millisecond)
    go func() {
        for range ticker.C {
            writeWithMutex()
        }
    }()
    b.ResetTimer()
    b.RunParallel(func(pb *testing.PB) {
        for pb.Next() {
            readWithMutex()
        }
    })
}

const rwmutexMaxReaders = 1 << 30

type RWMutex struct {
    w           Mutex  // Mutex互斥锁，用于实现写操作之间的互斥

    writerSem   uint32 // 写操作信号量，用于读操作唤醒写操作
    readerSem   uint32 // 读操作信号量，用于写操作唤醒读操作

    readerCount int32  // 读操作的数量，不存在写操作时从0开始计数，存在写操作时从-rwmutexMaxReaders开始计数
    readerWait  int32  // 写操作等待读操作的数量
}

func (rw *RWMutex) Lock() {
    // 写操作之间通过w互斥锁实现互斥
    rw.w.Lock()
    // 1.将readerCount更新为负值，表示当前有写操作；当readerCount为负数时，新的读操作会被挂起
    // 2.r表示当前正在执行的读操作数量
    r := atomic.AddInt32(&rw.readerCount, -rwmutexMaxReaders) + rwmutexMaxReaders
    // r != 0表示当前存在正在执行的读操作；写操作需要等待所有读操作执行完，才能被执行；
    if r != 0 && atomic.AddInt32(&rw.readerWait, r) != 0 {
        // 将写操作挂起
        runtime_SemacquireMutex(&rw.writerSem, false, 0)
    }
}

func (rw *RWMutex) Unlock() {
    // 将readerCount更新为正数，从0开始计数
    r := atomic.AddInt32(&rw.readerCount, rwmutexMaxReaders)
    if r >= rwmutexMaxReaders {
        throw("sync: Unlock of unlocked RWMutex")
    }
    // 唤醒所有等待写操作的读操作 
    for i := 0; i < int(r); i++ {
        runtime_Semrelease(&rw.readerSem, false, 0)
    }
    // 释放w互斥锁，允许其他写操作进入
    rw.w.Unlock()
}

func (rw *RWMutex) RLock() {
    // 原子更新readerCount+1
    // 1. readerCount+1为负数时，表示当前存在写操作；读操作需要等待写操作执行完，才能被执行
    // 2. readerCount+1不为负数时，表示当前不存在写操作，读操作可以执行
    if atomic.AddInt32(&rw.readerCount, 1) < 0 {
        // 将读操作挂起
        runtime_SemacquireMutex(&rw.readerSem, false, 0)
    }
}

func (rw *RWMutex) RUnlock() {
    // 原子更新readerCount-1
    // 当readerCount-1为负时，表示当前读操作阻塞了写操作，需要进行readerWait的更新
    if r := atomic.AddInt32(&rw.readerCount, -1); r < 0 {
        rw.rUnlockSlow(r)
    }
}

func (rw *RWMutex) rUnlockSlow(r int32) {
    if r+1 == 0 || r+1 == -rwmutexMaxReaders {
        throw("sync: RUnlock of unlocked RWMutex")
    }
    // 原子操作readerWait-1
    // 当readerWait-1为0时，表示导致写操作阻塞的所有读操作都执行完，将写操作唤醒
    if atomic.AddInt32(&rw.readerWait, -1) == 0 {
        // 唤醒读操作
        runtime_Semrelease(&rw.writerSem, false, 1)
    }
}