Go 临界资源的安全问题(引入同步异步处理)
SegmentFault
共 3951字,需浏览 8分钟
· 2022-06-10
作者:LiberHome
来源:SegmentFault 思否社区
临界资源定义
并发环境中多个进程、线程、协程共享的资源
临界资源的特点
可能会因为并发操作导致数据出现不一致性,举个栗子,下面代码中的a及时临界资源
package main
import (
"fmt"
"time"
)
func main() {
//临界资源
a := 1
go func() {
a = 2
fmt.Println("in this goroutine: a is : ", a)
}()
//在主goroutine中
a = 3
time.Sleep(1)
fmt.Println("in the main goroutine: a is : ", a)
}
经典的售票问题,好多个窗口同时售票的门票的数量就是一个典型的临界资源安全问题,下面用4个协程模拟一下售票过程:
package main
import (
"fmt"
"math/rand"
"time"
)
var ticket = 10 //the amount of the total ticket is 100
func main() {
//这里启动4个goroutine模拟4个售票口 同时售票
go saleTickets("ticket window1")
go saleTickets("ticket window2")
go saleTickets("ticket window3")
go saleTickets("ticket window4")
//这里为了保证 主协程 最后执行完 先用sleep (当然,也可以用同步等待组、chanel实现)
time.Sleep(10 * time.Second)
}
func saleTickets(name string) {
rand.Seed(time.Now().UnixNano())
for {
if ticket > 0 {
time.Sleep(time.Duration(rand.Intn(1000)) * time.Millisecond)
fmt.Println(name, "saled: ", ticket)
ticket--
} else {
fmt.Println(name, "sorry tickets are sold out")
break
}
}
}
运行结果如下:
ticket window3 saled: 10
ticket window1 saled: 9
ticket window4 saled: 8
ticket window2 saled: 7
ticket window3 saled: 6
ticket window2 saled: 5
ticket window1 saled: 4
ticket window1 saled: 3
ticket window4 saled: 2
ticket window2 saled: 1
ticket window2 sorry tickets are sold out
ticket window4 saled: 0
ticket window4 sorry tickets are sold out
ticket window3 saled: -1
ticket window3 sorry tickets are sold out
ticket window1 saled: -2
ticket window1 sorry tickets are sold out
我们假设现在只剩下最后1张票了,现在程序在主协程里面
窗口4的协程拿到cpu资源,读取了剩余ticket总数为1,然后sleep,释放cpu资源
窗口3的协程拿到cpu资源,发现剩余ticket总数为1(因为窗口4的协程进入sleep了,并没有在窗口3拿到cpu资源之前对ticket进行修改),然后sleep,释放cpu资源。
窗口4醒了,ticket = 1 - 1 = 0
窗口3醒了,ticket = 0 - 1 = -1
针对这种问题,可以通过上锁,在某一时间段只允许一个goroutine来访问这个共享数据,访问完毕,解锁之后,其他goroutine才能访问的方式解决。
不过有意思的是,go并不鼓励这样以共享的方式去通信,而是以通信的方式去共享【也就是不鼓励用sync包上锁,鼓励使用chanel】
评论
了解加密货币到加密货币的互换
1、什么是加密货币互换?加密货币到加密货币的互换是指以现行市场汇率将一种加密货币直接兑换为另一种加密货币。与需要法定货币存款和较长流程的传统交易所不同,加密货币到加密货币的互换可以无缝地促进交换。掉期在提高加密货币的流动性和效率方面发挥着重要作用。该功能使用户能够将他们的加密货币与钱包中的其他代币进
区块链头条
0
李彦宏:开源大模型不如闭源,后者会持续领先;周鸿祎:“开源不如闭源” 的言论是胡说八道
架构师大咖
架构师大咖,打造有价值的架构师交流平台。分享架构师干货、教程、课程、资讯。架构师大咖,每日推送。
公众号该公众号已被封禁0、李彦宏:开源大模型不如闭源,后者会持续领先当今
源码共读
0
【第129期】程序员的新宠:三款终端工具,让你告别Xshell!
概述 WindTerm:跨平台的SSH利器 首先介绍的是WindTerm,这是一款使用C语言开发的跨平台SSH客户端。它不仅完全免费,而且没有商业使用的限制。WindTerm支持SSH v2、Telnet、Raw Tcp等协议,而且性能出色,甚至超过了FinalShell和Electerm。功能
前端微服务
0
字节员工:35岁以后被裁员的,后来都走了哪条路?现在2-2,要不要利用最后一年拼命上个岸。
架构师大咖
架构师大咖,打造有价值的架构师交流平台。分享架构师干货、教程、课程、资讯。架构师大咖,每日推送。
公众号该公众号已被封禁在当今竞争激烈的职场环境中,年龄并不总是一个决定性
源码共读
0
上班的时候,有一群摸鱼搭子非常重要...
上班的时候,有一群摸鱼搭子非常重要!一到上班时间,他们就从四面八方涌进群里冒泡...从八卦聊到股市、从职场聊到乌X兰局势,偶尔还会复读、相亲、battle...然后,下午6点钟准时消失不见...所以你要不要加入我们一起摸鱼?我们有北京、上海、深圳、广州、杭州、武汉、成都、南京等8个城市的摸鱼群,还有
产品经理日记
0
周四002 瑞超:同样落寞的境遇——北雪平vs埃尔夫斯堡
上赛季最终排名联赛第9的北雪平本赛季伊始表现不佳,4轮战罢他们仅以1胜1平2负的战绩排在倒数第三,这支历史上曾夺得13次联赛冠军、6次杯赛冠军老牌劲旅,正如英格兰赛场上的一众百年俱乐部,在低谷中不断探索着出路。球队主教练安德烈亚斯·阿尔姆曾是AIK索尔纳及赫根队的主教练,他于今年年初刚刚拿起球队教鞭
产品与体验
0
雷军辟谣了!不是高考状元,卡里也没有冰冷的 40 亿
架构师大咖
架构师大咖,打造有价值的架构师交流平台。分享架构师干货、教程、课程、资讯。架构师大咖,每日推送。
公众号该公众号已被封禁最近很火的雷军简历,听说落魄时卡里只有冰冷的 40
源码共读
0
日本影山优佳最新杂志照,展现充满透明感的美丽
今天的图文分享的是影山优佳的杂志写真。元日向坂46的影山优佳,登上了写真杂志《周刊FLASH》5/7和5/14合并号的封面。影山优佳是日本艺人、女演员、前偶像。身高155厘米。2001年5月8日出生于东京都。2023年7月从组合日向坂46毕业,之后作为演员活跃的影山优佳,在《周刊FLAS
python教程
0