go语言---锁

news2024/11/27 8:21:27

什么是锁呢?就是某个协程(线程)在访问某个资源时先锁住,防止其它协程的访问,等访问完毕解锁后其他协程再来加锁进行访问。这和我们生活中加锁使用公共资源相似,例如:公共卫生间。

死锁

死锁是指两个或两个以上的进程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁,
死锁: 不是锁的一种!!!是一种错误使用锁导致的现象。

1. 单go程自己死锁

	channel 应该在 至少 2 个以上的 go程中进行通信。否则死锁!!!

2. go程间channel访问顺序导致死锁

	使用channel一端读(写), 要保证另一端写(读)操作,同时有机会执行。否则死锁。

3. 多go程,多channel 交叉死锁

	Ago程,掌握M的同时,尝试拿N; Bgo程,掌握N的同时尝试拿M。 

4. 在go语言中,尽量不要将 互斥锁、读写锁 与 channel 混用。 ——  隐性死锁。
//单go程自己死锁

ch := make(chan int) //channel
ch <- 789            //写 这里写入就会阻塞
num := <-ch          //读
fmt.Println(num)
//go程间channel访问顺序导致死锁
	ch := make(chan int)

	num := <-ch //顺序不对,阻塞了,那么go就不执行了
	fmt.Println(num)
	go func() {
		ch <- 789
	}()
//多go程,多channel 交叉死锁

ch1 := make(chan int)
ch2 := make(chan int)
	go func() {				// 子
		for {
			select {
			case num := <-ch1:
				ch2 <- num
			}
		}
	}()
	for {
		select {
			case num := <- ch2:
				ch1 <- num
		}
	}
4.go语言中,尽量不要将 互斥锁、读写锁 与 channel 混用。 ——  隐性死锁。
package main

import (
	"fmt"
	"math/rand"
	"sync"
	"time"
)

var rwMutex sync.RWMutex //锁只有一把,两个属性

// 左写右读
// <-chan int 读
func readGo(in <-chan int, index int) {
	for {
		rwMutex.RLock() //以读模式加锁
		num := <-in
		fmt.Printf("----%dth 读 go程,读出:%d\n", index, num)
		time.Sleep(time.Second)
		rwMutex.RUnlock() //以读模式写锁
	}
}

// chan<- int 写
func writeGo(out chan<- int, index int) {
	for {
		//生成随机数
		num := rand.Intn(1000)
		rwMutex.Lock() //以写模式加锁
		out <- num     //写进去
		fmt.Printf("%dth 写go程,写入:%d\n", index, num)
		time.Sleep(time.Millisecond * 300) // 放大实验现象
		rwMutex.Unlock()                   //解锁
	}
}

func main() {
	// 播种随机数种子
	rand.Seed(time.Now().UnixNano())
	ch := make(chan int)
	for i := 0; i < 5; i++ {
		go readGo(ch, i+1)
	}

	for i := 0; i < 5; i++ {
		go writeGo(ch, i+1)
	}

	for true {

	}
}

互斥锁

每个资源都对应于一个可称为 “互斥锁” 的标记,这个标记用来保证在任意时刻,只能有一个协程(线程)访问该资源。其它的协程只能等待。
互斥锁是传统并发编程对共享资源进行访问控制的主要手段,它由标准库sync中的Mutex结构体类型表示。sync.Mutex类型只有两个公开的指针方法,Lock和Unlock。Lock锁定当前的共享资源,Unlock进行解锁。
在使用互斥锁时,一定要注意:对资源操作完成后,一定要解锁,否则会出现流程执行异常,死锁等问题。通常借助defer。锁定后,立即使用defer语句保证互斥锁及时解锁。如下所示:
var mutex sync.Mutex // 定义互斥锁变量 mutex

func write(){
mutex.Lock( )
defer mutex.Unlock( )
}

互斥锁:(互斥量)

A 、B go程 共同访问共享数据。 由于cpu调度随机,需要对 共享数据访问顺序加以限定(同步)。

创建 mutex(互斥锁),访问共享数据之前,加锁,访问结束,解锁。 在Ago程加锁期间,B go程加锁会失败——阻塞。

