golang sync包里提供了 Locker接口、互斥锁 Mutex、读写锁 RWMutex用于处理并发过程中可能出现同时两个或多个协程(或线程)读或写同一个变量的情况。
一、为什么需要锁
在并发的情况下,多个线程或协程同时去修改一个变量。使用锁能保证在某一时间点内,只有一个协程或线程修改这一变量,具体我们可以看示例。先看不加锁的程序(会出现多个程序同时读该变量):
package main
import (
"fmt"
"time"
)
func main() {
var a = 0
for i := 0; i < 1000; i++ {
go func(idx int) {
a += 1
fmt.Println(a)
}(i)
}
time.Sleep(time.Second)
}
从理论上来说,上面的函数是每次递增a的值的,所以理论上应该会有1000个不同的值输出,实际结果呢?
[root@361way test]# go run l1.go |sort|uniq |wc -l
998
[root@361way test]# go run l1.go |sort|uniq |wc -l
1000
[root@361way test]# go run l1.go |sort|uniq |wc -l
998
[root@361way test]# go run l1.go |sort|uniq |wc -l
999
这里运行了4次,获取了三个不一样的结果。如果你有精力,可以将运行的结果逐一对比,在出现wc -l的结果小于1000时,绝对出现了重复值。为什么会现这样的情况?
协程依次执行:从寄存器读取 a 的值 -> 然后做加法运算 -> 最后写到寄存器。试想,此时一个协程取出 a 的值 3,正在做加法运算(还未写回寄存器)。同时另一个协程此时去取,取出了同样的 a 的值 3。最终导致的结果是,两个协程产出的结果相同,a 相当于只增加了 1。
所以,锁的概念就是,我正在处理 a(锁定)