Dictionary 固定大小的Golang并发访问映射/阵列

我正在探索使用固定密钥同时访问地图而不使用锁的可能性，以提高性能。 我以前也用slice探索过类似的方法，似乎效果不错：

func TestConcurrentSlice(t *testing.T) {
    fixed := []int{1, 2, 3}
    wg := &sync.WaitGroup{}
    for i := 0; i < len(fixed); i++ {
        idx := i
        wg.Add(1)
        go func() {
            defer wg.Done()
            fixed[idx]++
        }()
    }
    wg.Wait()
    fmt.Printf("%v\n", fixed)
}

但是，测试未能通过竞赛测试，错误消息为concurrent write by runtime.mapsign_faststr（）函数

我发现的另一个有趣的地方是我注释掉的代码“fixed[kcopy].val++”实际上通过了竞争测试（我认为这是因为写入的内容位于不同的内存位置）。但我想知道，既然go例程正在访问映射的不同键，为什么它会失败竞赛测试？

在不同步多个Goroutine的情况下访问不同的切片元素是可以的，因为每个切片元素都作为一个单独的变量。有关详细信息，请参阅

然而，地图并非如此。特定键的值不作为变量，并且不可寻址（因为存储该值的实际内存空间可能会在内部更改，具体取决于实现）

因此，对于映射，一般规则适用：如果从多个goroutine访问映射，其中至少有一个goroutine是write（为键分配一个值），则需要显式同步。

在不从多个goroutine同步的情况下访问不同的slice元素是可以的，因为每个slice元素都充当一个单独的变量。有关详细信息，请参阅

然而，地图并非如此。特定键的值不作为变量，并且不可寻址（因为存储该值的实际内存空间可能会在内部更改，具体取决于实现）

---

因此，对于映射，一般规则适用：如果从多个goroutine访问映射，其中至少有一个goroutine是write（为键分配一个值），则需要显式同步。

感谢您的解释。如果fixed[kcopy]不能保证固定的内存空间，那么

fixed[kcopy].val++

在这种情况下有什么不同呢？@Yuguang

fixed[kcopy].val++

是

fixed[kcopy]=fixed[kcopy]+1

的缩写。在这个表单中，您可以看到发生了重新分配。对于这里的混淆，很抱歉，我用于测试的映射是string->*simpleStruct，因此

fixed[kcopy]。val++

是

fixed[kcopy]。val=fixed[kcopy]。val+1

的缩写。但是，如果我们将

fixed[kcopy]=&simpleStruct{}

更改为

fixed[kcopy].val++

，它实际上可以通过测试。你认为这是比赛测试的假阳性吗？@Yuguang比赛检测器不会检测所有比赛，只检测在你的应用程序运行期间发生的比赛。看不到比赛并不能保证没有比赛。谢谢你的解释。如果fixed[kcopy]不能保证固定的内存空间，那么

fixed[kcopy].val++

在这种情况下有什么不同呢？@Yuguang

fixed[kcopy].val++

是

fixed[kcopy]=fixed[kcopy]+1

的缩写。在这个表单中，您可以看到发生了重新分配。对于这里的混淆，很抱歉，我用于测试的映射是string->*simpleStruct，因此

fixed[kcopy]。val++

是

fixed[kcopy]。val=fixed[kcopy]。val+1

的缩写。但是，如果我们将

fixed[kcopy]=&simpleStruct{}

更改为

fixed[kcopy].val++

，它实际上可以通过测试。你认为这是比赛测试的假阳性吗？@Yuguang比赛检测器不会检测所有比赛，只检测在你的应用程序运行期间发生的比赛。看不到比赛并不能保证没有比赛。

type simpleStruct struct {
    val int
}

func TestConcurrentAccessMap(t *testing.T) {
    fixed := map[string]*simpleStruct{
        "a": {0},
        "b": {0},
    }
    wg := &sync.WaitGroup{}
    // here I use array instead of iterating the map to avoid read access
    keys := []string{"a", "b"}
    for _, k := range keys {
        kcopy := k
        wg.Add(1)
        go func() {
            defer wg.Done()
            // this failed the race test
            fixed[kcopy] = &simpleStruct{}

            // this actually can pass the race test!
            //fixed[kcopy].val++
        }()
    }
    wg.Wait()
}