当前位置: 首页 > news >正文

golang条件变量的作用并不保证在同一时刻仅有一个协程(线程)访问某个共享的数据资源

条件变量条件变量的作用并不保证在同一时刻仅有一个协程(线程)访问某个共享的数据资源,而是在对应的共享数据的状态发生变化时,通知阻塞在某个条件上的协程(线程)。条件变量不是锁,在并发中不能达到同步的目的,因此条件变量总是与锁一块使用。

例如,我们上面说的,如果仓库队列满了,我们可以使用条件变量让生产者对应的goroutine暂停(阻塞),但是当消费者消费了某个产品后,仓库就不再满了,应该唤醒(发送通知给)阻塞的生产者goroutine继续生产产品。

GO标准库中的sys.Cond类型代表了条件变量。条件变量要与锁(互斥锁,或者读写锁)一起使用。成员变量L代表与条件变量搭配使用的锁。

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

对应的有3个常用方法,Wait,Signal,Broadcast。

  1. func (c *Cond) Wait()

该函数的作用可归纳为如下三点:

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

单发通知,给一个正等待(阻塞)在该条件变量上的goroutine(线程)发送通知。

  1. func (c *Cond) Broadcast()

广播通知,给正在等待(阻塞)在该条件变量上的所有goroutine(线程)发送通知。

下面我们用条件变量来编写一个“生产者消费者模型”

  1. main函数中定义quit,其作用是让主协程阻塞。
  2. 定义product作为队列,生产者产生数据保存至队列中,最多存储3个数据,消费者从中取出数据模拟消费
  3. 条件变量要与锁一起使用,这里定义全局条件变量cond,它有一个属性:L Locker。是一个互斥锁。
  4. 开启5个消费者协程,开启3个生产者协程。
  5. producer生产者,在该方法中开启互斥锁,保证数据完整性。并且判断队列是否满,如果已满,调用wait()让该goroutine阻塞。当消费者取出数后执行cond.Signal(),会唤醒该goroutine,继续生产数据。
  6. consumer消费者,同样开启互斥锁,保证数据完整性。判断队列是否为空,如果为空,调用wait()使得当前goroutine阻塞。当生产者产生数据并添加到队列,执行cond.Signal() 唤醒该goroutine。
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()             	// 挂起当前协程, 等待条件变量满足,被消费者唤醒
      }
      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()             	// 挂起当前协程, 等待条件变量满足,被生产者唤醒
      }
      num := <-in                	// 将 channel 中的数据读走 (消费)
      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 < 3; i++ {          // 3个生产者
      go consumer(product, i+1)
   }
   <-quit                         	// 主协程阻塞 不结束
}

相关文章:

  • 华为面试题3
  • golang多个消费者访问共享数据
  • 创建第一个区块001
  • c语言常见出错信息(转)
  • 创建我的第一个区块链002
  • 几种开发工具的特性比较(转载)
  • 添加区块到区块链当中003
  • 很难见得到的一篇关于windows进程的说明书(转载)
  • 补充区块代码更新函数004
  • byte二位数组转换问题005
  • 写在周日的凌晨( 一次思维的对话)
  • 挖矿初出茅庐006
  • blot数据库007
  • Chapter1:Oracle 10g Oracle DAB [Oracle® Database 2 Day DBA
  • 修改构造区块链数据库008
  • 网络传输文件的问题
  • 2018一半小结一波
  • crontab执行失败的多种原因
  • CSS 专业技巧
  • echarts花样作死的坑
  • ES6, React, Redux, Webpack写的一个爬 GitHub 的网页
  • ES学习笔记(12)--Symbol
  • in typeof instanceof ===这些运算符有什么作用
  • iOS 系统授权开发
  • Python利用正则抓取网页内容保存到本地
  • rc-form之最单纯情况
  • Shell编程
  • Vue 2.3、2.4 知识点小结
  • 动态规划入门(以爬楼梯为例)
  • 基于阿里云移动推送的移动应用推送模式最佳实践
  • 力扣(LeetCode)56
  • 前端临床手札——文件上传
  • 扫描识别控件Dynamic Web TWAIN v12.2发布,改进SSL证书
  • 原生js练习题---第五课
  • 再谈express与koa的对比
  • 在Docker Swarm上部署Apache Storm:第1部分
  • 数据可视化之下发图实践
  • # 安徽锐锋科技IDMS系统简介
  • $.ajax()参数及用法
  • (java版)排序算法----【冒泡,选择,插入,希尔,快速排序,归并排序,基数排序】超详细~~
  • (poj1.2.1)1970(筛选法模拟)
  • (紀錄)[ASP.NET MVC][jQuery]-2 純手工打造屬於自己的 jQuery GridView (含完整程式碼下載)...
  • (七)理解angular中的module和injector,即依赖注入
  • (心得)获取一个数二进制序列中所有的偶数位和奇数位, 分别输出二进制序列。
  • (一)C语言之入门:使用Visual Studio Community 2022运行hello world
  • (幽默漫画)有个程序员老公,是怎样的体验?
  • (转)如何上传第三方jar包至Maven私服让maven项目可以使用第三方jar包
  • ****** 二 ******、软设笔记【数据结构】-KMP算法、树、二叉树
  • .cfg\.dat\.mak(持续补充)
  • .net core 6 集成和使用 mongodb
  • .net core webapi Startup 注入ConfigurePrimaryHttpMessageHandler
  • .NET Core 中的路径问题
  • .Net 路由处理厉害了
  • .NET 使用配置文件
  • .Net7 环境安装配置