一文搞明白golang底层原子级内存操作 的使用(sync atomic包)

2024-06-04 03:44

本文主要是介绍一文搞明白golang底层原子级内存操作 的使用(sync atomic包),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

        在我们的程序开发中,对于并发的处理一直都是一件很头疼的事情(Rust这种天生无并发困扰的语言除外), 在go语言中,官方也给我们提供了底层的原子级内存操作,这对于同步算法的实现是非常有用的。

atomic包使用结论

        由于这个包里面定义的一堆函数官方都不推荐使用,所以这个包里面的函数仅作为参考。我们主要搞明白类型定义和使用即可。 这个atomic包里面的类型定义看似一大推,其实归纳起来就8种,分别是 :Bool, Int32/64, Uint32/64, Pointer, Uintptr, Value ;  还有他们的方法,基本都一样,即 最多也就以下这5个方法:

  1. Add对原子数增加的一个增量数据;
  2. Store将数据存储到原子中,当这个Store被调用的时候,他的数据是不允许被拷贝的;
  3. Load从原子中加载对应的数据;
  4. Swap使用新的数据替换就的数据;
  5. CompareAndSwap比较和交换数据。

只要你搞明白了上面的5个方法的使用,这个atomic包的使用也就明白了。

原子级内存操作使用示例

以下我们就以 atomic.Int64 类型的使用为例,来说明如何使用, 其他的类型使用都是一样的,不同的类型方法多少而已,只要有的方法实用都是一样的。

直接上测试用例, 看明白这个测试用例也就明白了, 里面都有详细的注释说明。

import ("sync/atomic""testing"
)// sync atomic数据类型操作使用示例, 单元测试用例
// 其他的另外7种atomic类型的使用和这个都类似,不在赘述!
// @author tekintian <tekintian@gmail.com>
// @see https://pkg.go.dev/sync/atomic
func TestAtomicType(t *testing.T) {// int64类型的原子数,//  他对于的类型声明是 type Int64 struct {// contains filtered or unexported fields}// 这个地方我们只需要定义就可以,不需要初始化. 其他几种类型也是一样var an1 atomic.Int64// 定义了变量后,我们就可以操作他对应的5个方法了an1.Store(10)     // 把 10存入这个原子变量an1.Add(1)        // 增量加1 类似于  10+1ret := an1.Load() // Load取出结果,这里ret为 11if ret != 11 {t.Fatalf("test failed expected 10, got %d", ret)} else {t.Logf("store 10 add 1 ok, got %d", ret)}an1.Swap(100) // 使用100对原子数据进行交换, 交换后的结果为100if an1.Load() != 100 {t.Fatalf("test failed expected to be 100, got %v", an1.Load())} else {t.Logf("an1.Swap(100) ok, got %d", an1.Load())}// 比较并交换,这里会拿第一个参数的值和原子数进行比较,//  如果第一个参数的值和原子数相等,就会拿第二个参数的值对对原子数进行交换, 否则返回false,不进行交换swapped := an1.CompareAndSwap(10, 200) // 第一个参数 10 和当前原子数100比较,不会被交换if !swapped {t.Logf("atomic data not swapped, now data is %v, but param1 for compare is 10", an1.Load())} else {t.Fatalf("an1.CompareAndSwap(10, 200) fail, expected 100 got %d", an1.Load())}if an1.CompareAndSwap(100, 200) { // 会被交换// 现在原子的数据应该是 200t.Logf("atomic data swapped, now data is %v ", an1.Load())} else {t.Fatalf("atomic data swapped failed: %v", an1.Load())}/*// 单元测试结果 下面的参数 -v 表示输出测试日志 即 使用t.Log输出的内容✗ go test -run=^TestAtomicType$ -v=== RUN   TestAtomicTypetype_val_test.go:43: store 10 add 1 ok, got 11type_val_test.go:49: an1.Swap(100) ok, got 100type_val_test.go:55: atomic data not swapped, now data is 100, but param1 for compare is 10type_val_test.go:62: atomic data swapped, now data is 200--- PASS: TestAtomicType (0.00s)PASSok      atomic_demo    0.356s*/
}

另外2个官方示例就不贴了,原理都一样, 大家有兴趣的话可以自己去瞄瞄 pkg.go.dev/sync/atomic#example-Value-ReadMostly

怎么样,这个看似很神秘,其实也很简单的底层原子级内存操作是不是明白了?

