二郎腿的个人博客
erlangtui
2023-10-29
0
目录

go sync.Mutex

提示

本文代码基于 go1.17.13，src/sync/mutex.go

# 一、简述

  • Mutex 互斥锁，同一时刻只能被一个 goroutine 拥有；
  • 是一种相对原始的同步机制，只有基础的同步功能，更高级别的同步最好通过 Channel 来实现；
  • 锁的对象被创建后，不允许复制；
  • 解锁一个未加锁的对象，会出现错误；

# 二、基本原理

  • Mutex 可以处于 2 种操作模式：正常和饥饿。
  • 在正常模式下：
    • 等待的 goroutine 按照先进先出的顺序排队，但是被唤醒的 goroutine 不会立即拥有互斥锁，而是与新到来的 goroutine 竞争锁的所有权；
    • 因为新到来的 goroutine 有一个优势，它们已经在CPU上运行，并且可能有很多个，所以被唤醒的 goroutine 有可能失败，新到来的 goroutine 拿到锁后继续运行，能够避免上下文的切换；
    • 在这种情况下，被唤醒的 goroutine 会在等待队列的前面排队，如果等的 goroutine 超过 1 毫秒未能获取互斥锁，则会将互斥锁切换到饥饿模式；
  • 在饥饿模式下：
    • 互斥锁的所有权直接从解锁的 goroutine 移交给队列前面等待的 goroutine；
    • 新到来的 goroutine 不会尝试获取互斥锁，也不会自旋，它们将自己排在等待队列的尾部；
    • 如果获得锁的 goroutine 是等待队列中的最后一个，或是等待时间少于 1 ms，则会将互斥锁切换回正常模式；
  • 正常模式具有更好的性能，因为即使有其他阻塞的 goroutine 等待，当前 goroutine 也可以连续多次获取互斥锁；
  • 饥饿模式对于预防尾部延迟具有很好的作用，能够避免等待的 goroutine 饿死；

# 三、基本用法

var m sync.Mutex
m.Lock()
// ... do something
m.UnLock()
1
2
3
4

# 四、源码解读

# 1，Mutex

type Mutex struct {
	state int32  // 锁的状态，32 位，二进制位： WaiterShift(29位)|Starving|Woken|Locked
	sema  uint32 // 控制锁状态的信号量
}
const (
	mutexLocked           = 1 << iota // 1，互斥锁被锁定状态，位于 state 二进制位最右侧
	mutexWoken                        // 2，互斥锁被唤醒状态
	mutexStarving                     // 4，互斥锁处于饥饿模式
	mutexWaiterShift      = iota      // 3，互斥锁上等待的 goroutine 数量
	starvationThresholdNs = 1e6       // 进入饥饿模式等待的阈值，1e6纳秒，即1ms
)
1
2
3
4
5
6
7
8
9
10
11
  • Mutex 是互斥锁，其零值是未锁的状态，首次使用后不能被复制；
  • mutexLocked, mutexWoken, mutexStarving 分别是用于 stat 二进制位中低位 1、2、3 标志位；
  • mutexWaiterShift 用于记录等待的 goroutine 数量，程序中先右位运算后加到 stat，即 stat 二进制位中低位第四位开始，有多少个 1 则有多少等待的 goroutine；

# 2，Lock()

点击查看 
// Lock 如果锁已经被使用了，则调用程序一直阻塞直到锁可用
func (m *Mutex) Lock() {
	// 锁当前状态是未锁定的（值为 0 ），并且正好能够将 mutexLocked 位置为1，加锁成功，直接返回
	if atomic.CompareAndSwapInt32(&m.state, 0, mutexLocked) {
		if race.Enabled {
			race.Acquire(unsafe.Pointer(m))
		}
		return
	}
	// 当锁不是未锁定的状态时，慢速路径（概述以便可以内联快速路径）
	m.lockSlow()
}

