竞争条件为何未被竞争检测器发现？

编程并不是一个机械性的工作，而是需要有思考，有创新的工作，语法是固定的，但解决问题的思路则是依靠人的思维，这就需要我们坚持学习和更新自己的知识。今天golang学习网就整理分享《竞争条件为何未被竞争检测器发现？》，文章讲解的知识点主要包括，如果你对Golang方面的知识点感兴趣，就不要错过golang学习网，在这可以对大家的知识积累有所帮助，助力开发能力的提升。

我目前正在学习 go 编程语言，并且正在尝试原子包。

在这个例子中，我生成了许多 goroutine，它们都需要增加包级别变量。有多种方法可以避免竞争条件，但现在我想使用 atomic 包来解决这个问题。

在我的 windows pc 上运行以下代码时（go run main.go），结果不是我期望的结果（我期望最终结果为 1000）。最终数字介于 900 到 1000 之间。在 go 演示中运行代码时，值为 1000。

这是我正在使用的代码：https://play.golang.org/p/8gw-askgzwq

var counter int64
var wg sync.waitgroup

func main() {
    num := 1000
    wg.add(num )
    for i := 0; i < num ; i++ {
        go func() {
            v := atomic.loadint64(&counter)
            v++
            atomic.storeint64(&counter, v)

            // atomic.addint64(&counter, 1)

            // fmt.println(v)
            wg.done()
        }()
    }
    wg.wait()
    fmt.println("final", counter)
}

go run main.go
final 931

go run main.go
final 960

go run main.go
final 918

我本以为竞争检测器会给出错误，但它没有：

go run -race main.go
final 1000

它输出正确的值（1000）。

我使用的是go版本go1.12.7 windows/amd64（目前最新版本）

我的问题：

• 为什么竞争检测器没有给出错误，但在没有竞争检测器的情况下运行代码时我看到的值是否不同？
• 我的理论是，加载/存储组合不起作用的原因是，这两个原子调用作为一个整体并不是原子的。在这种情况下，我应该使用 atomic.addint64 方法，对吗？

任何帮助将不胜感激:)

解决方案

您的代码中没有任何恶意内容，因此这就是竞争检测器未检测到任何内容的原因。您的 counter 变量始终通过启动的 goroutine 中的 atomic 包进行访问，而不是直接访问。

有时你得到 1000 个，有时更少的原因是由于运行 goroutine 的活动线程的数量：GOMAXPROCS。在 go 演示中它是 1，所以任何时候你都有一个活动的 goroutine （所以基本上你的应用程序被执行按顺序进行，没有任何并行性）。并且当前的 goroutine 调度器不会任意将 goroutine 停放。

在你的本地机器上，你可能有一个多核 cpu，并且 gomaxprocs 默认为可用逻辑 cpu 的数量，因此 gomaxprocs 大于 1，因此你有多个并行运行的 goroutine（真正的并行，不仅仅是并发）。

查看此片段：

v := atomic.loadint64(&counter)
v++
atomic.storeint64(&counter, v)

加载 counter 的值并将其分配给 v，递增 v，然后存储回递增的 v 的值。如果 2 个并行 goroutine 同时执行此操作会发生什么？假设两者都加载值 100。两者都增加其本地副本：101。两者都写回 101，即使它应该位于 102。

是的，自动递增计数器的正确方法是使用 atomic.AddInt64()，如下所示：

for i := 0; i < num; i++ {
    go func() {
        atomic.AddInt64(&counter, 1)
        wg.Done()
    }()
}

这样，无论 gomaxprocs 是什么，您都将始终获得 1000。

本篇关于《竞争条件为何未被竞争检测器发现？》的介绍就到此结束啦，但是学无止境，想要了解学习更多关于Golang的相关知识，请关注golang学习网公众号！