go 条件变量

1. 条件变量:共享数据的状态发生变化时，通知阻塞在某个条件上的协程（线程）
2. 条件变量是一个结构体,Cond.L要搭配锁一起使用

type Cond struct {
   noCopy noCopy
   // L is held while observing or changing the condition
   L Locker
   notify  notifyList
   checker copyChecker
}

3. 三个常用方法:
   1. func (c *Cond) Wait()
      a) 阻塞等待条件变量满足
      b) 释放已掌握的互斥锁相当于cond.L.Unlock()。 注意：两步为一个原子操作。
      c) 当被唤醒，Wait()函数返回时，解除阻塞并重新获取互斥锁。相当于cond.L.Lock()
   2. func (c *Cond) Signal()

package main

import "fmt"
import "sync"
import "math/rand"
import "time"

var cond sync.Cond // 创建全局条件变量

// 生产者
func producer(out chan<- int, idx int) {
	for {
		cond.L.Lock()       // 条件变量,互斥锁加锁
		for len(out) == 3 { // 产品区满 等待消费者消费
			cond.Wait() // 1.挂起"当前协程" 2.释放互斥锁(此时消费者可以消费) 3.等待消费者唤醒(然后重新获取锁)
		}
		num := rand.Intn(1000) // 产生一个随机数
		out <- num             // 写入到 channel 中 （生产）
		fmt.Printf("%dth 生产者，产生数据 %3d, 公共区剩余%d\n", idx, num, len(out))
		cond.L.Unlock()         // 生产结束，解除互斥锁
		cond.Signal()           // 唤醒 阻塞的 消费者,一有数据就唤醒消费者
		time.Sleep(time.Second) // 生产完休息一会，给其他协程执行机会
	}
}

//消费者
func consumer(in <-chan int, idx int) {
	for {
		cond.L.Lock()      // 条件变量,互斥锁加锁
		for len(in) == 0 { // 产品区为空 等待生产者
			cond.Wait() // 1.挂起"当前协程" 2.释放互斥锁(此时生产者可以生产) 3.等待消费者唤醒(然后重新获取锁)
		}
		num := <-in // 消费
		fmt.Printf("---- %dth 消费者, 消费数据 %3d,公共区剩余%d\n", idx, num, len(in))
		cond.L.Unlock()                    // 消费结束，解除互斥锁
		cond.Signal()                      // 每消费一个就唤醒生产者
		time.Sleep(time.Millisecond * 500) //消费完 休息一会，给其他协程执行机会
	}
}
func main() {
	rand.Seed(time.Now().UnixNano()) // 设置随机数种子
	quit := make(chan bool)          // 创建用于结束通信的 channel
	product := make(chan int, 3)     // 产品区（公共区）使用channel 模拟
	cond.L = new(sync.Mutex)         // 创建互斥锁和条件变量
	for i := 0; i < 5; i++ {         // 5个消费者
		go producer(product, i+1)
	}
	for i := 0; i < 5; i++ { // 5个生产者
		go consumer(product, i+1)
	}
	<-quit // 主协程阻塞 不结束
}