Mutex 正常模式和饥饿模式

正常模式(非公平锁)

正常模式下,所有等待锁的 goroutine 按照 FIFO(先进先出)顺序等待。唤醒的goroutine 不会直接拥有锁,而是会和新请求锁的 goroutine 竞争锁的拥有。新请求锁的 goroutine 具有优势:它正在 CPU 上执行,而且可能有好几个,所以刚刚唤醒的 goroutine 有很大可能在锁竞争中失败。在这种情况下,这个被 唤醒的 goroutine 会加入到等待队列的前面。 如果一个等待的 goroutine 超过1ms 没有获取锁,那么它将会把锁转变为饥饿模式。

饥饿模式(公平锁)

为了解决了等待 G 队列的长尾问题

饥饿模式下,直接由 unlock 把锁交给等待队列中排在第一位的 G(队头),同时,饥饿模式下,新进来的 G 不会参与抢锁也不会进入自旋状态,会直接进入等待队列的尾部,这样很好的解决了老的 g 一直抢不到锁的场景。

饥饿模式的触发条件,当一个 G 等待锁时间超过 1 毫秒时,或者当前队列只剩下一个 g 的时候,Mutex 切换到饥饿模式。

总结

对于两种模式,正常模式下的性能是最好的,goroutine 可以连续多次获取 锁,饥饿模式解决了取锁公平的问题,但是性能会下降,其实是性能和公平的 一个平衡模式。

发表评论

后才能评论