初识Golang Mutex互斥锁的使用

更新时间：2022年10月08日 15:40:44 作者：漫漫Coding路

在学习操作系统的时候，我们应该都学习过临界区、互斥锁这些概念，用于在并发环境下保证状态的正确性。在 Go语言里面互斥锁是 sync.Mutex ，我们本篇文章就来学习下为什么要使用互斥锁、如何使用互斥锁，以及使用时的常见问题

前言

在学习操作系统的时候，我们应该都学习过临界区、互斥锁这些概念，用于在并发环境下保证状态的正确性。比如在秒杀时，100 个用户同时抢 10 个电脑，为了避免少卖或者超卖，就需要使用锁来进行并发控制。在 Go语言里面互斥锁是 sync.Mutex ，我们本篇文章就来学习下为什么要使用互斥锁、如何使用互斥锁，以及使用时的常见问题。

为什么要使用互斥锁

我们来看一个示例：我们起了 10000 个协程将变量 num 加1，因此肯定会存在并发，如果我们不控制并发，10000 个协程都执行完后，该变量的值很大概率不等于 10000。

那么为什么会出现这个问题呢，原因是 num++ 不是原子操作，它会先读取变量 num 当前值，然后对这个值 加1，再把结果保存到 num 中。例如 10 个 goroutine 同时运行到 num++ 这一行，可能同时读取 num=1000，都加1后再保存， num=1001，这就与想要的结果不符。

package main

import (
 "fmt"
 "sync"
)

func main() {
 num := 0

 var wg sync.WaitGroup
 threadCount := 10000
 wg.Add(threadCount)
  
 for i := 0; i < threadCount; i++ {
  go func() {
   defer wg.Done()
   num++
  }()
 }
  
 wg.Wait() // 等待 10000 个协程都执行完
  fmt.Println(num) // 9388(每次都可能不一样)

}

我们如果使用了互斥锁，可以保证每次进入临界区的只有一个 goroutine，一个 goroutine 执行完后，另一个 goroutine 才能进入临界区执行，最终就实现了并发控制。

并发获取锁示意图

package main

import (
 "fmt"
 "sync"
)

func main() {
 num := 0
 var mutex sync.Mutex  // 互斥锁

 var wg sync.WaitGroup
 threadCount := 10000
 wg.Add(threadCount)
 for i := 0; i < threadCount; i++ {
  go func() {
   defer wg.Done()
   
   mutex.Lock() // 加锁
   num++ // 临界区
   mutex.Unlock() // 解锁
   
  }()
 }

 wg.Wait()
 fmt.Println(num) // 10000

}

如何使用互斥锁

Mutex 保持 Go 一贯的简洁风格，开箱即用，声明一个变量默认是没有加锁的，加锁使用 Lock() 方法，解锁使用 Unlock() 方法。

使用方式一：直接声明使用

这个在上例中已经体现了，直接看上面的例子就好

使用方式二：封装在其他结构体中

我们可以将 Mutex 封装在 struct 中，封装成线程安全的函数供外部调用。比如我们封装了一个线程安全的计数器，调用 Add() 就加一，调用Count() 返回计数器的值。

package main

import (
 "fmt"
 "sync"
)


type Counter struct {
 num   int
 mutex sync.Mutex
}

// 加一操作，涉及到临界区 num，加锁解锁
func (counter *Counter) Add() {
 counter.mutex.Lock()
 defer counter.mutex.Unlock()
 counter.num++
}

// 返回数量，涉及到临界区 num，加锁解锁
func (counter *Counter) Count() int {
 counter.mutex.Lock()
 defer counter.mutex.Unlock()
 return counter.num
}

func main() {
 threadCount := 10000
  
 var counter Counter
 var wg sync.WaitGroup
 
 wg.Add(threadCount)
 for i := 0; i < threadCount; i++ {
  go func() {
   defer wg.Done()
   counter.Add()
  }()
 }

 wg.Wait() // 等待所有 goroutine 都执行完
 fmt.Println(counter.Count()) // 10000

}

在 Go 中，map 结构是不支持并发的，如果并发读写就会 panic

// 运行会 panic，提示 fatal error: concurrent map writes
func main() {
 m := make(map[string]string)
 var wait sync.WaitGroup
 wait.Add(1000)

 for i := 0; i < 1000; i++ {
  item := fmt.Sprintf("%d", i)
  go func() {
   wait.Done()
   m[item] = item
  }()
 }
 wait.Wait()
}

基于 Mutex ，我们可以实现一个线程安全的 map：

import (
 "fmt"
 "sync"
)

type ConcurrentMap struct {
 mutex sync.Mutex
 items map[string]interface{}
}

func (c *ConcurrentMap) Add(key string, value interface{}) {
 c.mutex.Lock()
 defer c.mutex.Unlock()
 c.items[key] = value
}

func (c *ConcurrentMap) Remove(key string) {
 c.mutex.Lock()
 defer c.mutex.Unlock()
 delete(c.items, key)
}
func (c *ConcurrentMap) Get(key string) interface{} {
 c.mutex.Lock()
 defer c.mutex.Unlock()
 return c.items[key]
}

func NewConcurrentMap() ConcurrentMap {
 return ConcurrentMap{
  items: make(map[string]interface{}),
 }
}

func main() {
 m := NewConcurrentMap()
 var wait sync.WaitGroup
 wait.Add(1000)

 for i := 0; i < 1000; i++ {
  item := fmt.Sprintf("%d", i)
  go func() {
   wait.Done()
   m.Add(item, item)
  }()
 }
 wait.Wait()
 fmt.Println(m.Get("100")) // 100
}

