答案是使用 sync/atomic 包可高效解决 Go 中的并发数据竞争问题。通过 Load、Store、Add 和 CompareAndSwap（CAS）等原子操作，能保证对基础类型的操作不可分割，避免锁开销。Load 原子读取值，Store 原子写入值，Add 实现增减，CAS 用于无锁状态控制，如线程安全计数器和一次性初始化。实战中用 atomic.AddInt64 配合 WaitGroup 实现并发计数，用 CAS 管理状态标志可避免重复执行。但原子操作仅适用于基本类型，所有访问必须统一用 atomic 函数，复杂逻辑仍需互斥锁。高并发下频繁 CAS 重试可能导致 CPU 升高，需结合分片等优化。掌握这四大操作即可应对多数轻量同步场景。
在 Go 语言的并发编程中，多个 goroutine 同时访问共享变量会导致数据竞争。使用 sync/atomic 包提供的原子操作是解决这类问题的高效方法之一，它能保证对变量的操作不可分割，避免了锁带来的开销。
理解 atomic 的核心操作
atomic 包提供了一系列针对基础类型的函数，它们是实现线程安全的基础。
- Load (加载): 原子性地读取一个变量的值。例如，atomic.LoadInt64(&counter) 能确保读到的是其他 goroutine 写入的完整值，不会读到“一半”的数据。- Store (存储): 原子性地写入一个变量的值。例如，atomic.StoreInt32(&flag, 1) 能确保写入操作不会被中断，其他 goroutine 看到的要么是旧值，要么是新值，绝不会是中间状态。- Add (增减): 对整数类型进行原子性的加法或减法。例如，atomic.AddInt64(&counter, 1) 可以安全地递增计数器。对于无符号整数的减法，需要使用补码技巧，如 atomic.AddUint32(&value, ^uint32(0)) 来减一。- CompareAndSwap (CAS, 比较并交换): 这是最强大的操作，用于实现无锁算法。它会先比较变量的当前值与预期值，如果相等，则将变量更新为新值，并返回 true；否则不做任何操作，返回 false。这常用于实现状态切换和重试逻辑。实战：构建一个线程安全的计数器
这是原子操作最常见的应用场景。相比于使用互斥锁（mutex），原子操作性能更高。
定义一个 int64 类型的变量，所有对其的读写都通过 atomic 函数进行。启动多个 goroutine 并发地调用atomic.AddInt64 来增加计数器。使用 sync.WaitGroup 等待所有 goroutine 完成。最后通过 atomic.LoadInt64 安全地读取最终结果，这个值一定是准确的。这样做避免了直接使用 counter++ 导致的数据竞争，因为 counter++ 在底层包含“读-改-写”三个步骤，不是原子的。
立即学习“go语言免费学习笔记（深入）”；
何时使用 CAS 实现状态控制
CAS 操作非常适合管理程序的状态标志，比如初始化、开关等。
定义一个int32 类型的变量来表示状态，例如 0 表示未就绪，1 表示已就绪。当某个 goroutine 需要将状态从未就绪改为就绪时，调用 atomic.CompareAndSwapInt32(&status, 0, 1)。如果返回 true，说明状态成功改变，该 goroutine 获得了“所有权”。如果返回 false，说明另一个 goroutine 已经抢先改变了状态，当前 goroutine 就知道无需再执行相关操作了。这种方法不需要加锁，效率很高，是实现单例模式或一次性初始化的常用手段。
关键注意事项
虽然 atomic 很强大，但也有其局限性。
原子操作只适用于int32, int64, uint32, uint64, uintptr, unsafe.Pointer 和 bool 等基础类型，不能直接用于结构体、切片或 map。所有的读写操作都必须使用 atomic 函数。如果一部分用 atomic，另一部分用普通操作，依然会产生数据竞争。对于涉及多个变量或者复杂的业务逻辑（比如“检查余额是否足够，然后扣款”），原子操作无法保证整体的原子性，这时还是需要使用 sync.Mutex 互斥锁。在极高并发且竞争激烈的场景下，频繁的 CAS 失败重试可能会导致 CPU 占用过高，此时可能需要考虑分片技术或其他同步机制。基本上就这些。掌握 Load、Store、Add 和 CAS 这几个核心操作，就能在大多数轻量级同步场景中游刃有余。
