Go协程及并发锁应用指南

概念

协程(Goroutine)是Go语言独有的并发体,是一种轻量级的线程,也被称为用户态线程。相对于传统的多线程编程,协程的优点在于更加轻量级,占用系统资源更少,切换上下文的速度更快,不需要像多线程编程一样处理锁等线程安全问题。
在这里插入图片描述

1. 协程的创建

在Go语言中,可以使用go语句来启动一个协程。go语句后面跟的是一个函数调用,即启动一个新协程去执行该函数。例如:

func main() {
    go printHello() // 启动一个goroutine去执行printHello函数
    fmt.Println("main function")
}

func printHello() {
    fmt.Println("hello goroutine")
}

在上面的代码中,printHello函数会在新的协程中执行,而不会阻塞主线程。

一、协程间的通信

在这里插入图片描述

1. Channel的定义和初始化

在Go语言中,协程之间的通信主要通过channel实现。使用make函数可以创建一个channel,其语法为:

channel_name := make(chan data_type)

其中,data_type为channel中传输数据的类型。例如,创建一个传输int类型数据的channel:

ch := make(chan int)
2. Channel的读写

Channel既可以进行发送操作,也可以进行接收操作。发送操作和接收操作都是阻塞的。

  • 发送操作:channel_name <- value
  • 接收操作:value := <-channel_name

二、并发锁的应用

在并发编程中,为了防止多个协程同时访问共享资源导致的数据竞争和不一致问题,需要使用锁机制来同步访问。Go语言提供了多种锁机制,包括互斥锁(Mutex)和读写锁(RWMutex)等。
在这里插入图片描述

1. 互斥锁(Mutex)

互斥锁是Go语言中最常用的锁机制,它确保同一时刻只有一个协程可以访问临界区。使用sync包中的Mutex类型来创建互斥锁,并通过Lock()Unlock()方法来加锁和解锁。

import "sync"

var mutex = &sync.Mutex{}

func criticalSection() {
    mutex.Lock()
    defer mutex.Unlock()
    // 临界区代码
}
2. 读写锁(RWMutex)

读写锁允许多个协程同时读取共享资源,但在有写操作时,需要互斥访问。使用sync包中的RWMutex类型来创建读写锁,通过RLock()RUnlock()Lock()Unlock()方法来分别获取读锁、释放读锁、获取写锁和释放写锁。

import "sync"

var rwlock = &sync.RWMutex{}

func read() {
    rwlock.RLock()
    defer rwlock.RUnlock()
    // 读取共享资源
}

func write() {
    rwlock.Lock()
    defer rwlock.Unlock()
    // 修改共享资源
}

三、注意事项

  1. 锁的粒度:应尽可能减少锁的持有时间,避免降低程序的性能。
  2. 避免死锁:在使用锁时,需要仔细设计锁的使用顺序,避免循环等待导致的死锁。
  3. 选择合适的锁:根据具体场景选择合适的锁机制,如读写锁在读多写少的场景下可以显著提高性能。

在这里插入图片描述

四、简单完整示例

当然,以下是一个包含Go协程、Channel以及互斥锁(Mutex)完整示例的程序。这个程序将演示如何使用协程来处理并发任务,并通过Channel进行协程间的通信,同时使用互斥锁来保护共享资源的数据一致性。

package main

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

// 假设有一个共享资源,我们需要保护它不被并发访问破坏
var (
	sharedResource int
	mutex          sync.Mutex
)

// 一个用于修改共享资源的函数,通过互斥锁保证数据一致性
func modifySharedResource(increment int) {
	mutex.Lock()
	defer mutex.Unlock()
	sharedResource += increment
	fmt.Printf("Modified sharedResource to %d\n", sharedResource)
}

// 一个使用协程的函数,它会多次修改共享资源并通过Channel发送完成信号
func worker(done chan bool, increment int) {
	for i := 0; i < 5; i++ {
		modifySharedResource(increment)
		time.Sleep(time.Millisecond * 100) // 模拟耗时操作
	}
	done <- true // 发送完成信号
}