直至 A go程 解说mutex,B 从阻塞处。恢复执行。

package main

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

// 使用channel 完成同步
/*var ch = make(chan int)

func printer(str string)  {
	for _, ch := range str {
		fmt.Printf("%c", ch)
		time.Sleep(time.Millisecond * 300)
	}
}

func person1()  {				// 先
	printer("hello")
	ch <- 98
}

func person2()  {				// 后
	<- ch
	printer("world")
}

func main()  {
	go person1()
	go person2()
	for {
		;
	}
}
*/

// 使用 “锁” 完成同步 —— 互斥锁
var mutex sync.Mutex		// 创建一个互斥量, 新建的互斥锁状态为 0. 未加锁。 锁只有一把。

func printer(str string)  {
	mutex.Lock()			// 访问共享数据之前,加锁
	for _, ch := range str {
		fmt.Printf("%c", ch)
		time.Sleep(time.Millisecond * 300)
	}
	mutex.Unlock()			// 共享数据访问结束,解锁
}

func person1()  {				// 先
	printer("hello")
}

func person2()  {				// 后
	printer("world")
}

func main()  {
	go person1()
	go person2()
	for {
		;
	}
}

读写锁

互斥锁的本质是当一个goroutine访问的时候,其他goroutine都不能访问。这样在资源同步,避免竞争的同时也降低了程序的并发性能。程序由原来的并行执行变成了串行执行。
其实,当我们对一个不会变化的数据只做“读”操作的话,是不存在资源竞争的问题的。因为数据是不变的,不管怎么读取,多少goroutine同时读取,都是可以的。
所以问题不是出在“读”上,主要是修改,也就是“写”。修改的数据要同步,这样其他goroutine才可以感知到。所以真正的互斥应该是读取和修改、修改和修改之间,读和读是没有互斥操作的必要的。
因此,衍生出另外一种锁,叫做读写锁。
读写锁可以让多个读操作并发,同时读取,但是对于写操作是完全互斥的。也就是说,当一个goroutine进行写操作的时候,其他goroutine既不能进行读操作,也不能进行写操作。
GO中的读写锁由结构体类型sync.RWMutex表示。此类型的方法集合中包含两对方法:
一组是对写操作的锁定和解锁,简称“写锁定”和“写解锁”:
func (*RWMutex)Lock()
func (*RWMutex)Unlock()
另一组表示对读操作的锁定和解锁,简称为“读锁定”与“读解锁”:
func (*RWMutex)RLock()
func (*RWMutex)RUlock()
读写锁:
读时共享,写时独占。写锁优先级比读锁高。

读写锁—数据同步

package main

import (
	"fmt"
	"math/rand"
	"sync"
	"time"
)

var rwMutex sync.RWMutex //锁只有一把,两个属性

var value int //定义全局变量,模拟共享数据

// 左写右读
// <-chan int 读
func readGo(index int) {
	for {
		rwMutex.RLock() //以读模式加锁 channel和读锁不能同时存在
		num := value
		fmt.Printf("----%dth 读 go程,读出:%d\n", index, num)
		//time.Sleep(time.Second)
		rwMutex.RUnlock() //以读模式写锁
	}
}

// chan<- int 写
func writeGo(index int) {
	for {
		//生成随机数
		num := rand.Intn(1000)
		rwMutex.Lock() //以写模式加锁
		value = num    //写进去
		fmt.Printf("%dth 写go程,写入:%d\n", index, num)
		//time.Sleep(time.Millisecond * 300) // 放大实验现象
		rwMutex.Unlock() //解锁
	}
}

func main() {
	// 播种随机数种子
	rand.Seed(time.Now().UnixNano())
	for i := 0; i < 5; i++ {
		go readGo(i + 1)
	}

	for i := 0; i < 5; i++ {
		go writeGo(i + 1)
	}

	for true {

	}
}

读写锁—对应channel

package main

import (
	"fmt"
	"math/rand"
	"time"
)

var value int //定义全局变量,模拟共享数据

// 左写右读
// <-chan int 读
func readGo(ch <-chan int, index int) {
	for {
		num := <-ch //从channel中读取数据
		fmt.Printf("----%dth 读 go程,读出:%d\n", index, num)
		time.Sleep(time.Second)
	}
}

