模块包级变量是否存在竞态条件？如何通过原子操作解决？

1. 包级map变量的竞态风险 #

你定义的global_var是Go原生map，而Go的map本身不具备并发安全性。当多个goroutine同时对它进行读写操作时，必然会触发竞态条件：轻则出现数据读取不一致的情况，重则直接导致程序panic，完全无法保证多并发读写场景下的数据一致性。

2. 包级变量的跨文件同步特性 #

Go语言中，同一个包在整个程序中只会被初始化一次，所有导入该包的文件共享同一个包级变量实例。也就是说，当某个文件修改了db.global_var的值后，其他所有导入db包的文件访问该变量时，看到的都是修改后的新值——这部分不需要额外做同步，是语言本身的特性。

3. 基于原子操作的安全实现方案 #

由于map不能直接通过原子指令操作，我们可以用标准库的atomic.Value来封装map，通过原子操作保证读写的安全性。核心思路是利用atomic.Value的原子加载/存储能力，结合"复制-修改-替换"的方式更新数据，避免直接操作共享map。

示例代码（db包） #

package db

import "sync/atomic"

// 用atomic.Value封装map，替代直接暴露的包级map变量
var globalVar atomic.Value

// Init 初始化全局变量，需在程序启动时调用（如main函数开头）
func Init() {
    // 存入初始空map
    globalVar.Store(make(map[string]string))
}

// GetValue 安全读取map中的键值对
func GetValue(key string) (string, bool) {
    // 原子加载当前的map实例
    currentMap := globalVar.Load().(map[string]string)
    val, exists := currentMap[key]
    return val, exists
}

// SetValue 安全更新map中的键值对
func SetValue(key, value string) {
    for {
        // 原子加载旧的map实例
        oldMap := globalVar.Load().(map[string]string)
        // 创建新map并复制旧数据
        newMap := make(map[string]string, len(oldMap))
        for k, v := range oldMap {
            newMap[k] = v
        }
        // 修改新map的目标键值
        newMap[key] = value
        // CAS原子操作：如果当前存储的仍是oldMap，则替换为newMap
        if atomic.CompareAndSwapValue(&globalVar, oldMap, newMap) {
            break
        }
        // CAS失败说明有其他goroutine同时修改，重试直到成功
    }
}

方案说明 #

• atomic.Value提供了原子性的Load和Store操作，确保读写操作不会出现中间状态
• 更新时采用"复制旧map→修改副本→原子替换"的逻辑，保证读取操作永远访问的是完整的map实例，无需加锁
• CAS操作（CompareAndSwapValue）确保只有当没有其他并发修改时才会替换成功，失败则重试，避免数据覆盖

注意：如果你的场景中map更新非常频繁，这种复制map的方式会带来一定的内存和性能开销，此时结合互斥锁（sync.Mutex）的方案可能更高效，但上述实现严格遵循了原子操作的要求。

内容的提问来源于stack exchange，提问作者clarkk