复习golang sync包的时候,突然想验证互斥锁sync.Mutex是否生效,然后写了如下代码来验证:
package main
import (
"fmt"
"sync"
)
var (
count int
countGuard sync.Mutex
wg sync.WaitGroup
m = map[int]int{}
)
func main() {
wg.Add(1000)
for i := 0; i < 1000; i++ {
go Test(1000)
}
wg.Wait()
fmt.Println("len(m)=", len(m))
fmt.Println("exit")
}
func Test(n int) {
for i := 0; i < n; i++ {
AddCount(1)
GetCount()
}
wg.Done()
}
func AddCount(c int) {
countGuard.Lock()
count += c
countGuard.Unlock()
}
func GetCount() {
countGuard.Lock()
m[count] = 1
countGuard.Unlock()
return
}
这段代码预期的输出应该是:
len(m)=1000000
exit
但是实际输出:
len(m)= 919668
exit
程序的目的是想验证sync.Mutex使用能否避免并发安全的问题。
起了1000个goroutine, 每个goroutine将count +1 并加入到map m中,
想用map key不重复的特点来记录count是否正确加了1000000次。
实际输出len(m)不符合预期的1000000。
golang中的map是非并发安全的,是不是这个原因导致的呢?
很显然不是的,我在操作map的时候已经加锁了。
究竟是什么原因导致的呢?
在高并发情况下,AddCount 和 GetCount并不是原子操作, 也就意味着有可能执行了几遍GetCount后才执行一次AddCount。 所以在这种情况下我用map来统计显然不行。