Go 语言中 sync.Mutex 锁无效：为什么使用 sync.Mutex 和 sync.WaitGroup 无法保证变量正确更新？

go 语言中 sync.mutex 锁无效的疑难解答

在学习 go 时，你编写了一个使用 sync.mutex 和 sync.waitgroup 的示例来演示并发锁的使用。然而，该示例无法按预期工作，产生了随机的结果。以下分析将帮助你理解问题所在并提供解决方案。

问题描述：

你使用 sync.mutex 和 sync.waitgroup 保证对变量 a 的并发操作。然而，最终的值不是预期的 1000，而是随机的。

代码分析：

在你的代码中，你创建了一个 sync.mutex 并将其锁定在每个协程中。但是，该锁在你对变量 a 递增之前被释放，导致多个协程可以同时修改 a。这会产生并发写入冲突并导致不可预测的结果。

解决方案：

要解决这个问题，你需要确保在修改变量 a 之前保持对 sync.mutex 的锁定。有两种方法可以做到这一点：

• 方法 1：将 var locker sync.mutex 移动到 for 循环外。
  这将创建全局的 sync.mutex，可在所有协程中使用。
• 方法 2：使用 atomic.addint64() 原子变量。
  它提供了线程安全的递增或递减操作，无需使用显式锁。

修复后的代码：

方法 1：

var locker sync.mutex

func haslockandwait() {
    var a = 0
    var wg sync.waitgroup

    for i := 0; i < 1000; i++ {
        wg.add(1)

        go func() {
            defer wg.done()
            locker.lock()
            defer locker.unlock()
            a++
            fmt.println("a 的值为：", a)
        }()
    }

    wg.wait()
    fmt.println("a 的最终值为：", a)
}

方法 2：

func hasLockAndWait() {
    var a int64 // 将 a 声明为原子变量

    var wg sync.WaitGroup

    for i := 0; i < 1000; i++ {
        wg.Add(1)

        go func() {
            defer wg.Done()
            atomic.AddInt64(&a, 1)
            fmt.Println("a 的值为：", a)
        }()
    }

    wg.Wait()
    fmt.Println("a 的最终值为：", a)
}

注意：

修复后的代码会生成预期的结果，即 a 的最终值为 1000。