go语言中的Mutex

Golang以其并发性Goroutines而闻名。不仅是并发,还有更多。

因此,在这种情况下,我们必须确保多个goroutines不应该同时试图修改资源,从而导致冲突。

为了确保资源一次只能被一个goroutine访问,我们可以使用一个叫做sync.Mutex的东西。

This concept is called mutual exclusion, and the conventional name for the data structure that provides it is mutex. --- Go dev

无Mutex的用例

让我们有一个简单的用例来理解Mutex在goroutines中的使用。

例如,如果我们需要通过一个goroutine增加一个变量的值,并通过另一个goroutine减少同一个变量的值。

go 复制代码
package main

import (
	"fmt"
	"sync"
	"time"
)

func main() {

	const loop = 100
	var wg sync.WaitGroup
	wg.Add(loop * 2)

	// declaring a shared value
	var n int = 0

	for i := 0; i < loop; i++ {
		go func() {
			time.Sleep(time.Second / 10)
			n++
			wg.Done()
		}()
		go func() {
			time.Sleep(time.Second / 10)
			n--
			wg.Done()
		}()
	}
	wg.Wait()
	// printing the final value of n
	if n != 0 {
		fmt.Println("The Final value of n should be 0. But found ", n)
		return
	}
	fmt.Printf("\nFinal value of n is %d\n\n", n) // the final of n should be 0
}

在这个循环中,我使用了两个带有goroutines的匿名函数。一个将增加n的值,另一个将减少n的值。在最后,n的值应该是0,因为初始值是0,对于每个循环计数,我都是先增后减,所以在最后应该和初始值一样。但如果不使用Mutex,情况就不是我们所期望的那样了。

在上述输出中,我们可以看到结果不是恒定的。

我们可以使用go run命令中的-race来检测是否存在数据竞赛。

数据竞赛发生在:一个进程中的两个或多个线程同时访问同一个内存位置。

sync.Mutex

它拥有两个方法:

  • Lock
  • Unlock
    使用Lock来锁定资源,以便每次只有一个goroutine可以访问该资源。

Unlock用于解锁被锁住的资源。

使用Mutex也有同样的用例。

go 复制代码
package main

import (
	"fmt"
	"sync"
	"time"
)

func main() {

	const loop = 100
	var wg sync.WaitGroup
	wg.Add(loop * 2)

	// declaring a shared value
	var n int = 0
	var m sync.Mutex

	for i := 0; i < loop; i++ {
		go func() {
			time.Sleep(time.Second / 10)
			m.Lock() // locking the resource n
			n++
			m.Unlock() // unlocking the resource n
			wg.Done()
		}()
		go func() {
			time.Sleep(time.Second / 10)
			m.Lock() // locking the resource n
			n--
			m.Unlock() // unlocking the resource n
			wg.Done()
		}()
	}
	wg.Wait()
	// printing the final value of n
	if n != 0 {
		fmt.Println("The Final value of n should be 0. But found ", n)
		return
	}
	fmt.Printf("\nFinal value of n is %d\n\n", n) // the final of n should be 0
}

在这里,两个goroutine试图同时访问同一个资源n。但在Mutex.Lock()的帮助下,我们可以锁定该资源,这样它就只能被一个goroutine使用。

在上面的输出中,我们可以看到,输出总是0(正如我们所期望的)。

我们也可以在使用Mutex的时候检查数据竞赛。

我们可以清楚地看到,在使用Mutex时没有数据竞赛。

另外,我们可以对资源Unlock()使用defer语句,所以它将在被锁定的块的末尾被解锁。

go 复制代码
go func() {
		time.Sleep(time.Second / 10)
		m.Lock() // locking the resource n
		n--
		m.Unlock() // unlocking the resource n
		wg.Done()
}()
相关推荐
GetcharZp6 小时前
GitHub 49K+ Star!C++ 开发者必知的 JSON 神级库:从零到精通全指北
后端
fqbqrr6 小时前
2606C++,C++构的多态
开发语言·c++
xujinwei_gingko6 小时前
SpringBoot整合WebSocket
spring boot·后端·websocket
智码看视界6 小时前
现代Web开发基础:全栈工程师的起航点
前端·后端·c5全栈
程序员cxuan6 小时前
Claude Fable 5 来了
人工智能·后端·程序员
biter down6 小时前
从 0 到 1 搭建 Python 接口自动化测试框架(博客系统实战)
开发语言·python
JS菌6 小时前
手写一个 AI Agent 全栈项目:从沙箱执行到子智能体的完整实现
前端·人工智能·后端
wang09077 小时前
自己动手写一个spring之IOC_2
java·后端·spring
ltl7 小时前
推理退化:为什么大模型会输出乱码、死循环和无意义文本
后端