// chan<- int 写
func writeGo(ch chan<- int, index int) {
	for {
		//生成随机数
		num := rand.Intn(1000)
		ch <- num //写进去
		fmt.Printf("%dth 写go程,写入:%d\n", index, num)
		time.Sleep(time.Millisecond * 300) // 放大实验现象
	}
}

func main() {
	// 播种随机数种子
	rand.Seed(time.Now().UnixNano())
	ch := make(chan int)
	for i := 0; i < 5; i++ {
		go readGo(ch, i+1)
	}

	for i := 0; i < 5; i++ {
		go writeGo(ch, i+1)
	}

	for true {

	}
}

生产者消费者模型回顾

package main

import (
	"fmt"
	"math/rand"
	"time"
)

// 左写
func producer(out chan<- int, index int) {
	for i := 0; i < 50; i++ {
		num := rand.Intn(800)
		fmt.Printf("生产者%dth,生成:%d\n", index, num)
		out <- num
	}
	close(out)
}

// 右读
func consumer(in <-chan int, index int) {
	for i := range in {

		fmt.Printf("-------消费者%dth,消费:%d\n", index, i)
		//time.Sleep(time.Millisecond * 300)
	}
}

func main() {
	product := make(chan int)
	rand.Seed(time.Now().UnixNano())
	for i := 0; i < 5; i++ {
		go producer(product, i+1)
	}

	for i := 0; i < 5; i++ {
		go consumer(product, i+1)
	}
	for {

	}
}

在上面的代码中,加了一个消费者,同时在consumer方法中,将数据取出来后,又进行了一组运算。这时可能会出现一个协程从管道中取出数据,参与加法运算,但是还没有算完另外一个协程又从管道中取出一个数据赋值给了num变量。所以这样累加计算,很有可能出现问题。当然,按照前面的知识,解决这个问题的方法很简单,就是通过加锁的方式来解决。增加生产者也是一样的道理。

另外一个问题,如果消费者比生产者多,仓库中就会出现没有数据的情况。我们需要不断的通过循环来判断仓库队列中是否有数据,这样会造成cpu的浪费。反之,如果生产者比较多,仓库很容易满,满了就不能继续添加数据,也需要循环判断仓库满这一事件,同样也会造成CPU的浪费。

条件变量

条件变量的作用并不保证在同一时刻仅有一个协程(线程)访问某个共享的数据资源,而是在对应的共享数据的状态发生变化时,通知阻塞在某个条件上的协程(线程)。条件变量不是锁,在并发中不能达到同步的目的,因此条件变量总是与锁一块使用
例如,我们上面说的,如果仓库队列满了,我们可以使用条件变量让生产者对应的goroutine暂停(阻塞),但是当消费者消费了某个产品后,仓库就不再满了,应该唤醒(发送通知给)阻塞的生产者goroutine继续生产产品。
GO标准库中的sys.Cond类型代表了条件变量。条件变量要与锁(互斥锁,或者读写锁)一起使用。成员变量L代表与条件变量搭配使用的锁。

type Cond struct {
   noCopy noCopy
   // L is held while observing or changing the condition
   L Locker
   notify  notifyList
   checker copyChecker
}

对应的有3个常用方法,Wait,Signal,Broadcast。
1)func (c *Cond) Wait()
该函数的作用可归纳为如下三点:
a)阻塞等待条件变量满足
b)释放已掌握的互斥锁相当于cond.L.Unlock()。 注意:两步为一个原子操作。
c)当被唤醒,Wait()函数返回时,解除阻塞并重新获取互斥锁。相当于cond.L.Lock()
2)func (c *Cond) Signal()
单发通知,给一个正等待(阻塞)在该条件变量上的goroutine(线程)发送通知。
3)func (c *Cond) Broadcast()
广播通知,给正在等待(阻塞)在该条件变量上的所有goroutine(线程)发送通知。

条件变量:

本身不是锁!!! 但经常与锁结合使用!!

   使用流程:

1.  创建 条件变量: var cond    sync.Cond

