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。
