一、sync 包简介

在并发编程中,为了解决竞争条件问题,Go 语言提供了 sync 标准包,它提供了基本的同步原语,例如互斥锁、读写锁等。

sync 包使用建议:

除了 Once 和 WaitGroup 类型之外,大多数类型旨在供低级库程序使用。更高级别的同步最好用 channel 通道和通信来完成。

sync 包中类型:

  • sync.Mutex 互斥锁
  • sync.RWMutex 读写锁
  • sync.WaitGroup 等待组(等待一组 goroutine 完成)
  • sync.Map 并发 Map
  • sync.Once 执行一次
  • sync.Pool 对象池
  • sync.Cond 条件变量

此外,sync 下还有一个包 atomic, 它提供了对数据的原子操作。

另外,Go 的扩展包也提供了信号量这种同步原语:

  • x/sync/semaphore

二、sync.Mutex 互斥锁

sync.Mutex 是一个互斥锁,它的作用就是保护临界区,确保同一时间只有一个 Go 协程进入临界区。

什么是临界区?为什么有临界区?

在并发编程中,有一部分程序被并发访问,这个访问可能是多个协程/线程修改这部分程序数据,这样的操作会导致意想不到的结果,为了不让操作导致意外结果,怎么办?就需要把这部分程序保护起来,一次只允许一个协程/线程访问这部分区域。需要被保护的这部分程序区域就叫临界区。

防止多个协程/线程同时进入临界区,修改程序数据。

互斥锁就是一种可以保护临界区资源方式。

互斥锁其实是一种最特殊的信号量,这个"量"只有 0 和 1,所以也叫互斥量。互斥量的值为 0 和 1,用来表示加锁和解锁。互斥锁是一种独占锁,即同一时间只能有一个协程持有锁,其他协程必须等待。

互斥锁使得同一时刻只有一个协程执行某段程序,其他协程等待该协程执行完在抢锁后执行。

如上图所示:g1 用互斥锁保护临界区,g2 在中间尝试获取锁失败,g1 离开临界区释放锁,g2 获取到锁然后进行相应操作,操作完后释放锁离开临界区。

第一次使用后不得复制 Mutex。

互斥锁使用:

  • 互斥锁有两个方法 Lock() 加锁和 Unlock() 解锁,他们是成对出现。当一个协程对资源上锁后,其他协程只能等待该协程解锁之后,才能再次上锁。
  • 它还有一个 TryLock(),go1.18 之后添加的。
    • 当一个 goroutine 调用此方法试图获取锁时,如果这把锁没有被其他 goroutine 持有,那么这个 goroutine 获取锁并返回 true;
    • 如果这把锁已经被其它 goroutine 持有,或正准备给某个唤醒的 gorouine,那么请求锁的 goroutine 直接返回 false,不会阻塞在方法调用上。
Lock()
代码段(临界区)
Unlock()

为了防止上锁后忘记释放锁,实际使用中用 defer 来释放锁。

例子:

package main

import (
"fmt"
"sync"
"time"
) func main() {
var a = 0 var lock sync.Mutex
for i := 0; i < 100; i++ { // 并发 100 个goroutine
go func(id int) {
lock.Lock()
defer lock.Unlock()
a += 1
fmt.Printf("goroutine %d, a=%d\n", id, a)
}(i)
} time.Sleep(time.Second) //等待1秒, 确保所有的协程执行完
}

三、sync.RWMutex 读写锁

sync.RWMutex 读写锁,对数据操进加锁进一步细分,针对读操作和写操作分别进行加锁和解锁。

在读写锁下,读操作和读操作之间不互斥,多个写操作是互斥,读操作和写操作也是互斥。

  • 当一个 goroutine 获取读锁之后,其它的 goroutine 此时想获取读锁,那么可以继续获取锁,不用等待解锁;此时想获取写锁,就会阻塞等待直到读解锁;
  • 当一个 goroutine 获取写锁之后,其它的 goroutine 无论是获取读锁还是写锁,都会阻塞等待。

读写锁的好处:

多个读之间不互斥,读锁就可以降低对数据读取加互斥锁的性能损耗。而不像互斥锁那样对所有的数据操作,不管是读还是写,同等对待,都加一把大锁处理。

在读多写少的场景下,更适合用读写锁。

RWMutex 读写锁的方法:

  • Mutex 的加锁和解锁:Lock() 和 Unlock()
  • 只读加锁和加锁:RLock() 和 RUnlock()
    • RLock() 加读锁时如果存在写锁,则不能加锁;当只有读锁或无锁时,可以加读锁,且读锁可以加载多个。
    • RUnlock() 解读锁。没有读锁情况下调用 RUlock() 会导致 panic。

释放锁用 defer 来释放锁

