G
GolangRoadmap
V1
2022/07/01阅读:17主题:全栈蓝
《Go题库·16》读写锁底层是怎么实现的
❝「题目解析」 GOLANG ROADMAP社区
❞
「答案」(自由)
读写锁的底层是基于互斥锁实现的。
-
为什么有读写锁,它解决了什么问题?(使用场景) -
它的底层原理是什么?
在这里我会结合 Go 中的读写锁 RWMutex 进行介绍。
我们通过与 Mutex 对比得出答案。Mutex 是不区分 goroutine 对共享资源的操作行为的,在读操作、它会上锁,在写操作,它也会上锁,当一段时间内,读操作居多时,读操作在 Mutex 的保护下也不得不变为串行访问,对性能的影响也就比较大了。
RWMutex 读写锁的诞生为了区分读写操作,在进行读操作时,goroutine 就不必傻傻的等待了,而是可以并发地访问共享资源,将串行读变成了并行读,提高了读操作的性能。
读写锁针对解决一类问题:readers-writes ,同时有多个读或者多个写操作时,只要有一个线程在执行写操作,其他的线程都不能进行读操作。
读写锁其实有三种工作模型:
-
Read-perferring 优先读设计,可能会导致写饥饿 -
Write-prferring 优先写设计,避免写饥饿 -
不指定优先级 不区分优先级,解决饥饿问题
Go 中的读写锁,工作模型是 Write-prferring 方案。
「答案」(栾龙生)
-
读写锁解决问题
主要应用于写操作少,读操作多的场景。读写锁满足以下四条规则。
-
写锁需要阻塞写锁:一个协程拥有写锁时,其他协程写锁定需要阻塞; -
写锁需要阻塞读锁:一个协程拥有写锁时,其他协程读锁定需要阻塞; -
读锁需要阻塞写锁:一个协程拥有读锁时,其他协程写锁定需要阻塞; -
读锁不能阻塞读锁:一个协程拥有读锁时,其他协程也可以拥有读锁。
-
-
读写锁底层实现
读写锁内部仍有一个互斥锁,用于将多个写操作隔离开来,其他几个都用于隔离读操作和写操作。
源码包
src/sync/rmmutex.go:RWMutex
中定义了读写锁的数据结构
type RWMutex struct {
w Mutex // held if there are pending writers
writerSem uint32 // semaphore for writers to wait for completing readers
readerSem uint32 // semaphore for readers to wait for completing writers
readerCount int32 // number of pending readers
readerWait int32 // number of departing readers
}
作者介绍
G
GolangRoadmap
V1