go语言中的互斥锁sync.Mutex

 

go协程并发不安全,如下面的例子开启100个协程sum+10计算求和

package main

import (
    "fmt"
    "time"
)

var sum = 0

func main(){ 
    for i := 0; i < 100; i++ {
      go add(10)
    }
    //防止提前退出
    time.Sleep(2 * time.Second)
    fmt.Println("和为:",sum)

}
func add(i int) {
   sum += i
}

你期待的结果可能是“和为 1000”，但当运行程序后，可能如预期所示，但也可能是 990 或者 980。导致这种情况的核心原因是资源 sum 不是并发安全的，因为同时会有多个协程交叉执行 sum+=i，产生不可预料的结果。

既然已经知道了原因，解决的办法也就有了，只需要确保同时只有一个协程执行 sum+=i 操作即可。要达到该目的，可以使用 sync.Mutex 互斥锁

修改上述代码

import "sync"

var(
   sum int
   mutex sync.Mutex
)
func add(i int) {
   mutex.Lock()
   sum += i
   mutex.Unlock()
}

以上被加锁保护的 sum+=i 代码片段又称为临界区。在同步的程序设计中，临界区段指的是一个访问共享资源的程序片段，而这些共享资源又有无法同时被多个协程访问的特性。 当有协程进入临界区段时，其他协程必须等待，这样就保证了临界区的并发安全。

互斥锁的使用非常简单，它只有两个方法 Lock 和 Unlock，代表加锁和解锁。当一个协程获得 Mutex 锁后，其他协程只能等到 Mutex 锁释放后才能再次获得锁。

Mutex 的 Lock 和 Unlock 方法总是成对出现，而且要确保 Lock 获得锁后，一定执行 UnLock 释放锁，所以在函数或者方法中会采用 defer 语句释放锁，如下面的代码所示：

func add(i int) {
    mutex.Lock()
    defer mutex.Unlock()
    sum += i
}

这样可以确保锁一定会被释放，不会被遗忘。

谢谢，ALL！