Golang控制协程执行顺序方法详解
作者:Mingvvv 发布时间:2024-02-20 13:00:21
在 Go 里面的协程执行实际上默认是没有严格的先后顺序的。由于 Go 语言 GPM 模型的设计理念,真正执行实际工作的实际上是 GPM 中的 M(machine) 执行器,而我们的协程任务 G(goroutine) 协程需要被 P(produce) 关联到某个 M 上才能被执行。而每一个 P 都有一个私有队列,除此之外所有的 P 还共用一个公共队列。因此当我们创建了一个协程之后,并不是立即执行,而是进入队列等待被分配,且不同队列之间没有顺序关系可言。
但是在有些时候,我们并不是希望所有的协程都随机执行,所以我们需要想办法控制协程的执行顺序,这里整理了几种控制协程执行顺序的方法。
循环控制
思路就是我们要给每一个子协程设置一个序号,当前一个序号的协程执行完之后,才能执行下一个。
所以我们需要一个公共变量去记录当前可以执行的协程的序号,同时这个变量必须是线程安全的,以确保对于每个协程的每一次读写操作都是正确的。
首先循环等待合适的时机:
这个函数会不断循环获取一个 count 值,当 count 的值和参中的 i 相同时,他就会进入执行参数 fn 代表的函数,并且将 count 的值 +1 。
否则它将等待一纳秒然后重复以上步骤。
var count uint32
func sequence(i uint32, fn func()) {
for {
//使用原子操作
if n := atomic.LoadUint32(&count); n == i {
fn()
atomic.AddUint32(&count, 1)
break
}
time.Sleep(time.Nanosecond)
}
}
然后用 sequence 来控制协程顺序:
我们将要执行的逻辑放在函数 fn 中,并放在 sequence 函数中执行,由函数 sequence 去确保写成的执行顺序。
最后 sequence(times, func() {}) 是为了让主协程最后退出,当然我们可一个使用通道 chan 去实现(可以参考上一篇)。
func main() {
var times uint32 = 5
for i := uint32(0); i < times; i++ {
go func(i uint32) {
fn := func() {
fmt.Printf("this i is %v\n", i)
}
sequence(i, fn)
}(i)
}
//让主协程等待最后执行
sequence(times, func() {})
}
执行结果:
this i is 0
this i is 1
this i is 2
this i is 3
this i is 4
通道控制
原理就是,前后协程之间通过通道去相互限制,后一个协程尝试去获取一个通道里面的值,当通道中没有值时,就会一直阻塞。
而前一个协程则负责关闭通道,或向通道中发送值,当前一个协程完成了这个操作,后一个协程才可以结束阻塞,继续执行。
func main() {
c1 := make(chan struct{})
c2 := make(chan struct{})
c3 := make(chan struct{})
go func() {
//协程一 不受限制 直接执行 执行结束后关闭通道一
fmt.Println("this value is 0")
close(c1)
}()
go func() {
//协程二 需要从通道一中接收值 ,或者通道关闭时,获取到接收失败的结果,否则一直阻塞
//执行结束后关闭通道二
<-c1
fmt.Println("this value is 1")
close(c2)
}()
go func() {
//协程三 需要从通道二中接收值 ,或者通道关闭时,获取到接收失败的结果,否则一直阻塞
//执行结束后关闭通道三
<-c2
fmt.Println("this value is 2")
close(c3)
}()
//主协程 需要从通道三中接收值 ,或者通道关闭时,获取到接收失败的结果,否则一直阻塞
<-c3
}
执行结果
this value is 0
this value is 1
this value is 2
互斥锁 async.Mutex
直接上代码
func main() {
times := 5
//创建一个互斥锁数组 多一个给主协程用
var cc = make([]*sync.Mutex, times+1)
//往数组中塞入互斥锁,默认直接加锁
for i := 0; i < len(cc); i++ {
m := &sync.Mutex{}
m.Lock()
cc[i] = m
}
for i := 0; i < times; i++ {
//创建子协程
go func(index int) {
//子协程尝试为数组中对应 index 位置的锁加锁,获取不到锁就等待
//因为初始化的这些互斥锁默认就已经被锁住了,所以这里创建的子协程都会被阻塞
//一旦获取到锁,就执行逻辑,最后将当前index的锁和index+1的锁释放,这样正在等待 index +1 位置的锁的子协程就可以继续执行了
cc[index].Lock()
fmt.Printf("this value is %d \n", index)
cc[index].Unlock()
cc[index+1].Unlock()
}(i)
}
//将index 为 0 位置的锁解锁,让第一个子协程可以继续执行
cc[0].Unlock()
//为 index 为 times 的锁加锁,只有当最后一个子协程执行完毕后,这个锁才会解锁,主协程才能继续向下走
cc[times].Lock()
cc[times].Unlock()
}
来源:https://mingvvv.blog.csdn.net/article/details/127828781
猜你喜欢
- 业务场景使用elasticsearch作为全文搜索引擎,对标题、内容等,实现智能搜索、输入提示、拼音搜索等elasticsearch索引与数
- 本文实例讲述了python抓取并保存html页面时乱码问题的解决方法。分享给大家供大家参考,具体如下:在用Python抓取html页面并保存
- 1,前端样式2,html代码{% load asset_filter %}<div class="col-sm-2"
- 一、Oracle11g的安装过程(Windows版本)很简单,步骤为: 1. 首先从Oracl
- javascript request.setAttribute()详解request.setAttribute()怎么用的?JS
- 收集所有外部链接的网站爬虫程序流程图下例是爬取本站python绘制条形图方法代码详解的实例,大家可以参考下。完整代码:#! /usr/bin
- 由于一些不可预测的因素,必须使用python2.7进行开发,所以研究了一下怎么在Anaconda3下建立2.7的开发环境,发现十分方便,在此
- 一 前期说明:我运行项目的环境是nginx+php,存储代码用的是gitlab,python版本:3.6 django版本:2.2.1 my
- 1.设置phpMyAdmin Language:Chinese simplified (zh-utf-8)MySQL 字符集:UTF-8 U
- Wake-On-LAN简称WOL,是一种电源管理功能;如果存在网络活动,则允许设备将操作系统从待机或休眠模式中唤醒。许多主板厂商支持IBM提
- 本文实例为大家分享了python实现批处理文件的具体代码,供大家参考,具体内容如下Windows下的bat, linux 下的shell 用
- 签名import base64import jsonimport timefrom datetime import datetimeimpo
- 游戏玩法根据神庙逃亡,实现一个人躲避僵尸的小游戏,主要的是精灵、精灵组之间相撞、相交的处理。游戏开始随机出现一定的僵尸,随机移动,玩家在一位
- 下面是模板的一般形式,显示了指定 SQL 查询和 XPath 查询的方式: <ROOT xmlns:sql="ur
- 利用''%.af''%b——其中 b 代表要限定的数字, a 代表要求限定小数点的位数,结果自动四舍五入。例
- 定义和用法DATEDIFF(datepart,startdate,enddate)startdate 和 enddate 参数是合法的日期表
- Tensor.to(device)和model.to(device)的区别区别所在使用GPU训练的时候,需要将Module对象和Tensor
- 依据null-values,MySQL的值为null的意思只是代表没有数据,null值和某种类型的零值是两码事,比如int类型的零值为0,字
- 本文实例讲述了python模拟鼠标拖动操作的方法。分享给大家供大家参考。具体如下:pdf中的书签只有页码,准备把现有书签拖到一个目录中,然后
- 使用 str.split() 方法将字符串转换为数组,例如 array = string.split(',')。 str.s