尚不存在的对象的竞争条件

对于一个golang开发者来说，牢固扎实的基础是十分重要的，编程网就来带大家一点点的掌握基础知识点。今天本篇文章带大家了解《尚不存在的对象的竞争条件》，主要介绍了，希望对大家的知识积累有所帮助，快点收藏起来吧，否则需要时就找不到了！

我有一个奇怪的竞争状况。问题是它发生在一个尚不存在的对象内。

这是一个演示代码：

package main

import (
    //"fmt"
    "time"
)

type object1 struct {
    a int
    b string
    c []int
    d *object2
}

type object2 struct {
    a int
}

func newobject1() *object1 {
    return &object1{
        a: 1,
        b: "abc",
        c: []int{0, 1},
        d: &object2{},
    }
}

func main() {
    list := []*object1{}

    tempa := 0
    tempb := ""
    tempc := []int{}
    tempd := &object2{}

    Go func() {
        for {
            for _, object := range list {
                tempa = object.a
                tempb = object.b
                tempc = object.c
                tempd = object.d
            }
        }
    }()

    for {
        list = append(list, newobject1())

        //fmt.println("list", list)
        time.sleep(1 * time.second)
    }
}

如果我使用 -race 标志运行它 - 我会收到警告：

WARNING: DATA RACE
Read at 0x00c000094040 by goroutine 5:
  main.main.func1()
      /tmp/race.go:39 +0x84

Previous write at 0x00c000094040 by main goroutine:
  main.main()
      /tmp/race.go:21 +0x2a9

Goroutine 5 (running) created at:
  main.main()
      /tmp/race.go:36 +0x276
==================
==================
WARNING: DATA RACE
Read at 0x00c000094048 by goroutine 5:
  main.main.func1()
      /tmp/race.go:40 +0xbe

Previous write at 0x00c000094048 by main goroutine:
  main.main()
      /tmp/race.go:22 +0x2ca

Goroutine 5 (running) created at:
  main.main()
      /tmp/race.go:36 +0x276
==================
==================
WARNING: DATA RACE
Read at 0x00c000094058 by goroutine 5:
  main.main.func1()
      /tmp/race.go:41 +0x118

Previous write at 0x00c000094058 by main goroutine:
  main.main()
      /tmp/race.go:23 +0x341

Goroutine 5 (running) created at:
  main.main()
      /tmp/race.go:36 +0x276
==================
==================
WARNING: DATA RACE
Read at 0x00c000094070 by goroutine 5:
  main.main.func1()
      /tmp/race.go:42 +0x180

Previous write at 0x00c000094070 by main goroutine:
  main.main()
      /tmp/race.go:24 +0x3b8

Goroutine 5 (running) created at:
  main.main()
      /tmp/race.go:36 +0x276
==================

但这怎么可能呢？读取发生在 goroutine 内部，写入发生在 newobject1() 内部。每个 object1 字段有 4 个错误。 newobject1() 尚未创建对象，无法将其附加到 list 切片。所以list在读取过程中应该是空的或者用正常完成的对象填充。

我心中的逐步工作流程：

1. 列表为空；
2. 您开始创建新的 object1；
3. 列表仍为空；
4. 您创建了一个新对象，然后才将其添加到列表中；
5. 现在列表只有 1 个元素；
6. 阅读发生。

我在这里没有看到竞争条件。如果您有不同的想法 - 请展示您自己的工作流程，了解事情是如何发生的。

解决方案

竞争检测器检测到您同时读取和写入内存中的同一地址。

根据定义，这是一场数据竞赛。

数据何时实际放入该地址（以及是否放置在那里）并不重要。唯一重要的是，您可以在不同步的情况下在不同的 goroutine 中访问相同的内存，而这些操作之一就是“写入”。

两者都与 Go 无关，但都是非常优质的资源：

1. https://preshing.com/20120710/memory-barriers-are-like-source-control-operations/ - 这篇文章以及基本上该博客中的所有其他文章都是瑰宝。
2. Http://deadlockempire.GitHub.io/ - 一款类似益智游戏，揭示同步和并发问题的细微差别

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《尚不存在的对象的竞争条件》文章吧，也可关注编程网公众号了解相关技术文章。