基础筑基
读写锁的特点
读写锁区别与互斥锁的主要区别就是读锁之间是共享的,多个goroutine可以同时加读锁,但是写锁与写锁、写锁与读锁之间则是互斥的
写锁饥饿问题
因为读锁是共享的,所以如果当前已经有读锁,那后续goroutine继续加读锁正常情况下是可以加锁成功,但是如果一直有读锁进行加锁,那尝试加写锁的goroutine则可能会长期获取不到锁,这就是因为读锁而导致的写锁饥饿问题
基于高低位与等待队列的实现
在说golang之前介绍一种JAVA里面的实现,在JAVA中ReentrantReadWriteLock实现采用一个state的高低位来进行读写锁的计数,其中高16位存储读的计数,低16位存储写的计数,并配合一个AQS来实现排队等待机制,同时AQS中的每个waiter都会有一个status,用来标识自己的状态
golang的读写锁的实现
成员变量

结构体
type RWMutex struct {
w Mutex // held if there are pending writers
writerSem uint32 // 用于writer等待读完成排队的信号量
readerSem uint32 // 用于reader等待写完成排队的信号量
readerCount int32 // 读锁的计数器
readerWait int32 // 等待读锁释放的数量
}

本文深入探讨了Golang中的读写锁特点,包括读锁的共享性导致的写锁饥饿问题,以及如何通过高低位与等待队列解决。详细解析了Golang读写锁的成员变量、读写锁的实现逻辑,特别是写锁对读锁的抢占机制,保证了写锁的公平性。此外,还讨论了可见性、原子性问题及其底层CPU指令的实现。
最低0.47元/天 解锁文章
1282

被折叠的 条评论
为什么被折叠?



