Mutex可以看做是锁,RWMutex则是读写锁
使用锁时优先使用RWMutex
RWMutex:核心就是四个方法,RLock、RUnlock、Lock、Unlock
Mutex:Lock 和 Unlock
double-check就是加读锁先检查一遍,释放读锁,加写锁,再检查一遍
锁的实现一般是依赖于:自旋作为快路径,等待队列作为慢路径
Mutex细节
其中state,是用来控制锁状态的核心,所谓加锁和解锁就是改变state的值
sema是用来处理沉睡、唤醒的信号量,依赖于两个runtime调用
runtime_SemacquireMutex:sema加1并且挂起goroutine
runtime_Semrelease:sema减1并且唤醒seam上等待的一个goroutine
go的锁有两种模式:正常模式和饥饿模式
正常模式:队列里的goroutine与新来的goroutine竞争锁
饥饿模式:如果队列里的goroutine一直没有抢到锁,等待时间超过1ms,则开始饥饿模式,在饥饿模式下,锁会优先选择队列中的等待时间超过1ms的goroutine
两种模式的主要原因是新来的goroutine是携带P来的可以直接使用,而队列里的goroutine拿到锁之后还要去等待P,主要是为了运行效率
所以Go 的锁是不公平锁
几乎完全是写操作的选 Mutex,其它时候优先选择RWMutex。