当然，基于互斥锁 Mutex 实现的线程安全 map 并不是性能最好的，基于读写锁 sync.RWMutex 和分片可以实现性能更好的、线程安全的 map，开发中比较常用的并发安全 map 是 orcaman / concurrent-map（https://github.com/orcaman/concurrent-map）。

互斥锁的常见问题

从上面可以看出，Mutex 的使用过程方法比较简单，但还是有几点需要注意：

1.Mutex是可以在 goroutine A 中加锁，在 goroutine B 中解锁的，但是在实际使用中，尽量保证在同一个 goroutine 中加解锁。比如 goroutine A 申请到了锁，在处理临界区资源的时候，goroutine B 把锁释放了，但是 A 以为自己还持有锁，会继续处理临界区资源，就可能会出现问题。

2.Mutex的加锁解锁基本都是成对出现，为了解决忘记解锁，可以使用 defer 语句，在加锁后直接 defer mutex.Unlock()；但是如果处理完临界区资源后还有很多耗时操作，为了尽早释放锁，不建议使用 defer，而是在处理完临界区资源后就调用 mutex.Unlock() 尽早释放锁。

// 逻辑复杂，可能会忘记释放锁
func main() {
 var mutex sync.Mutex
 mutex.Lock()

 if *** {
  if *** {
   // 处理临界区资源
   mutex.Unlock()
   return
  }
  // 处理临界区资源
  mutex.Unlock()
  return
 }

 // 处理临界区资源
 mutex.Unlock()
 return
}


// 避免逻辑复杂忘记释放锁，使用 defer语句，成对出现
func main() {
 var mutex sync.Mutex
 mutex.Lock()
 defer mutex.Unlock()

 if *** {
  if *** {
   // 处理临界区资源
   return
  }
  // 处理临界区资源
  return
 }

 // 处理临界区资源
 return
}

3.Mutex 不能复制使用

Mutex 是有状态的，比如我们对一个 Mutex 加锁后，再进行复制操作，会把当前的加锁状态也给复制过去，基于加锁的 Mutex 再加锁肯定不会成功。进行复制操作可能听起来是一个比较低级的错误，但是无意间可能就会犯这种错误。

package main

import (
 "fmt"
 "sync"
)

type Counter struct {
 mutex sync.Mutex
 num   int
}

func SomeFunc(c Counter) {
 c.mutex.Lock()
 defer c.mutex.Unlock()
 c.num--
}

func main() {
 var counter Counter
 counter.mutex.Lock()
 defer counter.mutex.Unlock()

 counter.num++
 // Go都是值传递，这里复制了 counter，此时 counter.mutex 是加锁状态，在 SomeFunc 无法再次加锁，就会一直等待
 SomeFunc(counter)

}

以上就是初识Golang Mutex互斥锁的使用的详细内容，更多关于Golang Mutex互斥锁的资料请关注脚本之家其它相关文章！

您可能感兴趣的文章:

深入浅出Go语言：手把手教你高效生成与解析JSON数据
本文将带你一步步走进Go语言的世界,教你如何高效生成与解析JSON数据,无论你是初学者还是经验丰富的开发者,都能在本文中找到实用的技巧和灵感,本文内容简洁明了,示例丰富,让你在阅读的过程中轻松掌握Go语言生成与解析JSON数据的技巧,需要的朋友可以参考下
2024-02-02
golang开发go包依赖管理godep使用教程
这篇文章主要为大家介绍了golang开发go包依赖管理godep使用教程详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步
2021-11-11
Go Java算法之单词规律示例详解
这篇文章主要为大家介绍了Go Java算法之单词规律示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2022-08-08
Go语言配置解析库viper的使用指南
viper 配置管理解析库，是由大神 Steve Francia 开发，本文就来和大家详细讲讲它的具体使用，文中的示例代码讲解详细，需要的可以收藏一下
2023-06-06
xorm根据数据库生成go model文件的操作
这篇文章主要介绍了xorm根据数据库生成go model文件的操作，具有很好的参考价值，希望对大家有所帮助。一起跟随小编过来看看吧
2020-12-12
详解Go开发Struct转换成map两种方式比较
本篇文章主要介绍了详解Go开发Struct转换成map两种方式比较，小编觉得挺不错的，现在分享给大家，也给大家做个参考。一起跟随小编过来看看吧
2018-07-07
Golang使用Docker进行集成测试的示例详解
集成测试需要解决外部依赖问题，如 MySQL、Redis、网络等依赖，本文就来聊聊 Go 程序如何使用 Docker 来解决集成测试中外部依赖问题吧
2023-07-07
go语言import报错处理图文详解
今天本来想尝试一下go语言中公有和私有的方法,结果import其他包的时候直接报错了,下面这篇文章主要给大家介绍了关于go语言import报错处理的相关资料,需要的朋友可以参考下
2023-04-04
go语言LeetCode题解999可以被一步捕获的棋子数
这篇文章主要为大家介绍了go语言LeetCode题解999可以被一步捕获的棋子数示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
2022-12-12
golang配置文件解析器之goconfig框架的使用详解
goconfig是一个易于使用,支持注释的 Go 语言配置文件解析器,该文件的书写格式和 Windows 下的 INI 文件一样,本文主要为大家介绍了goconfig框架的具体使用,需要的可以参考下
2023-11-11