atomic类型定义参考

type Bool
func (x *Bool) CompareAndSwap(old, new bool) (swapped bool)
func (x *Bool) Load() bool
func (x *Bool) Store(val bool)
func (x *Bool) Swap(new bool) (old bool)
type Int32
func (x *Int32) Add(delta int32) (new int32)
func (x *Int32) CompareAndSwap(old, new int32) (swapped bool)
func (x *Int32) Load() int32
func (x *Int32) Store(val int32)
func (x *Int32) Swap(new int32) (old int32)
type Int64
func (x *Int64) Add(delta int64) (new int64)
func (x *Int64) CompareAndSwap(old, new int64) (swapped bool)
func (x *Int64) Load() int64
func (x *Int64) Store(val int64)
func (x *Int64) Swap(new int64) (old int64)
type Pointer
func (x *Pointer[T]) CompareAndSwap(old, new *T) (swapped bool)
func (x *Pointer[T]) Load() *T
func (x *Pointer[T]) Store(val *T)
func (x *Pointer[T]) Swap(new *T) (old *T)
type Uint32
func (x *Uint32) Add(delta uint32) (new uint32)
func (x *Uint32) CompareAndSwap(old, new uint32) (swapped bool)
func (x *Uint32) Load() uint32
func (x *Uint32) Store(val uint32)
func (x *Uint32) Swap(new uint32) (old uint32)
type Uint64
func (x *Uint64) Add(delta uint64) (new uint64)
func (x *Uint64) CompareAndSwap(old, new uint64) (swapped bool)
func (x *Uint64) Load() uint64
func (x *Uint64) Store(val uint64)
func (x *Uint64) Swap(new uint64) (old uint64)
type Uintptr
func (x *Uintptr) Add(delta uintptr) (new uintptr)
func (x *Uintptr) CompareAndSwap(old, new uintptr) (swapped bool)
func (x *Uintptr) Load() uintptr
func (x *Uintptr) Store(val uintptr)
func (x *Uintptr) Swap(new uintptr) (old uintptr)
type Value
func (v *Value) CompareAndSwap(old, new any) (swapped bool)
func (v *Value) Load() (val any)
func (v *Value) Store(val any)
func (v *Value) Swap(new any) (old any)

 atomic函数的定义参考

这个看上去一大堆,其实下面这些个函数的定义官方都不建议使用! 在手册中你都能看到这样一句话“Consider using the more ergonomic and less error-prone xxx instead.”  都建议你使用更符合人体工程学的且不容易出错的 xxx 方法代替

func AddInt32(addr *int32, delta int32) (new int32)
func AddInt64(addr *int64, delta int64) (new int64)
func AddUint32(addr *uint32, delta uint32) (new uint32)
func AddUint64(addr *uint64, delta uint64) (new uint64)
func AddUintptr(addr *uintptr, delta uintptr) (new uintptr)
func CompareAndSwapInt32(addr *int32, old, new int32) (swapped bool)
func CompareAndSwapInt64(addr *int64, old, new int64) (swapped bool)
func CompareAndSwapPointer(addr *unsafe.Pointer, old, new unsafe.Pointer) (swapped bool)
func CompareAndSwapUint32(addr *uint32, old, new uint32) (swapped bool)
func CompareAndSwapUint64(addr *uint64, old, new uint64) (swapped bool)
func CompareAndSwapUintptr(addr *uintptr, old, new uintptr) (swapped bool)
func LoadInt32(addr *int32) (val int32)
func LoadInt64(addr *int64) (val int64)
func LoadPointer(addr *unsafe.Pointer) (val unsafe.Pointer)
func LoadUint32(addr *uint32) (val uint32)
func LoadUint64(addr *uint64) (val uint64)
func LoadUintptr(addr *uintptr) (val uintptr)
func StoreInt32(addr *int32, val int32)
func StoreInt64(addr *int64, val int64)
func StorePointer(addr *unsafe.Pointer, val unsafe.Pointer)
func StoreUint32(addr *uint32, val uint32)
func StoreUint64(addr *uint64, val uint64)
func StoreUintptr(addr *uintptr, val uintptr)
func SwapInt32(addr *int32, new int32) (old int32)
func SwapInt64(addr *int64, new int64) (old int64)
func SwapPointer(addr *unsafe.Pointer, new unsafe.Pointer) (old unsafe.Pointer)
func SwapUint32(addr *uint32, new uint32) (old uint32)
func SwapUint64(addr *uint64, new uint64) (old uint64)
func SwapUintptr(addr *uintptr, new uintptr) (old uintptr)

