图解golang里面的读写锁实现与核心原理分析

最新推荐文章于 2023-03-13 10:52:24 发布

8小时

最新推荐文章于 2023-03-13 10:52:24 发布

阅读量220

点赞数

分类专栏：算法分布式

本文链接：https://blog.csdn.net/qq_42952272/article/details/103630448

版权

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

摘要由CSDN通过智能技术生成

基础筑基

读写锁的特点

读写锁区别与互斥锁的主要区别就是读锁之间是共享的，多个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  // 等待读锁释放的数量
}