// 使用 RWMutex 的伪码,当然正式代码不会这样写,会用 defer 释放锁
mutex := sync.RWMutex{} mutex.Lock()
// 操作的资源
mutex.Unlock() mutex.RLock()
// 读的资源
mutex.RUlock()

例子:

package main

import (
"fmt"
"sync"
"time"
) var sum = 0
var rwMutex sync.RWMutex func main() {
// 并发写
for i := 1; i <= 50; i++ {
go writeSum()
} // 并发读
for i := 1; i <= 20; i++ {
go fmt.Println("readSum: ", readSum())
} time.Sleep(time.Second * 2) // 防止主程序退出,子协程还没运行完
fmt.Println("end sum: ", sum)
} func writeSum() {
rwMutex.Lock() // 读写锁
defer rwMutex.Unlock() // 释放锁
sum += 1
} func readSum() int {
rwMutex.RLock() // 读写锁加读锁
defer rwMutex.RUnlock() // 释放读锁
return sum
}

四、sync.WaitGroup 等待组

sync.WaitGroup,等待一组或多个 goroutine 执行完成。

WaitGroup 内部有一个安全的计数器,它调用 Add(n int) 方法把计数器 +n;使用 Done() 方法,将计数器减 1,Done() 的底层是调用 Add(-1);调用 Wait() 方法等待所有的 goroutine 执行完,即计数器为 0,Wait() 就返回。

WaitGroup 详细原理,可以看我前面的文章:sync.WaitGroup源码分析

  • WaitGroup 里的方法:
  • Add(n),设置要等待的子 goroutine 数量,n 表示要等待数量
  • Done(),子 goroutine 执行完后,计数器减一
  • Wait(),阻塞等待所有子 goroutine 执行完

例子:

package main

import (
"fmt"
"sync"
) func main() {
var wg sync.WaitGroup wg.Add(2) go func() {
defer wg.Done()
fmt.Println("子 goroutine1")
}() go func() {
defer wg.Done()
fmt.Println("子 goroutine2")
}() wg.Wait() // 等待所有的子goroutine结束 fmt.Println("程序运行结束")
}

五、sync.Map 并发Map

在 Go 语言中,内置数据结构 map 并不是并发安全的,所以官方就出了一个 sync.Map。

希望了解 sync.Map 的原理,可以看这篇文章:深入理解Go语言(05):sync.map原理分析

sync.Map 里的常用方法:

go v1.20.1

  • Store(key, value any),设置键的值
  • Load(key any) (value any, ok bool),获取值
  • Delete(key any),根据 key 删除值
  • LoadAndDelete(key any) (value any, loaded bool),根据 key 删除值,返回以前的值如果还存在
  • LoadOrStore(key, value any)(actual any, loaded bool),先根据 key 查找 value,如果找到则返回原来的值,loaded 为 true;如果没有找到 key 对应的 value 值,则存在 key,value 值并将存储值返回,loaded 为 false
  • Range(f func(key, value any) bool),遍历 sync.Map 的元素

更多方法请查看:https://pkg.go.dev/sync#Map

例子:

package main

import (
"fmt"
"sync"
) func main() {
var syncmap sync.Map syncmap.Store("li", 12)
syncmap.Store("han", "lu")
syncmap.Store("mei", 34) fmt.Println(syncmap.Load("han")) // key 不存在
val, ok := syncmap.LoadOrStore("lei", "lei")
fmt.Println(val, ok)
// key 存在
val, ok = syncmap.LoadOrStore("han", "cunzai")
fmt.Println(val, ok) syncmap.Delete("mei") syncmap.Range(func(k, v any) bool {
fmt.Println("k-v: ", k, v)
return true
})
}

参考