2.  指定条件变量用的 锁:  cond.L = new(sync.Mutex)

3.  cond.L.Lock()	给公共区加锁(互斥量)

4.  判断是否到达 阻塞条件(缓冲区满/空)	—— for 循环判断

	for  len(ch) == cap(ch) {   cond.Wait() —— 1) 阻塞 2) 解锁 3) 加锁

5.  访问公共区 —— 读、写数据、打印 

6.  解锁条件变量用的 锁  cond.L.Unlock()

7.  唤醒阻塞在条件变量上的 对端。 signal()  Broadcast()

条件变量使用原理分析

在这里插入图片描述

条件变量生产者消费者–主要是串行

package main

import (
	"fmt"
	"math/rand"
	"sync"
	"time"
)

var cond sync.Cond //定义全部条件变量

// 左写
func producer(out chan<- int, index int) {
	for {
		//先加锁
		cond.L.Lock()
		//判断缓冲区是否满
		if len(out) == 5 {
			cond.Wait() //1 阻塞,释放刚才的锁,唤醒以后重新加锁
		}
		num := rand.Intn(800)
		out <- num
		fmt.Printf("生产者%dth,生成:%d\n", index, num)
		//返回公共区结束,并且打印结束,解锁
		cond.L.Unlock()
		//唤醒阻塞在条件变量上的消费者
		cond.Signal()
		time.Sleep(time.Millisecond * 200)
	}
}

// 右读
func consumer(in <-chan int, index int) {
	for {
		//先加锁
		cond.L.Lock()
		//判断缓冲器是否为空
		if len(in) == 0 {
			cond.Wait()
		}
		num := <-in
		fmt.Printf("-------消费者%dth,消费:%d\n", index, num)

		//访问公共区结束后,解锁
		cond.L.Unlock()
		//唤醒 阻塞在条件变量上的生产者
		cond.Signal()
		time.Sleep(time.Millisecond * 200)
	}
}

func main() {
	product := make(chan int, 6)
	rand.Seed(time.Now().UnixNano())
	//指定条件变量使用的锁
	cond.L = new(sync.Mutex) //互斥锁,初值0 未加锁状态
	for i := 0; i < 5; i++ {
		go producer(product, i+1)
	}

	for i := 0; i < 5; i++ {
		go consumer(product, i+1)
	}
	for {

	}
}

判断wait使用for的原因分析—主要是并行

package main

import (
	"fmt"
	"math/rand"
	"sync"
	"time"
)

var cond sync.Cond //定义全部条件变量

// 左写
func producer(out chan<- int, index int) {
	for {
		//先加锁
		cond.L.Lock()
		//判断缓冲区是否满
		for len(out) == 5 { //如果有多个并行就要使用for
			cond.Wait() //1 阻塞,释放刚才的锁,唤醒以后重新加锁
		}
		num := rand.Intn(800)
		out <- num
		fmt.Printf("生产者%dth,生成:%d\n", index, num)
		//返回公共区结束,并且打印结束,解锁
		cond.L.Unlock()
		//唤醒阻塞在条件变量上的消费者
		cond.Signal()
		time.Sleep(time.Millisecond * 200)
	}
}

// 右读
func consumer(in <-chan int, index int) {
	for {
		//先加锁
		cond.L.Lock()
		//判断缓冲器是否为空
		for len(in) == 0 {
			cond.Wait()
		}
		num := <-in
		fmt.Printf("-------消费者%dth,消费:%d\n", index, num)

		//访问公共区结束后,解锁
		cond.L.Unlock()
		//唤醒 阻塞在条件变量上的生产者
		cond.Signal()
		time.Sleep(time.Millisecond * 200)
	}
}

func main() {
	product := make(chan int, 6)
	rand.Seed(time.Now().UnixNano())
	//指定条件变量使用的锁
	cond.L = new(sync.Mutex) //互斥锁,初值0 未加锁状态
	for i := 0; i < 5; i++ {
		go producer(product, i+1)
	}

	for i := 0; i < 5; i++ {
		go consumer(product, i+1)
	}
	for {

	}
}

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

共享股东:一种让连锁门店企业家赚钱的新模式

