这个单例实例实现是否有竞争条件？

Question

有人告诉我memCacheInstance 有竞争条件，但go run -race 不知道。

代码：

type MemCache struct {
    data []string
}

var memCacheInstance *MemCache
var memCacheCreateMutex sync.Mutex

func GetMemCache() *MemCache {
    if memCacheInstance == nil {
        memCacheCreateMutex.Lock()
        defer memCacheCreateMutex.Unlock()

        if memCacheInstance == nil {
            memCacheInstance = &MemCache{
                data: make([]string, 0),
            }
        }
    }
    return memCacheInstance
}

Answer 1

围棋比赛检测器不会检测到每场比赛，但当它检测到时，它总是一个肯定的案例。你必须编写代码来模拟出轨行为。

如果从多个 goroutine 调用 GetMemCache()，则您的示例存在数据竞争。这个简单的例子触发了比赛检测器：

func main() {
    go GetMemCache()
    GetMemCache()
}

用go run -race .运行它，输出是：

==================
WARNING: DATA RACE
Read at 0x000000526ac0 by goroutine 6:
  main.GetMemCache()
      /home/icza/gows/src/play/play.go:13 +0x64

Previous write at 0x000000526ac0 by main goroutine:
  main.GetMemCache()
      /home/icza/gows/src/play/play.go:18 +0x17e
  main.main()
      /home/icza/gows/src/play/play.go:28 +0x49

Goroutine 6 (running) created at:
  main.main()
      /home/icza/gows/src/play/play.go:27 +0x44
==================
Found 1 data race(s)
exit status 66

因为第一次读取memCacheInstance 变量没有锁定，没有同步，所以它有一个竞争。对变量的所有并发访问必须同步，其中至少有一个访问是写入。

一个简单的修复方法是删除不同步的读取：

func GetMemCache() *MemCache {
    memCacheCreateMutex.Lock()
    defer memCacheCreateMutex.Unlock()

    if memCacheInstance == nil {
        memCacheInstance = &MemCache{
            data: make([]string, 0),
        }
    }

    return memCacheInstance
}

另请注意，要以并发安全的方式仅执行一次代码，有sync.Once。你可以这样使用它：

var (
    memCacheInstance *MemCache
    memCacheOnce     sync.Once
)

func GetMemCache() *MemCache {
    memCacheOnce.Do(func() {
        memCacheInstance = &MemCache{
            data: make([]string, 0),
        }
    })

    return memCacheInstance
}

另请注意，如果您“立即”初始化变量（在声明或在包init() 函数中），则不需要同步（因为包初始化在单个 goroutine 中运行）：

var memCacheInstance = &MemCache{
    data: make([]string, 0),
}

func GetMemCache() *MemCache {
    return memCacheInstance
}

在这种情况下，您也可以选择导出变量，然后就不需要GetMemCache()。