Golang全局变量加锁的问题解决


Posted in Golang onMay 08, 2021

如果全局变量只读取 那自然是不需要加锁的

如果全局变量多进程读,多进程写,那自然是需要加读写锁的

但是如果全局变量只有一个进程写,其他进程读呢? 如果采用COW的方式,写进程只是通过单次赋值的方式来更新变量,是否就可以不加锁了呢?

就第三种情况而言:

当然我们通过 go build -race 或者 go run -race 就会出现

WARNING: DATA RACE。 但是出现 data race 就证明一定有问题么?

其实核心点在于这个赋值是否是原子的。也就是说是否存在 p1 = p2 的写入时,指针被临时替换为p3,并在此时goroutine切出的情况。可以想到的一种情况是64字节的指针需要两次mv才能完成全部变量的赋值。那么就有可能在两次mv中间切出,进而出现p3的情况。

之前在stackoverflow 上有个讨论

https://stackoverflow.com/questions/21447463/is-assigning-a-pointer-atomic-in-go

其中高votes的回答是说:

在go中,唯一保证原子性的操作是在 sync.atomic, 所以如果你想确保原子性,可以使用sync.Mutex 或者 sync.atomic 中的原子函数。 但是我不建议 sync.atomic中函数, 因为你不得不在任何使用指针的地方使用他们,这是非常难做到正确使用的。

用mutex 是好的go style - 你可以很方便的定义一个函数返回指针。 比如

import "sync"
var secretPointer *int
var pointerLock sync.Mutex
func CurrentPointer() *int {
    pointerLock.Lock()
    defer pointerLock.Unlock()
    return secretPointer
}
func SetPointer(p *int) {
    pointerLock.Lock()
    secretPointer = p
    pointerLock.Unlock()
}

所以一个ok的go style 应该是使用 sync.Mutex 的。

golang doc也是这么说的。

type T struct {
 msg string
}
var g *T
func setup() {
 t := new(T)
 t.msg = "hello, world"
 g = t
}
func main() {
 go setup()
 for g == nil {
 }
 print(g.msg)
}

Even if main observes g != nil and exits its loop, there is no guarantee that it will observe the initialized value for g.msg.

In all these examples, the solution is the same: use explicit synchronization.

但是当我们用go tool asm看时, 确实只有一个指令 MOVQ。

所以只能说

因为规范没有指定,所以你应该假设它不是原子的。即使它现在是原子的,它也有可能在不违反规范的情况下改变。

总之我们不应该做赋值原子的假设,而应该按照规范,使用sync.Mutex 来做。

补充:Golang对全局变量加锁同步解决资源访问共享问题——使用Go协程来同时并发计算多个数字(1-200)的阶乘

使用互斥锁解决资源共享问题

使用Go协程来同时并发计算多个数字(1-200)的阶乘,然后存储在数组当中

package main 
import (
 "fmt"
 "time"
)
 
var(
 myMap = make(map[int]int, 10)
)
 
func test(n int){
 res:=1
 for i:=1; i<=n; i++{
  res*=i
 }
 myMap[n]=res
}
 
func main(){
 for i:=1; i<=200; i++{
  go test(i)
 }
 
 time.Sleep(time.Second*10) 
 for i,v:=range myMap{
  fmt.Printf("myMap[%d]=%d\n", i, v)
 }
}

代码如下,运行结果如下:但是我们发现其并没有正常计算出各个数字的阶乘来

Golang全局变量加锁的问题解决

原因是我们没有对全局变量myMap加锁,导致了资源抢夺的问题,因此我们可以对代码加入互斥锁

package main 
import (
 "fmt"
 "time"
 "sync"
)
 
var(
 myMap = make(map[int]int, 10)
 //声明一个全局互斥锁
 lock sync.Mutex
)
 
func test(n int){
 res:=1
 for i:=1; i<=n; i++{
  res+=i //这里我将阶乘改成求和,防止数据溢出
 }
 //加锁
 lock.Lock()
 myMap[n]=res
 //解锁
 lock.Unlock()
}
 
func main(){
 for i:=1; i<=200; i++{
  go test(i)
 }
 
 time.Sleep(time.Second*10)
 
 for i,v:=range myMap{
  fmt.Printf("myMap[%d]=%d\n", i, v)
 }
}

对资源加了互斥锁之后,多个协程之间的并发问题就得到了解决

Golang全局变量加锁的问题解决

但是上述解决方案不太完美,有其缺陷:

(1)主线程在等待所有goroutine全部完成的时间很难确定

