欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页

go语言中锁和条件变量

程序员文章站 2022-06-02 08:21:47
...

go语言中解决协程同步的问题,可以使用channel,但go也提供了传统的同步工具。他们都在go的标准库代码包sync和sync/atomic中。

go语言中尽量不要将互斥锁读写锁channel一起使用,会造成--隐性死锁。

ps:如果非要一起使用,使用条件变量sync.cond

  • 什么是锁?

       就是某个协程(线程)在访问某个资源时先锁住,防止其他协程的访问,等访问完毕解锁后其他协程再来加锁进行访问。

  • 死锁

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

  • 互斥锁

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

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

直到A协程解锁mutex,B从阻塞处恢复执行。

例:

package main

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

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("12345")
}

func person2()  {
	printer("abcde")
}

func main()  {
	go person1()
	go person2()
	time.Sleep(time.Second*3)
}
  • 读写锁

   互斥锁的本质是当一个goroutine访问的时候,其他goroutine都不能访问。这样在资源同步,避免竞争的同时也降低了程序的并发性能。程序由原来的并行执行变成了串行执行。

   其实,当我们对一个不会变化的数据只做”读“操作的话,是不存在资源竞争的问题的。因为数据的不变的,不管怎么读取,多少goroutine同时读取都是可以的。所以读和读之间是没有必要互斥的。因此衍生出另一种锁,叫读写锁。

   读写锁可以让多个读操作并发,同时读取。但是对于写操作是完全互斥的。也就是说,当一个goroutine进行写操作的时候,其他goroutine既不能进行读操作,也不能进行写操作。读时共享,写时独占。写锁优先级比读锁高。

   GO中的读写锁由结构体类型sync.RWMutex表示。此类型的方法集合中包含两队方法:

   一组的对写操作的锁定和解锁。简称写锁定和写解锁:

                func (*RWMutex) Lock()

                func (*RWMutex) ULock()

   另一组表示对读操作的锁定和解锁。简称读锁定和读解锁:

                func (*RWMutex) RLock()

                func (*RWMutex) RULock()

     例:

package main

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

var rwMutex sync.RWMutex		// 锁只有一把, 2 个属性读和写

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

func readGo(idx int)  {
	for {
		rwMutex.RLock()			// 以读模式加锁
		num := value
		fmt.Printf("-----------%dth 读 go程,读出:%d\n", idx, num)
		rwMutex.RUnlock()		// 以读模式解锁
		time.Sleep(time.Second)
	}
}
func writeGo(idx int)  {
	for {
		// 生成随机数
		num := rand.Intn(1000)
		rwMutex.Lock()			// 以写模式加锁
		value = num
		fmt.Printf("%dth 写go程,写入:%d\n", idx, num)
		time.Sleep(time.Millisecond * 300)
		rwMutex.Unlock()          // 以写模式解锁
	}
}
func main()  {
	// 播种随机数种子
	rand.Seed(time.Now().UnixNano())

	for i:=0; i<5; i++ {			// 5 个 读 go 程
		go readGo(i+1)
	}
	for i:=0; i<5; i++ {			//5 个 写 go 程
		go writeGo(i+1)
	}


    time.Sleep(time.Second*10)
}
  • 条件变量

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

     使用流程:

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

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

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

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

               for  len(ch) == cap(ch){cond.Wait}

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

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

         7.唤醒阻塞在条件变脸上的对端

例:

package main

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

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

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

func consumer(in <-chan int, idx int)  {
	for {
		// 先加锁
		cond.L.Lock()
		// 判断 缓冲区是否为空
		for len(in) == 0 {
			cond.Wait()
		}
		num := <-in
		fmt.Printf("-----消费者%dth,消费:%d\n",idx,  num)
		// 访问公共区结束后,解锁
		cond.L.Unlock()
		// 唤醒 阻塞在条件变量上的 生产者
		cond.Signal()
		time.Sleep(time.Millisecond * 200)
	}
}

func main()  {
	product := make(chan int, 5)
	rand.Seed(time.Now().UnixNano())

	quit := make(chan bool)

	// 指定条件变量 使用的锁
	cond.L = new(sync.Mutex)				// 互斥锁 初值 0 , 未加锁状态

	for i:=0; i<5; i++ {
		go producer(product, i+1)			// 1 生产者
	}
	for i:=0; i<5; i++ {
		go consumer(product, i+1)			// 3 个消费者
	}

	<-quit

}

 

相关标签: