先看一段代码
ackage main
import (
"fmt"
"sync"
)
func main() {
var wg sync.WaitGroup
s := make([]int, 0, 1000)
for i := 0; i < 1000; i++ {
v := i
wg.Add(1)
go func() {
s = append(s, v)
wg.Done()
}()
}
wg.Wait()
fmt.Printf("%v\n", len(s))
}
结果
第一次:928
第二次:945
第三次:986
……
多运行几次你就会发现,slice长度并不是1000,而是不停的在变,为什么呢?
因为append并不是并发安全的。
我们举一个简单例子,比如,当A和B两个协程运行append的时候同时发现s[1]这个位置是空的,他们就都会把自己的值放在这个位置,这样他们两个的值就会覆盖,造成数据丢失。
那该怎么写?最简单的方式就是用锁,贴一个例子。
package main
import (
"fmt"
"sync"
)
func main() {
var (
wg sync.WaitGroup
mutex sync.Mutex
)
s := make([]int, 0, 1000)
for i := 0; i < 1000; i++ {
v := i
wg.Add(1)
go func() {
mutex.Lock()
s = append(s, v)
mutex.Unlock()
wg.Done()
}()
}
wg.Wait()
fmt.Printf("%v\n", len(s))
}
运行一下这个例子就会发现,s的长度总是1000。
有疑问加站长微信联系(非本文作者)