func main() {
	done := make(chan bool, 2) // 创建一个带有缓冲的Channel,确保可以发送两个值而不会阻塞

	// 启动两个协程,每个协程都将尝试修改共享资源
	go worker(done, 10)
	go worker(done, 20)

	// 等待两个协程完成
	for i := 0; i < 2; i++ {
		<-done // 阻塞等待接收来自协程的完成信号
	}

	fmt.Println("All workers done. Final sharedResource:", sharedResource)
}

在这个示例中:

  1. 定义了一个全局的共享资源sharedResource和一个互斥锁mutex
  2. modifySharedResource函数用于修改共享资源,它首先加锁,修改完成后释放锁。
  3. worker函数是并发执行的函数,它接受一个done Channel和一个increment值作为参数。它会循环5次,每次循环都调用modifySharedResource来修改共享资源,并在每次修改后短暂睡眠以模拟耗时操作。循环结束后,它通过done Channel发送一个完成信号。
  4. main函数中,我们创建了一个done Channel和两个协程,每个协程以不同的increment值调用worker函数。
  5. 我们通过for循环和<-donedone Channel接收两次完成信号,确保两个协程都已完成工作。
  6. 最后,我们打印出最终的sharedResource值。

五、模拟错误收集示例

在Go语言中,协程(Goroutine)的错误处理通常是通过返回值、通道(Channel)或上下文(Context)来完成的。由于协程本质上是轻量级的线程,它们并不直接支持像传统线程那样的异常机制。不过,我们可以通过上述几种方式来实现错误传播和处理。

下面是一个扩展了之前示例的程序,其中增加了协程的错误处理。我们将使用通道(Channel)来传递错误和完成信号。

package main

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

// 假设的共享资源
var sharedResource int
var mutex sync.Mutex

// 模拟可能失败的操作
func modifySharedResource(increment int) error {
	mutex.Lock()
	defer mutex.Unlock()
	// 假设某种条件下操作失败
	if increment < 0 {
		return errors.New("negative increment is not allowed")
	}
	sharedResource += increment
	fmt.Printf("Modified sharedResource to %d\n", sharedResource)
	return nil
}

// worker 协程函数,现在可以返回错误
func worker(done chan bool, errChan chan error, increment int) {
	for i := 0; i < 5; i++ {
		if err := modifySharedResource(increment); err != nil {
			errChan <- err // 将错误发送到错误通道
			return
		}
		time.Sleep(time.Millisecond * 100) // 模拟耗时操作
	}
	done <- true // 发送完成信号
}

func main() {
	done := make(chan bool, 2)
	errChan := make(chan error, 2) // 创建一个用于传递错误的通道

	// 启动两个协程,一个可能遇到错误
	go worker(done, errChan, 10)
	go worker(done, errChan, -5)  // 这个将尝试一个负增量,应该失败

	// 等待协程完成或接收错误
	for i := 0; i < 2; i++ {
		select {
		case <-done:
			fmt.Println("Worker done")
		case err := <-errChan:
			fmt.Println("Error received:", err)
			// 根据需要处理错误,比如退出程序、记录日志等
			// 这里我们简单地打印错误并继续等待其他协程
		}
	}

	// 注意:在实际情况中,你可能需要一种方式来确保所有协程都已完成或都已报告错误
	// 这里为了简化,我们没有实现这样的逻辑

	fmt.Println("All workers potentially done or errors reported. Final sharedResource:", sharedResource)

	// 注意:如果某些协程可能永远不发送完成信号(比如因为死循环或无限等待),
	// 你可能需要一个超时机制或一种方式来优雅地关闭这些协程。
}

在这个示例中:

  • modifySharedResource 函数现在可以返回一个错误,如果增量是负数。
  • worker 函数现在接受一个额外的 errChan 通道,用于在发生错误时发送错误消息。如果发生错误,worker 函数将发送错误并立即返回。
  • main 函数中,我们使用了一个 select 语句来同时等待完成信号和错误。这允许我们在任何一个事件发生时都能立即响应。

