条件变量:
本身不是锁,但是经常和锁结合使用。对应有3个常用方法。wait,signal,broadcast
1、func (c *cond) Wait()
该函数的作用可归纳为三点:
a)阻塞等待条件变量满足
b)释放已经掌握的互斥锁,相当于cond.Unlock()。
注意:这两步为一个原子操作
c)当被唤醒,Wait()函数返回时,解除阻塞并重新获取互斥锁,相当于cond.lock()
2、func(c *cond) Signal()
单发通知,给一个正在等待(阻塞)在该条件变量上的goroutine发送通知。
3、func(c *cond) Broadcast()
广播通知,给正在等待(阻塞)在该条件变量上的所有goroutine发送通知。
流程:
1、创建条件变量:var cond sync.Cond。
2、指定条件变量用的锁:cond.L = new(sync.Mutex)。
3、cond.L.lock给公共区加锁。
4、判断是否到达阻塞条件(缓冲区满/空)---for 循环判断。
for len(ch) == cap(ch) {cond.wait()---1) 阻塞2)解锁3)加锁}。
5、访问公共区域 ----读、写数据。
6、解锁条件变量的锁cond.unlock()。
7、唤醒阻塞在条件变量上的对端。
代码示例:
package main
import (
"fmt"
"math/rand"
"sync"
"time"
)
var cond sync.Cond//定义全局条件变量
func producer3 (out chan <- int, idx int) {//定义生产者
for {
cond.L.Lock()//给公共缓冲区加锁
for len(out) == 3 {//循环判断缓冲区容量,缓冲区满了,阻塞
cond.Wait()//1)阻塞2)解锁3)加锁。 1和2是一个原子操作
}
num := rand.Intn(1000)//产生随机数
out <- num //随机数写入管道
fmt.Printf("生产者:%d,生产:%d\n", idx,num)
cond.L.Unlock()//给公共缓冲区解锁
cond.Signal()//唤醒被阻塞的消费者,进行消费数据
time.Sleep(time.Millisecond*300)
}
}
func consummer3(in <- chan int, idx int) {//定义消费者
for {
cond.L.Lock()//给公共缓冲区加锁
for len(in) == 0 {//循环判断缓冲区容量,是否为空,为空阻塞,不为空,继续消费数据
cond.Wait()//1)阻塞2)解锁3)加锁。1和2是一个原子操作
}
num := <- in //从管道中消费随机数
fmt.Printf("##########消费者:%d,消费:%d\n", idx,num)
cond.L.Unlock()//给公共缓冲区解锁
cond.Signal()//管道中数据被消费没了,唤醒被阻塞的生产者,进行生产数据
time.Sleep(time.Millisecond * 200)
}
}
func main() {
ch := make(chan int,3)//定义管道,用于通信
//quit := make(chan bool)//判断是否退出
cond.L = new(sync.Mutex) //定义条件变量用的锁
rand.Seed(time.Now().UnixNano())//随机数种子
for i := 0;i < 5; i++ {
go producer3(ch, i + 1)
}
for i := 0;i < 6; i++ {
go consummer3(ch, i + 1)
}
//<- quit
for {
;
}
}
打印输出:
生产者:3,生产:702
##########消费者:6,消费:702
生产者:5,生产:386
生产者:4,生产:177
生产者:1,生产:953
##########消费者:3,消费:386
##########消费者:1,消费:177
##########消费者:2,消费:953
生产者:2,生产:201
##########消费者:4,消费:201
生产者:2,生产:902
生产者:5,生产:237
生产者:4,生产:642
##########消费者:4,消费:902
##########消费者:1,消费:237
##########消费者:3,消费:642