func (rw *RWMutex) RLock() { if atomic.AddInt32(&rw.readerCount, 1) < 0 { // rw.readerCount是负值的时候，意味着此时有writer等待请求锁，因为writer优先级高，所以把后来的reader阻塞休眠 runtime_SemacquireMutex(&rw.readerSem, false, 0) } } 这个代码， rw.readerCount 为负数，表示有writer，正在等待，则reader要进行休眠。 func (rw *RWMutex) Lock() { // 首先解决其他writer竞争问题 rw.w.Lock() // 反转readerCount，告诉reader有writer竞争锁 r := atomic.AddInt32(&rw.readerCount, -rwmutexMaxReaders) + rwmutexMaxReaders // 如果当前有reader持有锁，那么需要等待 if r != 0 && atomic.AddInt32(&rw.readerWait, r) != 0 { runtime_SemacquireMutex(&rw.writerSem, false, 0) } } 这里是先获取到了锁，才去修改 rw.readerCount 的值，也就是说 每个writer 只有在获取到锁的情况下，才去把 rw.readerCount改成负数，而读锁是否休眠，也是根据这个值来判断。 func (rw *RWMutex) Unlock() { // 告诉reader没有活跃的writer了 r := atomic.AddInt32(&rw.readerCount, rwmutexMaxReaders) // 唤醒阻塞的reader们 for i := 0; i < int(r); i++ { runtime_Semrelease(&rw.readerSem, false, 0) } // 释放内部的互斥锁 rw.w.Unlock() } 而这个地方 先去释放了 reader，再去释放阻塞的writer 假设一种情况，在lock的时候，先后有a,b两个writer 进来，发现还有其他的reader正在使用，那么a，b进行阻塞，当reader 使用完了后，唤醒了a，a获取到了锁，在a使用期间，也有多个reader 进来，进行的休眠。当a使用完成后，调用unlock方法，先是修改了rw.readerCount（根据rlock的方法，rw.readerCount是唯一判断，是否阻塞的条件，那么，当这个时候，有新的reader进来，就可以无条件使用了）；再去唤醒被阻塞的reader（这个情况下，唤醒的reader 也可以进行无条件使用了），最后去释放锁，唤醒了b，b去获取锁的时候，发现有reader在使用，修改rw.readerCount的值（标示有等待的writer），然后进行休眠，当最后一个reader使用完成后，唤醒b，这个时候b才正在获取到了锁。 按照以上逻辑，多个writer的情况下，并没有造成reader出现饥饿状态，反而在释放写锁的那一刹那，新的reader 占了先机，这种情况怎么叫 Write-preferring 方案。我理解的Write-preferring 方案：是只有在没有writer的情况下，才轮到reader执行，多个writer的情况，是一个writer一个writer执行完，才会执行reader。我从代码中看出了不明白的地方，希望老师 帮忙解答一下