请注意:这个示例并没有实现一个完美的错误处理策略,特别是如果某些协程可能永远不发送完成信号(比如因为死循环或无限等待)。在实际应用中,你可能需要实现更复杂的逻辑来确保程序的健壮性和可靠性。例如,你可以使用上下文(Context)来优雅地关闭或取消长时间运行的协程。

六、举一个实际应用的示例[更新购物车数量]

  1. 高效并发处理:购物车系统在高并发访问时,需要快速处理多个用户的请求。Go协程的轻量级特性使得能够轻松创建成千上万的并发任务,而不会对系统资源造成太大压力。

  2. 简化并发编程:Go的协程和通道(Channel)模型简化了并发编程的复杂度。通过通道进行协程间的通信,可以避免传统并发编程中的许多常见问题,如竞态条件、死锁等。

  3. 内置并发原语:Go标准库提供了丰富的并发原语,如互斥锁(Mutex)、读写锁(RWMutex)、条件变量(Cond)等,这些工具可以进一步帮助开发者编写安全、高效的并发代码。

  4. 易于调试和监控:Go的协程模型使得并发程序的调试和监控相对容易。通过工具如pproftrace等,开发者可以很方便地分析并发程序的性能瓶颈和潜在问题。

购物车并发处理完整示例

下面是一个简化的购物车并发处理示例,展示了如何使用Go协程和通道来处理多个用户的购物车更新请求。

package main

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

// 假设的购物车结构
type ShoppingCart struct {
	Items map[string]int
	mutex sync.Mutex
}

// 更新购物车的函数
func (c *ShoppingCart) Update(itemID string, quantity int) {
	c.mutex.Lock()
	defer c.mutex.Unlock()
	c.Items[itemID] += quantity
	fmt.Printf("Updated cart, item %s now has %d\n", itemID, c.Items[itemID])
}

// 模拟处理购物车更新请求的协程
func handleCartUpdate(cart *ShoppingCart, itemID string, quantity int, done chan<- bool) {
	time.Sleep(time.Millisecond * 100) // 模拟处理时间
	cart.Update(itemID, quantity)
	done <- true // 发送完成信号
}

func main() {
	cart := &ShoppingCart{Items: make(map[string]int)}
	done := make(chan bool, 10) // 假设最多同时处理10个请求

	// 模拟多个用户同时更新购物车
	for i := 0; i < 10; i++ {
		go handleCartUpdate(cart, fmt.Sprintf("item%d", i), 5, done)
	}

	// 等待所有更新完成
	for i := 0; i < 10; i++ {
		<-done
	}

	fmt.Println("All cart updates completed.")
	// 在这里可以进一步处理更新后的购物车,如发送到数据库保存等
}

在这个示例中:

  • 我们定义了一个ShoppingCart结构体,它包含一个商品项的映射和一个互斥锁来保护这个映射的并发访问。
  • Update方法用于更新购物车中的商品数量,它通过互斥锁来确保线程安全。
  • handleCartUpdate协程函数模拟了处理购物车更新请求的过程,它接收购物车、商品ID、数量和完成信号通道作为参数,并在更新完成后发送完成信号。
  • main函数中,我们创建了10个协程来模拟多个用户同时更新购物车的情况,并通过done通道等待所有更新完成。

请注意:这个示例为了简化而省略了一些重要的错误处理和优化措施,比如在实际应用中你可能需要处理网络请求、数据库操作等可能失败的情况,并且可能需要使用更复杂的并发控制策略来优化性能。

总结

通过以上指南,您可以更好地理解和应用Go协程及并发锁,在Go语言的并发编程中编写出高效、安全的代码。以上都是些简单代码片段示例,不能作为实际应用使用哦。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mfbz.cn/a/876277.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

pyflink 安装和测试

