摘要
在上一篇文章 golang 重要知识:mutex 里我们介绍了互斥锁 mutex 的相关原理实现。而且在 Go 里除了互斥锁外,还有读写锁 RWMutex,它主要用来实现读共享,写独占的功能。今天我们也顺便分析下读写锁,加深对 Go 锁的理解。
读写锁的实现原理
所谓的读写锁,其实就是针对下面的两种场景,对 Goroutine 之间的同步互斥进行控制:
- 多个 goroutine 一起占有读锁,互不影响,可以继续自己后面的逻辑代码。
- 写锁正在占有着,则后面的 goroutine 无论是要进行读锁占有,还是写锁占有,都将会被阻塞等待,直到当前的写锁释放。
弄清楚上面的场景需求后,实现就简单多了,关键就在于判断当前是否处于写锁状态即可,毕竟需要有阻塞等待的动作。
按照常规思路,我们一般会采用一个标识位来维护这个状态。然而,Go 官方却连这一步都省了。
利用了一个本来就得维护的读锁数量,在进行写锁占有时,使它变为负数。
后面有新进来的读写操作,只需要判断该值是否正负即可,负数则代表当前正在进行写锁占有,需要阻塞等待。
而在写锁占有结束后,该值又会恢复为正数,又可以进行新的读写操作了。
RWMutex 源码分析
接下来,我们到 src/runtime/rwmutex.go
里具体分析下 RWMutex 的代码结构。
type rwmutex struct {
rLock mutex
readers muintptr
readerPass uint32
wLock mutex
writer muintptr
readerCount uint32
readerWait uint32
}
RWMutex 的 Lock() 分析
func (rw \*rwmutex) Lock() {
lock(&rw.wLock)
m := getg().m
r := int32(atomic.Xadd(&rw.readerCount, -rwmutexMaxReaders)) + rwmutexMaxReaders
lock(&rw.rLock)
if r != 0 && atomic.Xadd(&rw.readerWait, r) != 0 {
systemstack(func() {
rw.writer.set(m)
unlock(&rw.rLock)
notesleep(&m.park)
noteclear(&m.park)
})
} else {
unlock(&rw.rLock)
}
}
RWMutex 的 RLock() 分析
func (rw \*rwmutex) Rlock() {
acquirem()
if int32(atomic.Xadd(&rw.readerCount, 1)) < 0 {
systemstack(func() {
lock(&rw.rLock)
if rw.readerPass > 0 {
rw.readerPass -= 1
unlock(&rw.rLock)
} else {
m := getg().m
m.schedlink = rw.readers
rw.readers.set(m)
unlock(&rw.rLock)
notesleep(&m.park)
noteclear(&m.park)
}
})
}
}
RWMutex 的 Unlock() 分析
func (rw \*rwmutex) Unlock() {
r := int32(atomic.Xadd(&rw.readerCount, rwmutexMaxReaders))
if r >= rwmutexMaxReaders {
throw("unlock of unlocked rwmutex")
}
lock(&rw.rLock)
for rw.readers.ptr() != nil {
reader := rw.readers.ptr()
rw.readers = reader.schedlink
reader.schedlink.set(nil)
notewakeup(&reader.park)
r -= 1
}
rw.readerPass += uint32(r)
unlock(&rw.rLock)
unlock(&rw.wLock)
}
RWMutex 的 RUnlock() 分析
func (rw \*rwmutex) RUnlock() {
if r := int32(atomic.Xadd(&rw.readerCount, \-1)); r < 0 {
if r+1 == 0 || r+1 == -rwmutexMaxReaders {
throw("runlock of unlocked rwmutex")
}
if atomic.Xadd(&rw.readerWait, \-1) == 0 {
lock(&rw.rLock)
w := rw.writer.ptr()
if w != nil {
notewakeup(&w.park)
}
unlock(&rw.rLock)
}
}
releasem(getg().m)
}
总结
RWMutex 通过 readerCount 的正负来判断当前是处于读锁占有还是写锁占有。
在处于写锁占有状态后,会将此时的 readerCount 赋值给 readerWait,表示要等前面 readerWait 个读锁释放完才算完整的占有写锁,才能进行后面的独占操作。
读锁释放的时候, 会对 readerWait 对应减一,直到为 0 值,就可以唤起写锁了。
并且在写锁占有后,即时有新的读操作加进来, 也不会影响到 readerWait 值了,只会影响总的读锁数目:readerCount。
感兴趣的朋友可以搜一搜公众号「 阅新技术 」,关注更多的推送文章。
可以的话,就顺便点个赞、留个言、分享下,感谢各位支持!
阅新技术,阅读更多的新知识。
https://segmentfault.com/a/1190000040485266