你是否经营着一家或多家连锁门店&#xff0c;想要提高你的收入和竞争力&#xff1f;你是否想要吸引更多的客户和投资者&#xff0c;让他们成为你的忠实合作伙伴&#xff1f;你是否想要利用互联网的力量&#xff0c;让你的门店变得更加智能和高效&#xff1f;如果你的答案是肯定…

JavaScript速成课—事件处理

目录 一.事件类型 1.窗口事件 2.表单元素事件 3.图像事件 4.键盘事件 5.鼠标事件 二.JavaScript事件处理的基本机制 三.绑定事件的方法 1.DOM元素绑定 2.JavaScript代码绑定事件 3.监听事件函数绑定 四.JavaScript事件的event对象 1.获取event对象 2.鼠标坐标获取…

11、Kubernetes核心技术 - Service

目录 一、概述 二、Endpoint 三、Service资源清单 四、Service 类型 4.1、ClusterIP 4.2、NodePort 4.3、LoadBalancer 4.4、ExternalName 五、Service使用 5.1、ClusterIP 5.1.1、定义Pod资源清单 5.1.2、创建Pod 5.1.3、定义Service资源清单 5.1.4、创建Servic…

面试官:请说说flex布局_番茄出品.md

面试官&#xff1a;请说说flex布局_番茄出品.md start 依然记得当初学习 flex 布局时&#xff0c;用 flex 布局&#xff1a;画麻将。一筒到九筒&#xff0c;应有尽有。但是光和面试官说&#xff0c;我用 flex 布局画过麻将&#xff0c;并没有什么用。面试官问你一个语法&…

Hadoop:YARN、MapReduce、Hive操作

目录 分布式计算概述 YARN概述 YARN架构 核心架构 辅助架构 MapReduce 概述 配置相关文件 提交MapReduce到YARN Hive Hive架构 Hive在VMware部署 Hive的启动 数据库操作 数据表操作 内部表操作 外部表操作 数据加载和导出 数据加载LOAD 数据加载 - INSERT SEL…

生物的神经系统与机器的人工神经网络

生物的神经系统与机器的人工神经网络 文章目录 前言一、人工神经网络二、生物的神经系统三、关系四、相似与区别4.1. 相似&#xff1a;4.2. 区别: 总结 前言 因为本人是学生物的&#xff0c;并且深度学习的核心——人工神经网络与生物的神经系统息息相关&#xff0c;故想要在本…

单片机测量任务运行时间

前言 1.之前是直接看定时器的计数值来粗略估计&#xff0c;可能会存在一些差错&#xff0c;也不够方便&#xff1b;所以做一个比较通用的计算任务运行时间的小Demo。 2.用定时器的计数值查看开始的Tick和结束的Tick&#xff0c;然后定时器每隔1毫秒溢出一次&#xff0c;通过简…

QML 碰到的奇怪问题