FPY Warning! 安装 apache-Flink # pip install apache-Flink -i https://pypi.tuna.tsinghua.edu.cn/simple/ Looking in indexes: https://pypi.tuna.tsinghua.edu.cn/simple/ Collecting apache-FlinkDownloading https://pypi.tuna.tsinghua.edu.cn/packages/7f/a3/ad502…

【Docker部署ELK】(7.15)

1、拉取镜像 docker pull docker.elastic.co/elasticsearch/elasticsearch:7.15.0 docker pull docker.elastic.co/kibana/kibana:7.15.0 docker pull docker.elastic.co/logstash/logstash:7.15.02、配置文件&#xff08;解压资源到D盘DOCKER目录下&#xff09; 2.1 配置文件…

什么是java的spi?

Java SPI&#xff08;Service Provider Interface&#xff09;是一种提供服务发现机制的设计模式&#xff0c;允许在运行时动态地发现、加载和替换服务的实现。SPI机制的核心思想是&#xff1a;通过接口定义服务&#xff0c;并且使用外部的实现类来提供该服务的具体功能。 目录…

【delphi】判断多显示器下,程序在那个显示器中

在 Delphi 中&#xff0c;如果你的电脑连接了多个显示器&#xff0c;可以通过以下步骤判断某个程序在哪个显示器上运行。 方法概述&#xff1a; 获取程序窗口的位置&#xff08;例如窗体的 Left、Top 坐标&#xff09;。使用 Screen.MonitorFromWindow 函数来确定该窗口所属的…

【STM32】单级与串级PID控制的C语言实现

【STM32】单级与串级PID的C语言实现 前言PID理论什么是PIDPID计算过程PID计算公式Pout、Iout、Dout的作用单级PID与串级PID PID应用单级PID串级PID 前言 笔者最近在学习PID控制器&#xff0c;本文基于Blog做以总结。CSDN上已有大量PID理论知识的优秀文章&#xff0c;因此本文将…

短信验证码倒计时 (直接复制即可使用) vue3

需求&#xff1a; 要实现一个获取验证码的需求&#xff0c;点击获取验证码60秒内不可以重复点击&#xff0c;方式有两种可以直接复制使用&#xff1b; 效果图 实现方案 方案1 (单个文件内使用比较推荐) <el-button :disabled"codeDisabled" click.stop"h…

【在Linux世界中追寻伟大的One Piece】网络命令|验证UDP

目录 1 -> Ping命令 2 -> Netstat命令 3 -> Pidof命令 4 -> 验证UDP-Windows作为client访问Linux 4.1 -> UDP client样例 1 -> Ping命令 Ping命令是一种网络诊断工具&#xff0c;它使用ICMP(Internet Control Message Protocol&#xff0c;互联网控制消…

redis常见的数据类型?

参考&#xff1a;一文读懂Redis五种数据类型及应用场景 - 知乎 (zhihu.com) String 类型 String 类型&#xff1a;Redis 最基本的数据类型&#xff0c;它是二进制安全的&#xff0c;意味着你可以用它来存储任何类型的数据&#xff0c;如图片、序列化对象等。使用场景&#xff…

Qt入门教程---项目创建全过程内存泄漏解释

目录 1.创建项目的说明 2.代码介绍说明 2.1文件分类介绍 2.2sources文件 2.3widget.ui文件 2.4widget.h文件 2.5中间文件 2.6.pro文件 3.打印输出hello world 3.1图形化界面生成控件 3.2代码生成控件 3.3打印结果展示 4.对于内存泄露的讨论 4.1对象树 4.2与栈开辟…

一图读懂 若依后端

一图读懂 若依后端 关注我&#xff0c;评论区评论就能获得思维导图本体文件啦&#x1f604;。如果你愿意关注我的掘金就更好啦宝&#x1f60d;&#xff0c;因为我掘金文章就一内内人看&#xff0c;想引流&#x1f60b; https://juejin.cn/user/1942157160101860本图是对若依后…

基础GAN生成式对抗网络(pytorch实验)

