登录
首页 >  Golang >  Go问答

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

来源:stackoverflow

时间:2024-04-04 11:42:36 234浏览 收藏

对于一个Golang开发者来说,牢固扎实的基础是十分重要的,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/ - 一款类似益智游戏,揭示同步和并发问题的细微差别

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

声明:本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>