在 Go 语言里，Mutex 在哪些条件下会允许自旋等待？
考察说明
考查对 Go 互斥锁实现机制中自旋条件的理解。
回答思路
- 【回答框架 1】自旋是 Mutex 在竞争激烈时的一种优化，其条件包括：当前临界区执行时间短，自旋能减少上下文切换开销；CPU 核心数大于 1；正在自旋的 goroutine 数量小于 GOMAXPROCS 的一定比例，避免浪费 CPU。
- 【回答框架 2】具体而言，Go 的 Mutex 在正常模式下，当锁被释放时，它会优先唤醒等待者，但也会允许新到的 goroutine 自旋一小段时间尝试获取锁。自旋的条件通常与 GOMAXPROCS 和活跃 goroutine 数量相关，例如当 GOMAXPROCS > 1 且等待队列不空但自旋的 goroutine 数少于某个阈值时。
- 【回答框架 3】自旋本身是一种忙等待，需要消耗 CPU 时间。因此 Go 仅会在预计临界区很短时自旋，以换取避免上下文切换的性能提升。如果自旋超过一定时间仍未获得锁，就会切换为阻塞睡眠。
- 【回答框架 4】不同版本的 Go 在实现细节上可能有所调整，但总体设计思想一致：在多核环境下，允许少量 goroutine 短暂自旋以提高获取锁的概率，减少调度开销。
- 【关键点 1】自旋条件通常涉及 GOMAXPROCS 大于 1 且自旋的 goroutine 数量有限。
- 【关键点 2】自旋适用于临界区执行时间短的场景，可减少上下文切换开销。
- 【关键点 3】超过一定自旋时间仍未获得锁时，goroutine 会转为阻塞睡眠。
- 【关键点 4】不同 Go 版本的具体实现细节可能不同。