&#xff08;Generative Adversarial Network&#xff09; 一、理论 https://zhuanlan.zhihu.com/p/307527293?utm_campaignshareopn&utm_mediumsocial&utm_psn1815884330188283904&utm_sourcewechat_session 大佬的文章中的“GEN的本质”部分 二、实验 1、数…

Java | Leetcode Java题解之第403题青蛙过河

题目&#xff1a; 题解&#xff1a; class Solution {public boolean canCross(int[] stones) {int n stones.length;boolean[][] dp new boolean[n][n];dp[0][0] true;for (int i 1; i < n; i) {if (stones[i] - stones[i - 1] > i) {return false;}}for (int i 1…

Oracle 11gR2打PSU补丁详细教程

1 说明 Oracle的PSU&#xff08;Patch Set Update&#xff09;补丁是Oracle公司为了其数据库产品定期发布的更新包&#xff0c;通常每季度发布一次。PSU包含了该季度内收集的一系列安全更新&#xff08;CPU&#xff1a;Critical Patch Update&#xff09;以及一些重要的错误修…

效率神器来了:AI工具手把手教你快速提升工作效能

随着科技的进步&#xff0c;AI工具已经成为提升工作效率的关键手段。本文将介绍一些实用的AI工具和方法&#xff0c;帮助你自动化繁琐的重复性任务、优化数据管理、促进团队协作与沟通&#xff0c;并提升决策质量。 背景&#xff1a;OOP AI-免费问答学习交流-GPT 自动化重复性任…

【Linux】【Vim】Vim 基础

Vim/Gvim 基础 文本编辑基础编辑操作符命令和位移改变文本重复改动Visual 模式移动文本(复制、粘贴)文本对象替换模式 光标移动以 word 为单位移动行首和行尾行内指定单字符移动到匹配的括号光标移动到指定行滚屏简单查找 /string标记 分屏vimdiff 文本编辑 基础编辑 Normal 模…

【网络安全的神秘世界】渗透测试基础

&#x1f31d;博客主页&#xff1a;泥菩萨 &#x1f496;专栏&#xff1a;Linux探索之旅 | 网络安全的神秘世界 | 专接本 | 每天学会一个渗透测试工具 渗透测试基础 基于功能去进行漏洞挖掘 1、编辑器漏洞 1.1 编辑器漏洞介绍 一般企业搭建网站可能采用了通用模板&#xff…

app抓包 chrome://inspect/#devices

一、前言&#xff1a; 1.首先不支持flutter框架&#xff0c;可支持ionic、taro 2.初次需要翻墙 3.app为debug包&#xff0c;非release 二、具体步骤 1.谷歌浏览器地址&#xff1a;chrome://inspect/#devices qq浏览器地址&#xff1a;qqbrowser://inspect/#devi…

Lombok:Java开发者的代码简化神器【后端 17】

Lombok&#xff1a;Java开发者的代码简化神器 在Java开发中&#xff0c;我们经常需要编写大量的样板代码&#xff0c;如getter、setter、equals、hashCode、toString等方法。这些代码虽然基础且必要&#xff0c;但往往占据了大量开发时间&#xff0c;且容易在属性变更时引发错误…

华为OD机试 - 计算误码率(Python/JS/C/C++ 2024 E卷 100分)

华为OD机试 2024E卷题库疯狂收录中&#xff0c;刷题点这里 专栏导读 本专栏收录于《华为OD机试真题&#xff08;Python/JS/C/C&#xff09;》。 刷的越多&#xff0c;抽中的概率越大&#xff0c;私信哪吒&#xff0c;备注华为OD&#xff0c;加入华为OD刷题交流群&#xff0c;…

怎么将几个pdf合成为一个?把几个PDF合并成为一个的8种方法

怎么将几个pdf合成为一个&#xff1f;将多个PDF文件合并成一个整体可以显著提高信息整合的效率&#xff0c;并简化文件的管理与传递。例如&#xff0c;将不同章节的电子书合成一本完整的书籍&#xff0c;或者将多个部门的报告整合成一个统一的文档&#xff0c;可以使处理流程变…