没有互斥量的情况下同时读取或写入时会发生什么

尤文:

在Go中,一个sync.Mutexchan用来阻止并发访问共享对象。但是,在某些情况下,我只是对变量或对象字段的最新值感兴趣。或者我喜欢写一个值,不在乎另一个go例程稍后会覆盖它还是之前已经覆盖它。

更新: TLDR;只是不要这样做。这不安全。阅读答案,评论和链接的文档!

这里有两个变量goodbad一个示例程序,其中似乎都使用当前Go运行时产生的“正确”的输出:

package main

import (
    "flag"
    "fmt"
    "math/rand"
    "time"
)

var bogus = flag.Bool("bogus", false, "use bogus code")

func pause() {
    time.Sleep(time.Duration(rand.Uint32()%100) * time.Millisecond)
}

func bad() {
    stop := time.After(100 * time.Millisecond)
    var name string

    // start some producers doing concurrent writes (DANGER!)
    for i := 0; i < 10; i++ {
        go func(i int) {
            pause()
            name = fmt.Sprintf("name = %d", i)
        }(i)
    }

    // start consumer that shows the current value every 10ms
    go func() {
        tick := time.Tick(10 * time.Millisecond)
        for {
            select {
            case <-stop:
                return
            case <-tick:
                fmt.Println("read:", name)
            }
        }
    }()

    <-stop
}

func good() {
    stop := time.After(100 * time.Millisecond)
    names := make(chan string, 10)

    // start some producers concurrently writing to a channel (GOOD!)
    for i := 0; i < 10; i++ {
        go func(i int) {
            pause()
            names <- fmt.Sprintf("name = %d", i)
        }(i)
    }

    // start consumer that shows the current value every 10ms
    go func() {
        tick := time.Tick(10 * time.Millisecond)
        var name string
        for {
            select {
            case name = <-names:
            case <-stop:
                return
            case <-tick:
                fmt.Println("read:", name)
            }
        }
    }()

    <-stop
}

func main() {
    flag.Parse()
    if *bogus {
        bad()
    } else {
        good()
    }
}

预期的输出如下:

...
read: name = 3
read: name = 3
read: name = 5
read: name = 4
...

的任意组合read:read: name=[0-9]这个程序正确的输出。接收任何其他字符串作为输出将是一个错误。

与该程序一起运行go run --race bogus.go时是安全的。

但是,go run --race bogus.go -bogus警告并发读取和写入。

对于map类型以及附加到切片时,我始终需要互斥或类似的保护方法,以避免出现段错误或意外行为。但是,将文字(原子值)读写到变量或字段值似乎是安全的。

问题:我可以安全地读取和安全地并发写入哪些Go数据类型,而无需使用mutext,不产生段错误以及不从内存读取垃圾?

解释为什么有些东西是安全的或不安全的围棋在你的答案。

更新:我重写了示例以更好地反映原始代码,而我遇到了并发写入问题。重要的观点已经在评论中。我将接受一个答案,该答案以足够详细的方式总结了这些学习内容(尤其是在Go运行时中)。

星期二:

但是,在某些情况下,我只是对变量或对象字段的最新值感兴趣。

这是一个基本问题:“最新”一词是什么意思?

从数学上讲,假设我们有一个值X i的序列,其中0 <= i <N那么很明显,X Ĵ是“晚于” X ,如果J>时我这是“最新”的一个很好的简单定义,可能就是您想要的。

但是,当一台机器上的两个单独的CPU(包括Go程序中的两个goroutine)同时工作时间本身就失去了意义我们不能说i <j,i == j还是i> j。因此,没有对“ 最新 ”一词的正确定义

为了解决此类问题,现代的CPU硬件以及Go作为一种编程语言为我们提供了某些同步原语如果CPU A和CPU B执行内存隔离指令或同步指令,或使用任何其他存在的硬件规定,则CPU(和/或某些外部硬件)将插入“时间”概念所需的任何内容,以重新获得其含义。也就是说,如果CPU使用屏障指令,我们可以说在屏障之前执行的内存加载或存储是“之前”,而在屏障之后执行的内存加载或存储是“之后”。

(在某些现代硬件中,实际的实现由加载和存储缓冲区组成,它们可以重新排列加载和存储进入内存的顺序。barrier指令要么同步缓冲区,要么在缓冲区中放置实际的屏障,以便加载和存储缓冲区。商店无法跨越屏障移动这种特殊的具体实施给出了一个简单的方法来思考这个问题,但不完整:你应该考虑的时间,根本不存在硬件提供的同步之外,即所有的负荷,除了这些障碍,某些位置同时发生,而不是按顺序出现。)

无论如何,Go的sync软件包为您提供了一种针对这些障碍的简单高级访问方法。在互斥锁Lock调用之前执行的编译代码确实会锁定函数返回之前完成,并且在调用之后执行的代码实际上直到锁定函数返回之后才开始

Go的频道提供了相同的之前/之后时间保证。

Go的sync/atomic软件包提供了更低级别的保证。通常,应避免这样做,而应使用更高级别的频道或sync.Mutex样式保证。(编辑以添加注释:您可以在此处使用sync/atomicPointer操作,但不能string直接使用类型,因为Go字符串实际上是作为包含两个单独值的标头实现的:指针和长度。您可以使用另一层通过更新指向该string对象的指针进行间接调用,但在考虑这样做之前,您应该对语言首选方法的使用进行基准测试,并验证它们是否存在问题,因为在该sync/atomic级别上工作的代码很难编写,并且难以调试。)

本文收集自互联网,转载请注明来源。

如有侵权,请联系 [email protected] 删除。

编辑于
0

我来说两句

0 条评论
登录 后参与评论

相关文章

是否可以在没有同步的情况下同时从文件的非重叠区域读取/写入多个线程/进程?

在没有实现的情况下覆盖 spring 存储库方法时会发生什么

当返回对象的函数在没有返回语句的情况下结束时会发生什么

当我尝试从管道中读取而不进行写入时会发生什么?

有没有办法在没有竞争条件的情况下同时写入无人机?

为什么在Java中可以在没有竞争条件的情况下同时更新原子变量?

在有主电源的情况下卸下CMOS电池时会发生什么?

当不同的CPU内核在不同步的情况下写入同一RAM地址时会发生什么?

我想知道当递归函数能够在没有返回调用的情况下到达其主体的末尾时会发生什么?

将lstm作为多维数组输入时会发生什么情况?

在没有分配的情况下调用std :: move()会发生什么

在没有替换字符串的情况下使用#define会发生什么?

在没有目标的情况下进行rsync会发生什么?

如何在没有锁的情况下同时更新 PostgreSQL 13 表行

当pthread在等待互斥时死亡时会发生什么?

如果已知访问顺序是安全的,如何在没有互斥锁的情况下同步线程/ CPU?

如果在没有JMSPriority标头的情况下发送JMS消息会发生什么情况

在这种情况下,当我增加边界权时会发生什么?

在不使用new关键字的情况下构建结构时会发生什么?

没有保留的sharedInstance会发生什么情况?

如果在laravel5中没有DB :: commit()的情况下调用DB :: beginTransaction,会发生什么?

如果我们在没有定义的情况下合并多个数据集会发生什么

当脚本src不同时会发生异常,代码有什么问题?

当您写入具有相同配置的寄存器时会发生什么?

在没有公共 IP 的情况下同步 sqlite 文件

当两个脚本想同时使用LOCK_EX写入文件时会发生什么?

写入设备驱动程序时会发生什么?

将千兆字节的数据写入管道时会发生什么?

为什么在文件中写入csv时会发生错误?