text elied属性失效 elied属性就是当Text的文本文字超过Text的宽度时。文字会出现省略的效果。 import QtQuick 2.9 import QtQuick.Window 2.3Window {visible: truewidth: 640height: 480title: qsTr("Hello World")Rectangle{anchors.centerIn: parentwidth: pa…

颜色扩散类dp及其优化:0919T2

http://cplusoj.com/d/senior/p/330 此题前半部分是AGC058B 这是一个颜色扩散类dp&#xff0c;对于这类dp&#xff0c;存在一个性质。 假如一个区间被 i i i 染&#xff0c;一个被 j j j 染&#xff0c;则必然满足 i < j i<j i<j&#xff08;这是下标&#xff09…

基于SSM的智慧城市实验室主页系统的设计与实现

末尾获取源码 开发语言&#xff1a;Java Java开发工具&#xff1a;JDK1.8 后端框架&#xff1a;SSM 前端&#xff1a;采用Vue技术开发 数据库&#xff1a;MySQL5.7和Navicat管理工具结合 服务器&#xff1a;Tomcat8.5 开发软件&#xff1a;IDEA / Eclipse 是否Maven项目&#x…

e签宝,再「进化」

基于ePaaS&#xff0c;e签宝不仅打造了电子签领域的生态圈&#xff0c;也正在赋能整个SaaS行业奔向生态化的良性业态&#xff0c;这将使得SaaS厂商的边界愈发清晰&#xff0c;逐渐实现“量产”&#xff0c;奔向规模化。 作者|斗斗 出品|产业家 1957年11月&#xff0c;江苏…

文件字符输出流(FileWriter)(基础流)

1、不追加的情况 package com.csdn.d4_char_stream; import java.io.FileWriter; import java.io.IOException; import java.io.Writer; public class FileWriterDemo01 {public static void main(String[] args) throws IOException {//1、创建一个字符输出流管道与目标文件接…

Android进阶之路 - 盈利、亏损金额格式化

在金融类型的app中&#xff0c;关于金额、数字都相对敏感和常见一些&#xff0c;在此仅记录我在金融行业期间学到的皮毛&#xff0c;如后续遇到新的场景也会加入该篇 该篇大多采用 Kotlin 扩展函数的方式进行记录&#xff0c;尽可能熟悉 Kotlin 基础知识 兄弟 Blog StringUti…

Kafka为什么是高性能高并发高可用架构

目录 1 前言2 顺序写入3 页缓存4 零拷贝5 Broker 性能6 流数据并行7 总结 1 前言 我们都知道 Kafka 是基于磁盘进行存储的&#xff0c;但 Kafka 官方又称其具有高性能、高吞吐、低延时的特点&#xff0c;其吞吐量动辄几十上百万。小伙伴们是不是有点困惑了&#xff0c;一般认为…

Linux——IO

✅<1>主页&#xff1a;&#xff1a;我的代码爱吃辣 &#x1f4c3;<2>知识讲解&#xff1a;Linux——文件系统 ☂️<3>开发环境&#xff1a;Centos7 &#x1f4ac;<4>前言&#xff1a;是不是只有C/C有文件操作呢&#xff1f;python&#xff0c;java&…

Code Ocean :一个用于数据科学和科学研究的在线平台【源码+文章解析】

Code Ocean&#xff08;https://codeocean.com/&#xff09;是一个用于数据科学和科学研究的在线平台&#xff0c;旨在帮助研究人员更轻松地管理、共享和复制研究代码和数据。以下是Code Ocean的主要用途和功能&#xff1a; 代码和数据的管理&#xff1a;Code Ocean允许研究人…

辨析目录表、文件打开表、文件分配表、索引表、FCB、inode、fd等文件系统常见名词

文章目录 1 解释2 形象配图 以下内容仅供简单的辨析这些文件系统最基本的名词&#xff0c;如果需要更深入的了解&#xff0c;请查阅相关转移书籍&#xff0c;如《现代操作系统》、《操作系统概念》 、《操作系统精髓与设计原理》等书籍。 1 解释 2 形象配图 文件打开表 文件分…

工控机连接Profinet转Modbus RTU网关与水泵变频器Modbus通讯

Profinet转Modbus RTU网关是一个具有高性能的通信设备&#xff0c;它能够将工控机上的Profinet协议转换成水泵变频器可识别的Modbus RTU协议&#xff0c;实现二者之间的通信。通过这种方式&#xff0c;工控机可以直接控制水泵变频器的运行状态&#xff0c;改变其工作频率&#…

Windows10下的GTSAM因子图安装与使用

Windows10下的GTSAM因子图安装与使用 一、windows系统预安装1. windows 10安装gcc2.windows 10 安装 boost3.CMake 安装与查看4.CMake 配置boost 二、GTSAM安装与使用三、CMAKE 创建立 使用GTSAM的Visual Studio项目参考文献 一、windows系统预安装 1. windows 10安装gcc htt…

【深度学习框架格式转化】【CPU】Pytorch模型转ONNX模型格式流程详解【入门】

【深度学习框架格式转化】【GPU】Pytorch模型转ONNX模型格式流程详解【入门】 提示:博主取舍了很多大佬的博文并亲测有效,分享笔记邀大家共同学习讨论 文章目录 【深度学习框架格式转化】【GPU】Pytorch模型转ONNX模型格式流程详解【入门】前言PyTorch模型环境搭建(CPU)安装onn…