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判断key是否在map中的代码
Apr 24 Golang
win10下go mod配置方式
Apr 25 Golang
Go语言使用select{}阻塞main函数介绍
Apr 25 Golang
golang正则之命名分组方式
Apr 25 Golang
Golang 如何实现函数的任意类型传参
Apr 29 Golang
解决golang post文件时Content-Type出现的问题
May 02 Golang
golang 实现并发求和
May 08 Golang
深入理解go缓存库freecache的使用
Feb 15 Golang
golang用type-switch判断interface的实际存储类型
Apr 14 Golang
Golang jwt身份认证
Apr 20 Golang
Go gorilla securecookie库的安装使用详解
Aug 14 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
php5中类的学习
2008/03/28 PHP
php 模拟post_验证页面的返回状态(实例讲解)
2013/10/28 PHP
ThinkPHP静态缓存简单配置和使用方法详解
2016/03/23 PHP
js注意img图片的onerror事件的分析
2011/01/01 Javascript
获取body标签的两种方法
2011/10/13 Javascript
jquery事件机制扩展插件 jquery鼠标右键事件。
2011/12/26 Javascript
jQuery之自动完成组件的深入解析
2013/06/19 Javascript
基于jQuery实现的仿百度首页滑动选项卡效果代码
2015/11/16 Javascript
省市联动效果的简单实现代码(推荐)
2016/06/06 Javascript
jQuery UI插件实现百度提词器效果
2016/11/21 Javascript
javascript滚轮事件基础实例讲解(37)
2017/02/14 Javascript
TypeScript入门-基本数据类型
2017/03/28 Javascript
vue scroller返回页面记住滚动位置的实例代码
2018/01/29 Javascript
使用VUE+iView+.Net Core上传图片的方法示例
2019/01/04 Javascript
如何给element添加一个抽屉组件的方法步骤
2019/07/14 Javascript
在layui中对table中的数据进行判断(0、1)转换为提示信息的方法
2019/09/28 Javascript
Vue双向绑定实现原理与方法详解
2020/05/07 Javascript
Javascript实现简易天数计算器
2020/05/18 Javascript
如何实现echarts markline标签名显示自己想要的
2020/07/20 Javascript
python实现的防DDoS脚本
2011/02/08 Python
Python 模板引擎的注入问题分析
2017/01/01 Python
Python编程在flask中模拟进行Restful的CRUD操作
2018/12/28 Python
tensorflow:指定gpu 限制使用量百分比,设置最小使用量的实现
2020/02/06 Python
Python基于进程池实现多进程过程解析
2020/04/30 Python
python实现Oracle查询分组的方法示例
2020/04/30 Python
详解python中的三种命令行模块(sys.argv,argparse,click)
2020/12/15 Python
css3的transform中scale缩放详解
2014/12/08 HTML / CSS
GoPro摄像机美国官网:美国运动相机厂商
2018/07/03 全球购物
介绍一下Linux内核的排队自旋锁
2014/01/04 面试题
实习生的自我鉴定范文欣赏
2013/11/20 职场文书
生日邀请函范文
2014/01/13 职场文书
省级四好少年事迹材料
2014/01/25 职场文书
大学生个人求职信
2014/06/02 职场文书
商铺租房协议书范本
2014/12/04 职场文书
追悼会家属答谢词
2015/09/29 职场文书
python中取整数的几种方法
2021/11/07 Python