Golang映射用于并发读/写操作的安全性如何？

Question

根据Go博客，

地图对于并发使用是不安全的：它没有定义当您同时读写地图时会发生什么。如果需要从并发执行的goroutines读取映射和向映射写入映射，则访问必须通过某种同步机制进行调解。（来源：https://blog.golang.org/go-maps-in-action)

有人能详细说明一下吗？跨例程的并发读取操作似乎是允许的，但是如果尝试读取和写入同一个键，并发读取/写入操作可能会生成竞争条件。

在某些情况下，这最后一个风险是否可以降低？例如：

• 函数A生成k并将m[k]=0。这是唯一一次A写入映射m。已知k不在m中。

这不是代码（很明显），但我认为它显示了一种情况的概要，即即使a和B都尝试访问m，也不会有竞争条件，或者如果有竞争条件，也不会因为附加的约束而有什么关系。

Answer 1

Go 1.6发行说明

运行时增加了对并发滥用地图的轻量级、尽力而为的检测。与往常一样，如果一个goroutine正在写入映射，那么其他goroutine不应该同时读取或写入映射。如果运行时检测到这种情况，它将打印诊断并使程序崩溃。了解更多问题的最佳方法是在种族检测器下运行程序，这将更可靠地识别种族并提供更多细节。

地图是复杂的、自组织的数据结构。未定义并发读写访问。

没有代码，就没有什么好说的了。

Answer 2

并发读取（只读）正常。并发写入和/或读取不正常。

如果访问是同步的，多个Goroutine只能写入和/或读取同一映射，例如通过同步包、通道或其他方式。

您的示例：

1. 函数A生成k并将m[k]=0。这是唯一一次A写入映射m。已知k不在m中。

您的示例有两个goroutine：A和B，A尝试同时读取m（在步骤3中），B尝试同时写入m（在步骤4中）。没有同步（您没有提到任何同步），因此这是不允许/不确定的。

这是什么意思？未确定意味着即使B写入m，A也可能无法观察到变化。或者A可能观察到一个甚至没有发生的变化。否则可能会出现恐慌。或者，由于这种非同步并发访问，地球可能会爆炸（尽管后一种情况发生的可能性非常小，甚至可能小于1e-40）。

相关问题：

具有并发访问的映射

Go中的地图没有线程安全意味着什么？

在Go中使用地图时，忽略goroutine/线程安全有什么危险？

Answer 3

在Golang 1.6之前，并发读取正常，并发写入不正常，但写入和并发读取正常。自Golang 1.6以来，地图在书写时无法读取。因此，在Golang 1.6之后，并发访问映射应该如下所示：

package main

import (
    "sync"
    "time"
)

var m = map[string]int{"a": 1}
var lock = sync.RWMutex{}

func main() {
    go Read()
    time.Sleep(1 * time.Second)
    go Write()
    time.Sleep(1 * time.Minute)
}

func Read() {
    for {
        read()
    }
}

func Write() {
    for {
        write()
    }
}

func read() {
    lock.RLock()
    defer lock.RUnlock()
    _ = m["a"]
}

func write() {
    lock.Lock()
    defer lock.Unlock()
    m["b"] = 2
}

添加：

您可以使用go run-race race检测比赛。转到

更改读取功能：

func read() {
    // lock.RLock()
    // defer lock.RUnlock()
    _ = m["a"]
}

另一种选择：

正如我们所知，map是由bucket和sync实现的。RWMutex将锁定所有存储桶。并发映射使用fnv32共享密钥，每个bucket使用一个同步。RWMutex。