Go语言并发安全

go语言最重要的特点就是原生支持并发————goroutine。而用到并发,就不得不考虑数据安全的问题。Go语言里有两种方式实现并发安全。

以下是go官网上对于内存模型的建议:

Advice
Programs that modify data being simultaneously accessed by multiple goroutines must serialize such access.
To serialize access, protect the data with channel operations or other synchronization primitives such as those in the sync and sync/atomic packages.
If you must read the rest of this document to understand the behavior of your program, you are being too clever. Don’t be clever.

1. sync/atomic

sync/atomic包提供了底层的原子级内存操作。该包的函数分为四个系列: Load,Store,Add,Swap,CompareAndSwap,分别用来进行整形变量的加载,保存,加减,交换和比较交换操作。
这些函数必须谨慎地保证正确使用。除了某些特殊的底层应用,使用通道或者sync包的函数/类型实现同步更好。

2. sync
2.1 什么情况下要使用锁

当可能存在以下情况:同时有多个线程访问同一段内存,且其中至少有一个线程的操作是写操作。
满足以上条件,就应该果断加锁。加锁的操作是几十纳秒级别的,开销基本可以忽略。而如果没有加锁导致数据不一致甚至crash,损失就大了。以上条件对使用atomic包依然成立。

2.2 example

sync包的锁包括互斥锁和读写互斥锁。
简单写了一个读写互斥锁的例子,需要注意的是,不仅写的时候要加锁(或使用atomic操作),读的时候也要加锁(或使用atomic操作)。

type smtx struct {
    lock  sync.RWMutex
    data  string
}

var s smtx

func write() {
    s.Lock()
    defer s.Unlock()
    s.data += "a"

}

func read() {
    s.RLock()
    defer s.RUnlock()
    fmt.Println(s.data)
}

3. channel

Go语言有一句流行的黑话:不要通过共享内存进行通信, 通过通信共享内存 (Don't communicate by sharing memory, insted share memory by communicating)。通过通信来共享内存,可以更大程度的解耦代码,提高代码的可读性和可维护性。虽然增加了一点内存开销,但是大大降低编程复杂度。
说一句题外话,微服务架构,也是利用消息队列来实现模块之间的解偶。和这句话有相通之处。
channel本质上就是通过内存队列,一次性只处理一个消息,从而实现了访问的序列化,避免了数据竞争(data race)。

很多时候,编译器会做一些神奇的优化,导致意想不到的数据冲突,所以,只要满足“同时有多个线程访问同一段内存,且其中至少有一个线程的操作是写操作”这一条件,就需要作并发安全方面的处理。
最后,推荐一篇关于数据竞争文章, 说明了,即使在所谓良性数据竞争,也可能出问题。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。

推荐阅读更多精彩内容

  • 出处---Go编程语言 欢迎来到 Go 编程语言指南。本指南涵盖了该语言的大部分重要特性 Go 语言的交互式简介,...
    Tuberose阅读 18,549评论 1 46
  • Hello World这是开发的一个开发魔咒,几乎所有人都是从这开始的,今天我也从魔咒开始先打印一份Hello W...
    cocoaAhda阅读 1,496评论 0 3
  • 1.安装 https://studygolang.com/dl 2.使用vscode编辑器安装go插件 3.go语...
    go含羞草阅读 1,622评论 0 6
  • 随着现在文化的不断发展,戒指也被人们赋予了很多不同的含义。戒指不同的佩戴方法,所蕴含的意义也是不同的。可以说戒指在...
    珠宝大课堂阅读 965评论 0 0
  • 1 楠生遇见之应的时候他跟苏沁已经同居了一年,可他仍不能自己爱上了之应。 明知道最好别见面,可他和之应在一块就什么...
    紫蘇卡卡阅读 513评论 1 5