Golang并发操作变量

思考源于这个问题: golang 中并发读写同一个变量会出现部分错乱吗?

要记得golang中变量的赋值不是并发安全的

什么是并发安全

我理解的并发安全就是当并发和不并发的情况下执行结果是一致的.

比如 count++ , ok = !ok , 在非并发下很好理解, 但在并发下就会发生意想不到的情况, 这种情况就是非并发安全.

todo count++ 并发

原因是 count++ 并非原子操作, 而是分成两步执行的, 当分成了两步执行, 那么其他协程就会趁着这个时间间隙作怪.

如一下 ab两个协程同时 count++

count:= 1
a > 读取count : 1
b > 读取count : 1
a > 计算count+1 : 2
b > 计算count+1 : 2
a > 赋值count : 2
b > 赋值count : 2

这就会发生明明ab协程计算了两次, 可结果还是2.

赋值一个简单的count都会出现偏差, 那么赋值一个更为复杂的结构体会不会有问题呢?

例如以下代码, 会进入x.Y != x.X判断分支(概率低 但总会发生). 如果还有其他协程再去读x变量, 则会引发逻辑错误.

func TestX(t *testing.T) {
    x := struct {
        X string
        Y string
    }{}

    for i := 0; i < 300000; i++ {
        go func() {
            y := strconv.FormatInt(int64(i), 10)
            x = struct {
                X string
                Y string
            }{
                X: y,
                Y: y,
            }
            if x.Y != x.X {
                t.Log("-----", x)
            }
        }()
    }

    time.Sleep(1 * time.Second)

    t.Log(x)
}

可以想到,

在结构体中有多个字段, a协程赋值了一些字段(x字段), b协程赋值了一些字段(y字段), 此时的整个结构体既不是a协程想要的数据, 也不是b协程想要的数据.

如何解决这个问题呢: 使用atomic.Value

func TestY(t *testing.T) {
    v := atomic.Value{}
    for i := 0; i < 300000; i++ {
        go func() {
            y := strconv.FormatInt(int64(i), 10)

            v.Store(struct {
                X string
                Y string
            }{
                X: y,
                Y: y,
            })

            x := v.Load().(struct {
                X string
                Y string
            })
            if x.Y != x.X {
                t.Log("-----", x)
            }
        }()
    }

    time.Sleep(1 * time.Second)

    t.Log(v.Load())
}

这时候就不会进入x.Y != x.X分支了.

结语

在编写并发代码的时候一定记得处理这些问题: 可以通过加锁, 或者不使用并发读写的方式(使用channel 或者 函数式编程).