go语言中解决协程同步的问题,可以使用channel,但go也提供了传统的同步工具。他们都在go的标准库代码包sync和sync/atomic中。
go语言中尽量不要将互斥锁,读写锁和channel一起使用,会造成--隐性死锁。
ps:如果非要一起使用,使用条件变量sync.cond
-
什么是锁?
就是某个协程(线程)在访问某个资源时先锁住,防止其他协程的访问,等访问完毕解锁后其他协程再来加锁进行访问。
-
死锁
死锁是指两个或以上的进程在执行过程中,由于竞争资源或由于彼此通信而造成的一种阻塞的现象,若无外力作用,他们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁。注: 死锁,不是锁的一种,而是错误使用锁导致的现象。
-
互斥锁
A,B协程共同访问共享数据,由于CPU调度随机,需要对共享数据访问顺序加以限定(同步)。
创建mutex(互斥锁),访问共享数据之前,加锁;访问结束,解锁。在A协程加锁期间,B协程加锁会失败-阻塞。
直到A协程解锁mutex,B从阻塞处恢复执行。
例:
package main
import (
"fmt"
"sync"
"time"
)
var mutex sync.Mutex //创建一个互斥量,新建的互斥锁状态为0,未加锁
func printer(str string) {
mutex.Lock() //访问共享数据之前,加锁
for _,ch :=range str{
fmt.Printf("%c",ch)
time.Sleep(time.Millisecond * 300)
}
mutex.Unlock() //贡共享数据访问结束,解锁
}
func person1() {
printer("12345")
}
func person2() {
printer("abcde")
}
func main() {
go person1()
go person2()
time.Sleep(time.Second*3)
}
-
读写锁
互斥锁的本质是当一个goroutine访问的时候,其他goroutine都不能访问。这样在资源同步,避免竞争的同时也降低了程序的并发性能。程序由原来的并行执行变成了串行执行。
其实,当我们对一个不会变化的数据只做”读“操作的话,是不存在资源竞争的问题的。因为数据的不变的,不管怎么读取,多少goroutine同时读取都是可以的。所以读和读之间是没有必要互斥的。因此衍生出另一种锁,叫读写锁。
读写锁可以让多个读操作并发,同时读取。但是对于写操作是完全互斥的。也就是说,当一个goroutine进行写操作的时候,其他goroutine既不能进行读操作,也不能进行写操作。读时共享,写时独占。写锁优先级比读锁高。
GO中的读写锁由结构体类型sync.RWMutex表示。此类型的方法集合中包含两队方法:
一组的对写操作的锁定和解锁。简称写锁定和写解锁:
func (*RWMutex) Lock()
func (*RWMutex) ULock()
另一组表示对读操作的锁定和解锁。简称读锁定和读解锁:
func (*RWMutex) RLock()
func (*RWMutex) RULock()
例:
package main
import (
"fmt"
"math/rand"
"sync"
"time"
)
var rwMutex sync.RWMutex // 锁只有一把, 2 个属性读和写
var value int // 定义全局变量,模拟共享数据
func readGo(idx int) {
for {
rwMutex.RLock() // 以读模式加锁
num := value
fmt.Printf("-----------%dth 读 go程,读出:%d\n", idx, num)
rwMutex.RUnlock() // 以读模式解锁
time.Sleep(time.Second)
}
}
func writeGo(idx int) {
for {
// 生成随机数
num := rand.Intn(1000)
rwMutex.Lock() // 以写模式加锁
value = num
fmt.Printf("%dth 写go程,写入:%d\n", idx, num)
time.Sleep(time.Millisecond * 300)
rwMutex.Unlock() // 以写模式解锁
}
}
func main() {
// 播种随机数种子
rand.Seed(time.Now().UnixNano())
for i:=0; i<5; i++ { // 5 个 读 go 程
go readGo(i+1)
}
for i:=0; i<5; i++ { //5 个 写 go 程
go writeGo(i+1)
}
time.Sleep(time.Second*10)
}
-
条件变量
package main
import (
"fmt"
"sync"
"time"
)
func main() {
/*条件变量:sync.Cond,多个goroutine等待或接受通知的集合地
3个指针方法:
wait()等待:当前goroutine等待接受通知。通过single(),Broadcast()发送数据,才能解除阻塞。
single():发送一个通知
Broadcast():广播,发送给所有人
*/
n := 1
var mutex sync.Mutex
cond := sync.Cond{L:&mutex} //sync.NewCond(&mutex)
go func() {
time.Sleep(1*time.Second)
cond.L.Lock()
fmt.Println("子goroutine更改条件数值,并发送通知。。")
n = 2//更该数值
cond.Signal()//发送通知,任意选一个goroutine通知
cond.L.Unlock()
}()
cond.L.Lock()
fmt.Println("main已经锁定")
if n != 2 {
fmt.Println("n的值不是2,不满足主程序要求,阻塞并等待唤醒")
//wait尝试解锁,等待子goroutine修改conditon的值,并发送通知唤醒
//一旦被唤醒后,又会锁定
cond.Wait()
}
cond.L.Unlock()
fmt.Println("n的值已经等于2,满足主程序")
}