登录
首页 >  Golang >  Go问答

一个关于Go语言并发性的疑问

来源:stackoverflow

时间:2024-02-27 14:27:24 125浏览 收藏

偷偷努力,悄无声息地变强,然后惊艳所有人!哈哈,小伙伴们又来学习啦~今天我将给大家介绍《一个关于Go语言并发性的疑问》,这篇文章主要会讲到等等知识点,不知道大家对其都有多少了解,下面我们就一起来看一吧!当然,非常希望大家能多多评论,给出合理的建议,我们一起学习,一起进步!

问题内容

我正在看官方文档,有一段代码看不懂。

var a string
var done bool

func setup() {
    a = "hello, world"
    done = true
}

func doprint() {
    if !done {
        once.Do(setup)
    }
    print(a)
}

func twoprint() {
    go doprint()
    go doprint()
}

此版本可以(错误地)打印空字符串而不是“hello, world”。

为什么此代码可能会产生错误的结果。


解决方案


因为在 doprint() 中,done 变量是在没有同步的情况下访问(读取)的。

想象一下,第一个运行 doprint() 的 goroutine 在第二个 goroutine 计划运行之前完成。第一个 goroutine 写入 done (在 setup() 中),第二个 goroutine 尝试读取 done:该读取是否应该产生第一个 goroutine 写入的结果?没有同步:未定义的行为。可能 done 将被观察为 true,因此 setup() 将不会被调用,并且可能不会观察到对 a 的写入,从而打印初始零值(空字符串)。

变量的读取总是观察单个 goroutine 中先前的写入(时间上的先前)。除非它们之间存在同步,否则不能保证在另一个 goroutine 中观察到由一个 goroutine 进行的写入。

为了进一步解释已接受的答案,在 Go 中,编译器和处理器可能会重新排序读/写。在单个 go 例程中,这样的重新排序保证不会影响行为。

但是,在您的示例中,有多个没有同步的 go 例程,并且重新排序确实会产生影响。想象一下,第一个 go 例程执行 done=true 然后 a=xxxx,如果第二个 go 例程在第一个 done=true 之后和 a=xxxx 之前执行,它将产生一个空字符串。

文中关于的知识介绍,希望对你的学习有所帮助!若是受益匪浅,那就动动鼠标收藏这篇《一个关于Go语言并发性的疑问》文章吧,也可关注golang学习网公众号了解相关技术文章。

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