0

0

Golang并发程序的内存可见性说明

P粉602998670

P粉602998670

发布时间:2026-01-05 13:51:08

|

368人浏览过

|

来源于php中文网

原创

go中不存在独立的“内存可见性”概念,其并发问题本质是data race;应使用sync.mutex或sync.rwmutex保护共享变量,或通过channel通信传递副本,避免共享内存;sync/atomic仅适用于基础类型原子操作,且无法保证多变量协同状态一致性。

golang并发程序的内存可见性说明

Go 中没有“内存可见性”这个独立概念

Go 语言规范不定义类似 Java 的 happens-before 模型,也不提供 volatile 关键字。所谓“并发内存可见性问题”,在 Go 中本质是 data race —— 即多个 goroutine 同时读写同一变量且无同步约束。Go 的 go run -race 工具能检测它,但不会帮你“修复可见性”,只会报错。

用 sync.Mutex 或 sync.RWMutex 保护共享变量

这是最直接、最不容易出错的方案。只要所有读写都经由同一把锁保护,就天然满足顺序一致性语义,不存在“写完读不到”的情况。

  • 不要只在写操作加锁、读操作裸奔 —— 这仍是 data race
  • 避免锁粒度过大(如整个函数体加锁),但更不能为了性能漏锁关键字段
  • sync.RWMutex 在读多写少场景下可提升吞吐,但注意 RUnlock() 必须配对,否则会死锁
var mu sync.RWMutex
var counter int

func Inc() {
    mu.Lock()
    counter++
    mu.Unlock()
}

func Get() int {
    mu.RLock()
    defer mu.RUnlock()
    return counter
}

channel 是首选的通信方式,不是共享内存的替代品

Go 的哲学是 “Don’t communicate by sharing memory; share memory by communicating”。用 channel 传递值,本质上是复制而非共享,天然规避可见性与竞争问题。

佳蓝在线销售系统(创业版) 佳蓝在线销售
佳蓝在线销售系统(创业版) 佳蓝在线销售

1、对ASP内核代码进行DLL封装,从而大大提高了用户的访问速度和安全性;2、采用后台生成HTML网页的格式,使程序访问速度得到进一步的提升;3、用户可发展下级会员并在下级购买商品时获得差额利润;4、全新模板选择功能;5、后台增加磁盘绑定功能;6、后台增加库存查询功能;7、后台增加财务统计功能;8、后台面值类型批量设定;9、后台财务曲线报表显示;10、完善订单功能;11、对所有传输的字符串进行安全

下载
  • 向 channel 发送一个 int,接收方拿到的是副本,和发送方的原始变量无关
  • 不要用 channel 传递指针并期望在接收端修改原变量 —— 这又回到了共享内存的老路
  • 无缓冲 channel 的 send/receive 操作本身构成同步点,隐含 happens-before 关系

sync/atomic 仅适用于基础类型且需严格对齐

sync/atomic 提供原子读写,但仅支持 int32int64uint32uint64uintptrunsafe.Pointer 和若干指针类型。它不保证其他字段的可见性,也不能用于 struct 字段级原子操作。

立即学习go语言免费学习笔记(深入)”;

  • 32 位系统上 int64 原子操作要求 8 字节对齐,否则 panic(panic: runtime error: invalid memory address or nil pointer dereference
  • 不要混用 atomic.StoreInt64() 和普通赋值 —— 后者不提供原子性也不触发内存屏障
  • atomic.LoadUint64() 读到的一定是某次 atomic.StoreUint64() 写入的完整值,但不保证“最新”—— 它只是原子,不是自动刷新缓存

真正容易被忽略的是:即使用了 atomic,若逻辑上依赖多个变量的协同状态(比如 status + data),单靠 atomic 无法保证它们的组合状态一致 —— 这时候必须回到 mutex 或重新设计数据流。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang如何定义变量
golang如何定义变量

golang定义变量的方法:1、声明变量并赋予初始值“var age int =值”;2、声明变量但不赋初始值“var age int”;3、使用短变量声明“age :=值”等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

210

2024.02.23

golang有哪些数据转换方法
golang有哪些数据转换方法

golang数据转换方法:1、类型转换操作符;2、类型断言;3、字符串和数字之间的转换;4、JSON序列化和反序列化;5、使用标准库进行数据转换;6、使用第三方库进行数据转换;7、自定义数据转换函数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

247

2024.02.23

golang常用库有哪些
golang常用库有哪些

golang常用库有:1、标准库;2、字符串处理库;3、网络库;4、加密库;5、压缩库;6、xml和json解析库;7、日期和时间库;8、数据库操作库;9、文件操作库;10、图像处理库。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

356

2024.02.23

golang和python的区别是什么
golang和python的区别是什么

golang和python的区别是:1、golang是一种编译型语言,而python是一种解释型语言;2、golang天生支持并发编程,而python对并发与并行的支持相对较弱等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

214

2024.03.05

golang是免费的吗
golang是免费的吗

golang是免费的。golang是google开发的一种静态强类型、编译型、并发型,并具有垃圾回收功能的开源编程语言,采用bsd开源协议。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

409

2024.05.21

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

490

2025.06.09

golang相关判断方法
golang相关判断方法

本专题整合了golang相关判断方法,想了解更详细的相关内容,请阅读下面的文章。

200

2025.06.10

golang数组使用方法
golang数组使用方法

本专题整合了golang数组用法,想了解更多的相关内容,请阅读专题下面的文章。

1438

2025.06.17

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

3

2026.03.11

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Kotlin 教程
Kotlin 教程

共23课时 | 4.3万人学习

C# 教程
C# 教程

共94课时 | 11.1万人学习

Java 教程
Java 教程

共578课时 | 80.6万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号