func (m *Mutex) lockSlow() {
	var waitStartTime int64 // 等待时间
	starving := false       // 是否饥饿，即等待时间是否超过 1 ms
	awoke := false          // 是否有协程处于唤醒状态
	iter := 0               // 自旋次数，不能超过四次
	old := m.state          // 锁的当前状态
	for {                   // 开始进行阻塞调用
		// 不要在饥饿模式下自旋，所有权会交给队列前面的等待者协程，所以无论如何都无法获得互斥锁
		// 如果是 mutexLocked 位为 1 且 mutexStarving 位为 0，锁定状态且不是处于饥饿模式，并且符合自旋条件，则开始自旋
		if old&(mutexLocked|mutexStarving) == mutexLocked && runtime_canSpin(iter) {
			// 在自旋等待期间，当前 goroutine 会不断判断是否可以设置 mutexWoken 标志位来通知 Unlock() 方法不必唤醒其他阻塞的 goroutine，避免不必要的唤醒和上下文切换。
			// 如果可以设置，就将 awoke 标识为 true，然后调用 runtime_doSpin() 进行自旋，逐渐增加 iter 计数器，更新 old Mutex 的状态。
			if !awoke && old&mutexWoken == 0 && old>>mutexWaiterShift != 0 &&
				atomic.CompareAndSwapInt32(&m.state, old, old|mutexWoken) {
				// 没有协程被唤醒、锁也不是唤醒状态、还有协程等待的协程，且当前协程能够将锁的状态更新为 mutexWoken
				awoke = true
			}
			runtime_doSpin() // 开始自旋，每次自旋执行 30 次 pause 指令
			iter++           // 自旋计数，次数达到 4 次时，不会再自旋
			old = m.state    // 重新读取互斥锁的状态 m.state，为了在下一次循环中重新检查互斥锁的状态，并决定是否继续自旋
			continue
		}
		// 以下非自旋状态，新到的 goroutine 不要试图获取饥饿模式下的互斥锁，必须排队
		new := old // 创建变量 new，用于存储新的Mutex状态
		if old&mutexStarving == 0 {
			// 互斥锁非饥饿模式，则将 new mutexLocked 置为 1，否则不做处理，等待其他等待者获取 Mutex
			new |= mutexLocked
		}
		if old&(mutexLocked|mutexStarving) != 0 {
			// 互斥锁饥饿模式或已经是加锁状态，则将 new 的 mutexWaiterShift 开始的位置为 1（表示当前goroutine也成为Mutex的等待者）
			new += 1 << mutexWaiterShift
		}

		// 如果当前 Mutex 处于饥饿模式，并且已经有其他 goroutine 持有该 Mutex，则切换到饥饿模式。
		// 如果Mutex未被持有，则不切换到饥饿模式，因为Unlock期望饥饿模式下有等待者，但实际情况不一定有。
		if starving && old&mutexLocked != 0 {
			new |= mutexStarving
		}
		if awoke {
			// goroutine 已从睡眠状态唤醒，因此无论哪种情况，都需要重置标志。
			if new&mutexWoken == 0 {
				// 互斥锁状态不一致，抛出一个错误
				throw("sync: inconsistent mutex state")
			}
			new &^= mutexWoken // 位清除操作，取反后逻辑与
		}
		if atomic.CompareAndSwapInt32(&m.state, old, new) {
			if old&(mutexLocked|mutexStarving) == 0 {
				break // 通过 CAS 方式已经加锁成功
			}
			// 如果已经处于等待的过程中，直接排在队列最前面
			queueLifo := waitStartTime != 0
			if waitStartTime == 0 {
				// 如果没有等待则记录开始等待时刻
				waitStartTime = runtime_nanotime()
			}
			// 通过信号量保证锁只能被 1 个 goroutine 获取到
			runtime_SemacquireMutex(&m.sema, queueLifo, 1)
			// 如果等待时间超过了阈值，那么就进入饥饿模式
			starving = starving || runtime_nanotime()-waitStartTime > starvationThresholdNs
			old = m.state
			if old&mutexStarving != 0 {
				// 如果当前 goroutine 被唤醒并且锁处于饥饿模式
				// 控制权转交给了当前 goroutine，但是互斥锁处于某种不一致的状态：mutexLocked 标识未设置，仍然认为当前 goroutine 正在等待锁
				// 抛出一个错误: mutex 状态不一致
				if old&(mutexLocked|mutexWoken) != 0 || old>>mutexWaiterShift == 0 {
					throw("sync: inconsistent mutex state")
				}
				// 减少等待的 goroutine 数量 (注意偏移量使用方法)
				delta := int32(mutexLocked - 1<<mutexWaiterShift)
				if !starving || old>>mutexWaiterShift == 1 {
					// 等待时间不大于 1 ms，或是最后一个等待者，则退出饥饿模式
					// 必须要在这里退出并且考虑等待时间
					// 饥饿模式效率很低，一旦 2 个 goroutine 同时将互斥锁切换到饥饿模式，可能会陷入无限循环
					delta -= mutexStarving
				}
				atomic.AddInt32(&m.state, delta)
				break
			}
			awoke = true
			iter = 0
		} else {
			old = m.state // 获取锁失败，更新 old 的值，继续进行循环等待
		}
	}

	if race.Enabled {
		race.Acquire(unsafe.Pointer(m))
	}
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
  • 如果锁未锁定，且能直接加锁成功，则直接加锁并返回；
  • 否则进行慢路径加锁，此过程 goroutine 是被阻塞的；
  • 在慢路径加锁过程中，主要进行以下几步：
  • 自旋：
    • 在正常模式下，且锁是 muteLocked 状态，且符合自旋条件才会自旋；
    • runtime_canSpin 链接到 sync_runtime_canSpin 运行时函数，判断自旋条件：
      • 1)，自旋次数要不大于 4 次，防止某个 goroutine 长时间占用 CPU 资源导致其他 goroutine 长时间被阻塞；
      • 2)，CPU 核数要大于 1，单核没法多线程运行，更没法自旋；
      • 3)，设置的 P 的最大数要大于空闲 P 的数量+自旋 P 的数量+1，表示当前 goroutine 可以自旋等待一个新的 P ；
      • 4)，当前 goroutine 所在的 P 的本地队列（run queue）要为空，防止当前 goroutine 可以从自己所在的 P 的本地队列中获取任务而不必自旋等待；
    • 自旋过程中不断的尝试将锁的状态更新完为 mutexWoken，并重新获取锁状态以及记录自旋次数，最多自旋四次；
  • 计算锁状态：
    • 根据当前锁的状态分别计算上述三个标志位的状态值；
    • 以及增加等待者数量；
  • 更新锁并获取锁：
    • 尝试更新锁的状态，如果是在唤醒状态更新成功的话直接退出；
    • 否则需要计算等待时间，判断是否需要将饥饿模式切换为正常模式；