参考文档 atomic package - sync/atomic - Go Packages

这篇关于一文搞明白golang底层原子级内存操作 的使用(sync atomic包)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1028974

相关文章

C++使用栈实现括号匹配的代码详解

《C++使用栈实现括号匹配的代码详解》在编程中,括号匹配是一个常见问题,尤其是在处理数学表达式、编译器解析等任务时,栈是一种非常适合处理此类问题的数据结构,能够精确地管理括号的匹配问题,本文将通过C+... 目录引言问题描述代码讲解代码解析栈的状态表示测试总结引言在编程中,括号匹配是一个常见问题,尤其是在

Python调用Orator ORM进行数据库操作

《Python调用OratorORM进行数据库操作》OratorORM是一个功能丰富且灵活的PythonORM库,旨在简化数据库操作,它支持多种数据库并提供了简洁且直观的API,下面我们就... 目录Orator ORM 主要特点安装使用示例总结Orator ORM 是一个功能丰富且灵活的 python O

Java中String字符串使用避坑指南

《Java中String字符串使用避坑指南》Java中的String字符串是我们日常编程中用得最多的类之一,看似简单的String使用,却隐藏着不少“坑”,如果不注意,可能会导致性能问题、意外的错误容... 目录8个避坑点如下:1. 字符串的不可变性:每次修改都创建新对象2. 使用 == 比较字符串,陷阱满

Python使用国内镜像加速pip安装的方法讲解

《Python使用国内镜像加速pip安装的方法讲解》在Python开发中,pip是一个非常重要的工具,用于安装和管理Python的第三方库,然而,在国内使用pip安装依赖时,往往会因为网络问题而导致速... 目录一、pip 工具简介1. 什么是 pip?2. 什么是 -i 参数?二、国内镜像源的选择三、如何

使用C++实现链表元素的反转

《使用C++实现链表元素的反转》反转链表是链表操作中一个经典的问题,也是面试中常见的考题,本文将从思路到实现一步步地讲解如何实现链表的反转,帮助初学者理解这一操作,我们将使用C++代码演示具体实现,同... 目录问题定义思路分析代码实现带头节点的链表代码讲解其他实现方式时间和空间复杂度分析总结问题定义给定

Linux使用nload监控网络流量的方法

《Linux使用nload监控网络流量的方法》Linux中的nload命令是一个用于实时监控网络流量的工具,它提供了传入和传出流量的可视化表示,帮助用户一目了然地了解网络活动,本文给大家介绍了Linu... 目录简介安装示例用法基础用法指定网络接口限制显示特定流量类型指定刷新率设置流量速率的显示单位监控多个

JavaScript中的reduce方法执行过程、使用场景及进阶用法

《JavaScript中的reduce方法执行过程、使用场景及进阶用法》:本文主要介绍JavaScript中的reduce方法执行过程、使用场景及进阶用法的相关资料,reduce是JavaScri... 目录1. 什么是reduce2. reduce语法2.1 语法2.2 参数说明3. reduce执行过程

如何使用Java实现请求deepseek

《如何使用Java实现请求deepseek》这篇文章主要为大家详细介绍了如何使用Java实现请求deepseek功能,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录1.deepseek的api创建2.Java实现请求deepseek2.1 pom文件2.2 json转化文件2.2

python使用fastapi实现多语言国际化的操作指南

《python使用fastapi实现多语言国际化的操作指南》本文介绍了使用Python和FastAPI实现多语言国际化的操作指南,包括多语言架构技术栈、翻译管理、前端本地化、语言切换机制以及常见陷阱和... 目录多语言国际化实现指南项目多语言架构技术栈目录结构翻译工作流1. 翻译数据存储2. 翻译生成脚本

C++ Primer 多维数组的使用

《C++Primer多维数组的使用》本文主要介绍了多维数组在C++语言中的定义、初始化、下标引用以及使用范围for语句处理多维数组的方法,具有一定的参考价值,感兴趣的可以了解一下... 目录多维数组多维数组的初始化多维数组的下标引用使用范围for语句处理多维数组指针和多维数组多维数组严格来说,C++语言没