为什么出现竞争条件？

Golang不知道大家是否熟悉？今天我将给大家介绍《为什么出现竞争条件？》，这篇文章主要会讲到等等知识点，如果你在看完本篇文章后，有更好的建议或者发现哪里有问题，希望大家都能积极评论指出，谢谢！希望我们能一起加油进步！

问题涉及以下代码：

package main

import "fmt"

func main() {
    var counters = map[int]int{}
    for i := 0; i < 5; i++ {
        go func(counters map[int]int, th int) {
            for j := 0; j < 5; j++ {
                counters[th*10+j]++
            }
        }(counters, i)
    }
    fmt.scanln()
    fmt.println("counters result", counters)
}

这是当我使用 go run -race race.go 运行此代码时得到的输出

$ go run -race race.go
==================
WARNING: DATA RACE
Read at 0x00c000092150 by goroutine 8:
  runtime.mapaccess1_fast64()
      /usr/lib/go-1.13/src/runtime/map_fast64.go:12 +0x0
  main.main.func1()
      /tmp/race.go:10 +0x6b

Previous write at 0x00c000092150 by goroutine 7:
  runtime.mapassign_fast64()
      /usr/lib/go-1.13/src/runtime/map_fast64.go:92 +0x0
  main.main.func1()
      /tmp/race.go:10 +0xaf

Goroutine 8 (running) created at:
  main.main()
      /tmp/race.go:8 +0x67

Goroutine 7 (finished) created at:
  main.main()
      /tmp/race.go:8 +0x67
==================

==================
WARNING: DATA RACE
Read at 0x00c0000aa188 by main goroutine:
  reflect.typedmemmove()
      /usr/lib/go-1.13/src/runtime/mbarrier.go:177 +0x0
  reflect.copyVal()
      /usr/lib/go-1.13/src/reflect/value.go:1297 +0x7b
  reflect.(*MapIter).Value()
      /usr/lib/go-1.13/src/reflect/value.go:1251 +0x15e
  internal/fmtsort.Sort()
      /usr/lib/go-1.13/src/internal/fmtsort/sort.go:61 +0x259
  fmt.(*pp).printValue()
      /usr/lib/go-1.13/src/fmt/print.go:773 +0x146f
  fmt.(*pp).printArg()
      /usr/lib/go-1.13/src/fmt/print.go:716 +0x2ee
  fmt.(*pp).doPrintln()
      /usr/lib/go-1.13/src/fmt/print.go:1173 +0xad
  fmt.Fprintln()
      /usr/lib/go-1.13/src/fmt/print.go:264 +0x65
  main.main()
      /usr/lib/go-1.13/src/fmt/print.go:274 +0x13c

Previous write at 0x00c0000aa188 by goroutine 10:
  main.main.func1()
      /tmp/race.go:10 +0xc4

Goroutine 10 (finished) created at:
  main.main()
      /tmp/race.go:8 +0x67
==================
counters result map[0:1 1:1 2:1 3:1 4:1 10:1 11:1 12:1 13:1 14:1 20:1 21:1 22:1 23:1 24:1 30:1 31:1 32:1 33:1 34:1 40:1 41:1 42:1 43:1 44:1]
Found 2 data race(s)
exit status 66

这是我无法理解的。为什么会有竞争条件呢？我们读/写值不是只有一个 go 例程可以访问吗？例如，例程 0 将仅修改 counter[0] 至 counters[4] 中的值，例程 1 将仅修改 counters[10] 至 counters[14] 中的值，例程 2 将仅修改 counters[20] 中的值] 通过 counters[24] 等等。我在这里没有看到竞争条件。感觉好像我错过了一些东西。有人能够阐明这一点吗？

仅供参考，我是新来的。如果您能简化解释（如果可能的话），我将不胜感激。

解决方案

对于数组（或切片）来说确实如此，但映射是一种复杂的数据结构，除其他外，还具有以下属性：

• 可以随时在内存中重新定位存储在内存中的元素。
• 地图最初是空的，在其中放置一个元素（在您的情况下显示为赋值）需要对地图内部进行大量操作。

此外，在像您这样的情况下 - 递增存储在映射中的整数 - 实际上是映射查找、增量和映射存储。 第一个和最后一个操作涉及按键查找。
现在考虑一下，如果一个 Goroutine 执行查找，同时另一个 Goroutine 在执行映射存储时修改映射的内部状态，会发生什么情况。

您可能想了解一下什么是关联数组及其通常如何实现。

今天关于《为什么出现竞争条件？》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！