当前位置:首页 > 文章列表 > Golang > Go问答 > 确保变量线程安全的方法

确保变量线程安全的方法

来源:stackoverflow 2024-03-24 20:15:42 0浏览 收藏

在 Go 语言中,与 Java 中的 `synchronized` 不同,没有直接的同步变量方法。相反,Go 鼓励通过通信共享内存,而不是通过共享内存通信。可以使用互斥体、通道或 `sync/atomic` 包来保护并发访问的变量。对于简单的整数变量,可以使用 `sync/atomic` 包,而对于更复杂的数据结构,则可以使用互斥体。为了避免共享变量,Go 提供了通道,这是一种内置的协程间通信机制,可以安全地发送和接收数据。

问题内容

我对 Go 比较陌生,我需要使变量成为线程安全的。我知道在java中你可以只使用synchronized关键字,但在go中似乎不存在类似的东西。有没有办法同步变量?


解决方案


java中的synchronized是一种只允许单个线程执行代码块(在任何给定时间)的方法。

在 go 中,有许多构造可以实现这一点(例如互斥体、通道、等待组、sync/atomic 中的原语),但 go 的谚语是:“不要通过共享内存进行通信;相反,通过通信来共享内存。”

因此,与其锁定和共享变量,不如尝试不这样做,而是在 goroutine 之间传递结果,例如使用通道(这样您就不必访问共享内存)。详情请见The Go Blog: Share Memory By Communicating

当然,在某些情况下,最简单、直接的解决方案可能是使用互斥体来保护多个 goroutine 对变量的并发访问。在这种情况下,您可以这样做:

var (
    mu        sync.mutex
    protectme int
)

func getme() int {
    mu.lock()
    me := protectme
    mu.unlock()
    return me
}

func setme(me int) {
    mu.lock()
    protectme = me
    mu.unlock()
}

上述解决方案可以在几个方面进行改进:

  • 使用 sync.RWMutex 而不是 sync.Mutex,这样 getme() 可能会锁定只读,这样多个并发读取器就不会互相阻塞。

  • (成功)锁定后,建议使用 defer 解锁,因此如果后续代码中发生问题(例如运行时恐慌),互斥锁仍将被解锁,避免资源泄漏和死锁。虽然这个例子很简单,但不会发生什么不好的事情,并且不能保证无条件使用延迟解锁。

  • 最好的做法是让互斥锁靠近它应该保护的数据。因此,将 protectme 及其 mu “包装”在结构中是一个好主意。如果我们这样做,我们还可以使用嵌入,因此锁定/解锁变得更加方便(除非不得公开此功能)。详情见When do you embed mutex in struct in Go?

因此,上述示例的改进版本可能如下所示(在 Go Playground 上尝试一下):

type me struct {
    sync.rwmutex
    me int
}

func (m *me) get() int {
    m.rlock()
    defer m.runlock()
    return m.me
}

func (m *me) set(me int) {
    m.lock()
    m.me = me
    m.unlock()
}

var me = &me{}

func main() {
    me.set(2)
    fmt.println(me.get())
}

此解决方案还有另一个优点:如果您需要 me 的多个值,它将自动为每个值提供不同的、单独的互斥体(我们最初的解决方案需要为每个新值手动创建单独的互斥体)。

虽然这个例子是正确且有效的,但可能不实用。因为保护单个整数并不真正需要互斥体。我们可以使用 sync/atomic 包实现相同的目的:

var protectMe int32

func getMe() int32 {
    return atomic.LoadInt32(&protectMe)
}

func setMe(me int32) {
    atomic.StoreInt32(&protectMe, me)
}

这个解决方案更短、更干净、更快。如果您的目标只是保护单个值,则首选此解决方案。如果您应该保护的数据结构更复杂,则 atomic 甚至可能不可行,并且使用互斥体可能是合理的。

现在,在展示了共享/保护变量的示例之后,我们还应该举例说明我们应该实现什么目标,以实现“不要通过共享内存进行通信;相反,通过通信来共享内存。”

嗯>

情况是你有多个并发的 goroutine,并且你使用一个变量来存储一些状态。一个 goroutine 更改(设置)状态,另一个 goroutine 读取(获取)状态。要从多个 goroutine 访问此状态,必须同步访问。