(2)如果主线程休眠时间过长,就会加长等待时间,如果等待时间短了,还可能会有goroutine因为主线程的退出而被销毁

(3)通过全局变量加锁同步来实现通讯,也不利于多个协程对全局变量的读写操作

以上为个人经验,希望能给大家一个参考,也希望大家多多支持三水点靠木。如有错误或未考虑完全的地方,望不吝赐教。

Golang 相关文章推荐
彻底理解golang中什么是nil
Apr 29 Golang
Golang 空map和未初始化map的注意事项说明
Apr 29 Golang
解决golang结构体tag编译错误的问题
May 02 Golang
Golang: 内建容器的用法
May 05 Golang
go xorm框架的使用
May 22 Golang
go web 预防跨站脚本的实现方式
Jun 11 Golang
Go Plugins插件的实现方式
Aug 07 Golang
Go 中的空白标识符下划线
Mar 25 Golang
golang使用map实现去除重复数组
Apr 14 Golang
Golang 对es的操作实例
Apr 20 Golang
Golang jwt身份认证
Apr 20 Golang
Go语言编译原理之变量捕获
Aug 05 Golang
golang 实现并发求和
May 08 #Golang
golang中的并发和并行
May 08 #Golang
关于golang高并发的实现与注意事项说明
May 08 #Golang
基于Golang 高并发问题的解决方案
May 08 #Golang
使用golang编写一个并发工作队列
May 08 #Golang
Go 在 MongoDB 中常用查询与修改的操作
May 07 #Golang
golang 实现时间戳和时间的转化
May 07 #Golang
You might like
php不写闭合标签的好处
2014/03/04 PHP
PHPCMS忘记后台密码的解决办法
2016/10/30 PHP
PHP四种排序算法实现及效率分析【冒泡排序,插入排序,选择排序和快速排序】
2018/04/27 PHP
ASP.NET中使用后端代码注册脚本 生成JQUERY-EASYUI的界面错位的解决方法
2010/06/12 Javascript
jQuery下的几个你可能没用过的功能
2010/08/29 Javascript
Javascript面象对象成员、共享成员变量实验
2010/11/19 Javascript
js的onload事件及初始化按钮事件示例代码
2013/09/25 Javascript
JS判断表单输入是否为空(示例代码)
2013/12/23 Javascript
JavaScript 实现简单的倒计时弹窗DEMO附图
2014/03/05 Javascript
js 动态为textbox添加下拉框数据源的方法
2014/04/24 Javascript
jquery实现类似淘宝星星评分功能实例
2014/09/12 Javascript
JS+CSS实现大气清新的滑动菜单效果代码
2015/10/22 Javascript
JavaScript类型检测之typeof 和 instanceof 的缺陷与优化
2016/01/13 Javascript
jquery点击展示与隐藏更多内容
2016/12/03 Javascript
JavaScript中的call和apply的用途以及区别
2017/01/11 Javascript
JS查找数组中重复元素的方法详解
2017/06/14 Javascript
mui上拉加载更多下拉刷新数据的封装过程
2017/11/03 Javascript
vue写一个组件
2018/04/09 Javascript
解决select2在bootstrap modal中不能正常使用的问题
2018/08/09 Javascript
在Vue methods中调用filters里的过滤器实例
2018/08/30 Javascript
详解vue后台系统登录态管理
2019/04/02 Javascript
vue实现密码显示与隐藏按钮的自定义组件功能
2019/04/23 Javascript
js实现简单贪吃蛇游戏
2020/05/15 Javascript
python 常见字符串与函数的用法详解
2018/11/23 Python
pandas DataFrame的修改方法(值、列、索引)
2019/08/02 Python
python3 selenium自动化 下拉框定位的例子
2019/08/23 Python
tensorflow指定CPU与GPU运算的方法实现
2020/04/21 Python
Python使用Selenium实现淘宝抢单的流程分析
2020/06/23 Python
详解torch.Tensor的4种乘法
2020/09/03 Python
html5 touch事件实现触屏页面上下滑动(一)
2016/03/10 HTML / CSS
Abbacino官网:包、钱包和女士配饰
2019/04/15 全球购物
一套Delphi的笔试题二
2013/05/11 面试题
入党介绍人意见怎么写
2015/06/03 职场文书
意外事故赔偿协议书
2016/03/22 职场文书
小学记事作文之200字
2019/08/06 职场文书
python百行代码实现汉服圈图片爬取
2021/11/23 Python