在Go语言并发程序中，当多个 goroutine 同时读写同一共享变量时，如果不加以控制，会引发数据竞争（race condition），导致程序行为不可预期。
Go 提供了多种同步原语，最基本的就是 sync.Mutex 和 sync.RWMutex。
一、什么是数据竞争？
数据竞争发生在两个或多个 goroutine 同时访问相同的内存地址，并且至少有一个是写操作，且未使用同步机制。
表现包括：
- • 输出错乱、值错误
- • 程序崩溃或逻辑失常
- • 非确定性 bug（最难排查）
二、sync.Mutex：互斥锁
sync.Mutex 是最常见的锁，用于保护临界区，使得同一时间只有一个 goroutine 可以进入。
示例：未加锁的并发写入（错误）
var counter int func increment() { for i := 0; i < 1000; i++ { counter++ } } func main() { for i := 0; i < 10; i++ { go increment() } time.Sleep(time.Second) fmt.Println("Counter:", counter) // 不确定输出 }
正确使用 Mutex 加锁
var ( counter int mutex sync.Mutex ) func increment() { for i := 0; i < 1000; i++ { mutex.Lock() counter++ mutex.Unlock() } }
三、sync.RWMutex：读写互斥锁
相比 Mutex，sync.RWMutex 提供了更细粒度的控制：
| 操作 | 行为说明 |
Lock() |
获取写锁，所有读写都被阻塞 |
RLock() |
获取读锁，允许多个同时读 |
| 写锁优先级高 | 有写者等待时，新的读锁会被阻止 |
示例：多个读协程同时访问共享资源
type SafeMap struct { data map[string]string mu sync.RWMutex } func (s *SafeMap) Get(key string) string { s.mu.RLock() defer s.mu.RUnlock() return s.data[key] } func (s *SafeMap) Set(key, val string) { s.mu.Lock() defer s.mu.Unlock() s.data[key] = val }
四、使用场景对比
| 场景 | 推荐使用 |
| 多个读协程 + 偶尔写 | RWMutex |
| 频繁读写，互斥访问临界区 | Mutex |
| 极端并发 + 只读数据 | 无需加锁（只读） |
| 精确锁粒度对性能有重要影响的系统 | RWMutex 可调优 |
五、避免死锁的建议
- • 加锁后一定记得解锁，推荐使用
defer - • 避免多个锁嵌套加锁（容易形成死锁环）
- • 尽量缩小加锁范围，不要锁整个函数
- • 避免在持锁状态下调用外部函数（可能阻塞）
六、使用 -race 检查数据竞争
Go 提供了内置的竞态检测工具：
go run -race main.go
可自动分析是否存在数据竞争，是并发调试的利器。
七、小结
- •
sync.Mutex是最基础的并发控制工具，适用于串行化访问。 - •
sync.RWMutex适用于读多写少的场景，提升并发效率。 - • 使用锁时一定要小心死锁与性能瓶颈，配合
-race工具排查隐患。