我们的想法是不要有像这样的“共享”变量,而是一个 goroutine 设置的状态,它应该“发送”它,而另一个 goroutine 会读取它应该是状态被“发送到”的那个 goroutine(或者换句话说,另一个 goroutine 应该接收更改后的状态)。因此,两个 goroutine 之间不存在共享状态变量,而是进行通信。 go 为这种“协程间”通信提供了出色的支持:channels。语言内置了对通道的支持,有 send statementsreceive operators 和其他支持(例如,您可以 loop over 在通道上发送的值)。有关介绍和详细信息,请查看此答案:What are channels used for?

让我们看一个实际/现实生活中的例子:“经纪人”。代理是“客户端”(goroutine)可以订阅以接收消息/更新的实体,并且代理能够向订阅的客户端广播消息。在一个系统中,有大量客户端可能随时订阅/取消订阅,并且可能需要随时广播消息,以安全的方式同步所有这些将是复杂的。明智地使用通道,这个代理实现相当干净和简单。请允许我不要重复代码,但您可以在这个答案中检查它:How to broadcast message using channel。该实现对于并发使用是完全安全的,支持“无限”客户端,并且不使用单个互斥体或共享变量,仅使用通道。

另请参阅相关问题:

Reading values from a different thread

理论要掌握,实操不能落!以上关于《确保变量线程安全的方法》的详细介绍,大家都掌握了吧!如果想要继续提升自己的能力,那么就来关注golang学习网公众号吧!

版本声明
本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
有效解决PHP数据库信息乱码问题的技巧有效解决PHP数据库信息乱码问题的技巧
上一篇
有效解决PHP数据库信息乱码问题的技巧
谷歌最新视频编码器VideoPrism以全新性能推出,30项SOTA纪录再次被刷新
下一篇
谷歌最新视频编码器VideoPrism以全新性能推出,30项SOTA纪录再次被刷新
查看更多
最新文章
查看更多
课程推荐
  • 前端进阶之JavaScript设计模式
    前端进阶之JavaScript设计模式
    设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
    542次学习
  • GO语言核心编程课程
    GO语言核心编程课程
    本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
    508次学习
  • 简单聊聊mysql8与网络通信
    简单聊聊mysql8与网络通信
    如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
    497次学习
  • JavaScript正则表达式基础与实战
    JavaScript正则表达式基础与实战
    在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
    487次学习
  • 从零制作响应式网站—Grid布局
    从零制作响应式网站—Grid布局
    本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
    484次学习
查看更多
AI推荐
  • SEO标题魔匠AI:高质量学术写作平台,毕业论文生成与优化专家
    魔匠AI
    SEO摘要魔匠AI专注于高质量AI学术写作,已稳定运行6年。提供无限改稿、选题优化、大纲生成、多语言支持、真实参考文献、数据图表生成、查重降重等全流程服务,确保论文质量与隐私安全。适用于专科、本科、硕士学生及研究者,满足多语言学术需求。
    16次使用
  • PPTFake答辩PPT生成器:一键生成高效专业的答辩PPT
    PPTFake答辩PPT生成器
    PPTFake答辩PPT生成器,专为答辩准备设计,极致高效生成PPT与自述稿。智能解析内容,提供多样模板,数据可视化,贴心配套服务,灵活自主编辑,降低制作门槛,适用于各类答辩场景。
    30次使用
  • SEO标题Lovart AI:全球首个设计领域AI智能体,实现全链路设计自动化
    Lovart
    SEO摘要探索Lovart AI,这款专注于设计领域的AI智能体,通过多模态模型集成和智能任务拆解,实现全链路设计自动化。无论是品牌全案设计、广告与视频制作,还是文创内容创作,Lovart AI都能满足您的需求,提升设计效率,降低成本。
    32次使用
  • 美图AI抠图:行业领先的智能图像处理技术,3秒出图,精准无误
    美图AI抠图
    美图AI抠图,依托CVPR 2024竞赛亚军技术,提供顶尖的图像处理解决方案。适用于证件照、商品、毛发等多场景,支持批量处理,3秒出图,零PS基础也能轻松操作,满足个人与商业需求。
    37次使用
  • SEO标题PetGPT:智能桌面宠物程序,结合AI对话的个性化陪伴工具
    PetGPT
    SEO摘要PetGPT 是一款基于 Python 和 PyQt 开发的智能桌面宠物程序,集成了 OpenAI 的 GPT 模型,提供上下文感知对话和主动聊天功能。用户可高度自定义宠物的外观和行为,支持插件热更新和二次开发。适用于需要陪伴和效率辅助的办公族、学生及 AI 技术爱好者。
    37次使用
微信登录更方便
  • 密码登录
  • 注册账号
登录即同意 用户协议隐私政策
返回登录
  • 重置密码