# 3, UnLock()

点击查看 
// Unlock 解锁 m。如果 m 在进入 Unlock 时未锁定，则为运行时错误。
// 锁定的 Mutex 不与特定的 goroutine 相关联。允许一个 goroutine 锁定一个互斥锁，然后安排另一个 goroutine 来解锁它。
func (m *Mutex) Unlock() {
	if race.Enabled {
		_ = m.state
		race.Release(unsafe.Pointer(m))
	}

	// 如果减去 mutexLocked 标识之后正好是 0, 说明当前 goroutine 成功解锁，直接返回即可
	// 否则，解锁失败，进入慢解锁路径
	new := atomic.AddInt32(&m.state, -mutexLocked)
	if new != 0 {
		// 勾勒出慢速路径，以允许内联快速路径。为了在跟踪过程中隐藏 unlockSlow，我们在跟踪 GoUnblock 时会额外跳过一帧？
		m.unlockSlow(new)
	}
}

func (m *Mutex) unlockSlow(new int32) {
	if (new+mutexLocked)&mutexLocked == 0 {
		// 如果锁本来就没有锁定，则 m.state 为 0，new 为 -mutexLocked，此处抛出异常
		throw("sync: unlock of unlocked mutex")
	}
	if new&mutexStarving == 0 {
		// 正常模式
		old := new
		for {
			// 如果没有 goroutine 等待，或者已经唤醒了 goroutine，或者已经有 goroutine 获得了锁，或者处于饥饿模式、则无需唤醒其他等待者，直接返回。
			// 在饥饿模式中，所有权从解锁 goroutine 直接移交给下一个等待的 goroutine。
			if old>>mutexWaiterShift == 0 || old&(mutexLocked|mutexWoken|mutexStarving) != 0 {
				return
			}
			// 如果互斥锁存在等待者，会通过 sync.runtime_Semrelease 唤醒等待者并移交锁的所有权；
			new = (old - 1<<mutexWaiterShift) | mutexWoken
			if atomic.CompareAndSwapInt32(&m.state, old, new) {
				runtime_Semrelease(&m.sema, false, 1)
				return
			}
			old = m.state
		}
	} else {
		// 饥饿模式：
		// 将互斥锁所有权移交给下一个等待者，并给出我们的时间片，以便下一个等待者可以立即开始运行。
		// 等待者被唤醒后会得到锁，在这时互斥锁还不会退出饥饿状态，mutexLocked 未设置，等待者会在唤醒后设置。
		// 如果设置了 mutexStarving，则 mutex 仍然被视为锁定，因此新的 goroutine 不会获取它。
		runtime_Semrelease(&m.sema, true, 1)
	}
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
  • 如果 Mutex 仅仅是锁定状态，其他状态位是 0 且没有等待的 goroutine，即：将mutexLocked对应的位置 0 后，整个状态值为0，则直接解锁成功，否则进入慢解锁路径；
  • 解锁一个未加锁的 Mutex 会抛出一个错误；
  • 慢解锁路径分为正常和饥饿两种模式的情况：
    • 正常模式：
      • 如果没有 goroutine 等待，或者有等待的 goroutine 但 mutexLocked mutexWoken mutexStarving 标志位不全为 0，则无需唤醒其他等待的 goroutine 直接返回，此时有肯定有 goroutine 在慢加锁路径中尝试加锁；
      • 否则，将等待的 goroutine 数量减一，并尝试设置锁为 mutexWoken以及唤醒等待的 goroutine，并移交锁的所有权；
    • 饥饿模式：
      • 直接将锁的所有权交给等待队列中的第一个 goroutine；

# 4, Locker

type Locker interface {
	Lock()
	Unlock()
}
1
2
3
4
  • Locker 表示一个可以加锁解锁的对象，提供了一个接口；
编辑 (opens new window)
#Go#sync
上次更新: 2024/08/12, 19:17:34
go sync.Map
go sync.RWMutex

← go sync.RWMutex→

最近更新
01
go 语言的继承与多态
11-25
02
jq命令的基本介绍
10-22
03
http 链接带有中文的编码问题
09-23
更多文章>
Theme by Vdoing | Copyright © 2023-2025 | 版权归 erlangtui 所有 | 京ICP备2023035240