Go语言并发编程(3):sync包介绍和使用(上)-Mutex,RWMutex,WaitGroup,sync.Map的更多相关文章

  1. 并发编程--Concurrent-工具类介绍

    并发编程--Concurrent-工具类介绍 并发编程--Concurrent-工具类介绍 CountDownLatch CylicBarrier Semaphore Condition 对象监视器下 ...

  2. Go语言 并发编程

    Go语言 并发编程 作者:Eric 微信:loveoracle11g 1.创建goroutine // 并行 是两个队列同时使用两台咖啡机 // 并发 是两个队列交替使用一台咖啡机 package m ...

  3. 融云开发漫谈:你是否了解Go语言并发编程的第一要义?

    2007年诞生的Go语言,凭借其近C的执行性能和近解析型语言的开发效率,以及近乎完美的编译速度,席卷全球.Go语言相关书籍也如雨后春笋般涌现,前不久,一本名为<Go语言并发之道>的书籍被翻 ...

  4. Go语言并发编程总结

    转自:http://blog.csdn.net/yue7603835/article/details/44309409 Golang :不要通过共享内存来通信,而应该通过通信来共享内存.这句风靡在Go ...

  5. go语言并发编程

    引言 说到go语言最厉害的是什么就不得不提到并发,并发是什么?,与并发相关的并行又是什么? 并发:同一时间段内执行多个任务 并行:同一时刻执行多个任务 进程.线程与协程 进程: 进程是具有一定独立功能 ...

  6. Go语言并发编程示例 分享(含有源代码)

    GO语言并发示例分享: ppt http://files.cnblogs.com/files/yuhan-TB/GO%E8%AF%AD%E8%A8%80.pptx 代码, 实际就是<<Go ...

  7. Java 面试宝典!并发编程 71 道题及答案全送上!

    金九银十跳槽季已经开始,作为 Java 开发者你开始刷面试题了吗?别急,我整理了71道并发相关的面试题,看这一文就够了! 1.在java中守护线程和本地线程区别? java中的线程分为两种:守护线程( ...

  8. JUC并发编程与高性能内存队列disruptor实战-上

    JUC并发实战 Synchonized与Lock 区别 Synchronized是Java的关键字,由JVM层面实现的,Lock是一个接口,有实现类,由JDK实现. Synchronized无法获取锁 ...

  9. Java并发编程-volatile可见性的介绍

    要学习好Java的多线程,就一定得对volatile关键字的作用机制了熟于胸.最近博主看了大量关于volatile的相关博客,对其有了一点初步的理解和认识,下面通过自己的话叙述整理一遍. 有什么用? ...

  10. 【并发编程】Executor架构介绍

    要点总结 Executor表示的任务类型 主要有3种: Runnable: 无返回值,无异常抛出: Callable:有返回值,可以异常抛出: Future任务: 表示异步计算,可取消: 通过newT ...

随机推荐

  1. [转帖]VMware常用软件ISO下载汇总(2023年6月更新)

    https://www.dinghui.org/vmware-iso-download.html#vcsa-patch 请访问 www.dinghui.org 获得最新版,文章将持续更新.[最后更新时 ...

  2. Linux平台下面部署node npm 等工具软件

    公司这边用到了运行时定制, 用的是angular 开发的. 所以需要在linux 里面安装 angular的相关工具. 需要在服务器上面有angular nodejs 还有jit的工具 然后 运行时定 ...

  3. 一台不容错过的Java单元测试代码“永动机”

    作者:京东零售 陈志良 作为一名京东的软件匠人,我们开发的软件支撑着数亿的用户,责任是重大的,因此我们深深地敬畏每一行代码,那如何将我们的失误降到最低呢?那就是单元测试,它会让我们树立对代码的自信心. ...

  4. canvas实现添加水印

    canvas添加水印思路 1.在画布上写上水印的名称(时间加上用户名) 2.canvas转化为base64,作为body的背景色 3.优化倾斜度和透明度 4.如果用户去除body的style水印消失 ...

  5. VS2013未能正确加载microsoft.visualstudio.editor.implementation.editorpackage

    在用VS2013做项目,但是特别不顺利,这不,VS2013突然罢工了,连解决方案都打不开了,会出现如下的错误: 试了网上的各种解决方案,总算找到一个适合自己的,具体方法如下: 1.打开VS2013的& ...

  6. 数组 vs. 切片

    在Go编程语言中处理数据时,经常会遇到数组和切片.这两者是不同的数据结构,有各自的特性和用途.本文将对Go中的数组和切片进行比较,以帮助大家更好地理解它们. 1. 长度不同 一个主要的区别是长度.在G ...

  7. python处理Excel实现自动化办公教学(数据筛选、公式操作、单元格拆分合并、冻结窗口、图表绘制等)【三】

    相关文章: python处理Excel实现自动化办公教学(含实战)[一] python处理Excel实现自动化办公教学(含实战)[二] python处理Excel实现自动化办公教学(数据筛选.公式操作 ...

  8. 8.6 C++ 泛型化编程态

    C/C++语言是一种通用的编程语言,具有高效.灵活和可移植等特点.C语言主要用于系统编程,如操作系统.编译器.数据库等:C语言是C语言的扩展,增加了面向对象编程的特性,适用于大型软件系统.图形用户界面 ...

  9. 5.14 汇编语言:仿写Switch选择结构

    选择结构,也称为switch语句,是计算机编程中的一种控制结构,用于根据表达式的值选择不同的执行路径.它允许程序根据表达式的值来决定执行哪个代码块,从而实现多分支选择逻辑.switch语句由一个表达式 ...

  10. 7.5 C/C++ 实现链表队列

    链表队列是一种基于链表实现的队列,相比于顺序队列而言,链表队列不需要预先申请固定大小的内存空间,可以根据需要动态申请和释放内存.在链表队列中,每个节点包含一个数据元素和一个指向下一个节点的指针,头节点 ...