热门标签 | HotTags
当前位置:  开发笔记 > 编程语言 > 正文

Go语言中Goroutine与通道机制及其异常处理深入解析

在Go语言中,Goroutine可视为一种轻量级的并发执行单元,其资源消耗远低于传统线程,初始栈大小仅为2KB,而普通线程则通常需要几MB。此外,Goroutine的调度由Go运行时自动管理,能够高效地支持成千上万个并发任务。本文深入探讨了Goroutine的工作原理及其与通道(channel)的配合使用,特别是在异常处理方面的最佳实践,为开发者提供了一套完整的解决方案,以确保程序的稳定性和可靠性。

Go语言之Goroutine与信道、异常处理 - Mr

一、Goroutine

Go 协程可以看做成一个轻量级的线程,Go 协程相比于线程的优势:

Goroutine 的成本更低大小只有 2 kb 左右,线程有几个兆。

Goroutine 会复用线程,比如说:我有 100 个协程,但是都是共用的的 3 个线程。

Goroutine 之间通信是通过 channel 通信的。(Go 推崇的是信道通信,而不推崇用共享变量通信)

1、启动一个 Goroutine

func test() {
   fmt.Println("go go go")
}

func main() {
   fmt.Println("主线程开始")
    
   // go 关键字开启 Goroutine,一个 Goroutine只占2kb左右
   go test()	// 一个 go 就是一个协程,多个就是多个协程,也可以for循环起多个协程
   go test()
    
   time.Sleep(1*time.Second)  // Go 语言中主线程不会等待Goroutine执行完成,要等待它结束需要自己处理
   fmt.Println("主线程结束")
}

// 输出:
主线程开始
go go go
go go go
主线程结束

2、Go 语言的GMP模型

G:就是我们开起的 Goroutine

  • 它们会被相对平均的放到 P 的队列中

M:M 可以当成操作系统真正的线程,但是实际上是用户态的线程(用户线程)

  • 虽然 M 执行 G,但是实际上,M 只是映射到操作系统的线程上执行的
  • 然后操作系统的调度器把真正的操作系统的线程调度到CPU上执行

P:Processor 1.5版本以后默认情况是 CPU 核数(可以当做CPU核数)

  • P 会和 M 做交互,真正执行的是 M 在执行 G ,只不过 P 是在做调度
  • 一旦某个 G 阻塞了,那么 P 就会把它调度成下一个 G,放到 M 里面去执行

用户线程操作系统线程:

在 Python 中,用户线程跟操作系统线程是 1:1 的对应关系

Go 语言中,用户线程和操作系统线程是 m:n 的关系

二、信道

信道(Channel)也就是 Go 协程之间的通信管道,一端发送一端接收。

func main() {
   // 1、定义 channel
   var c chan int

   // 2、管道的零值
   //———>空值为 nil 说明是引用类型,当做参数传递时,不需要取地址,改的就是原来的,需要初始化在使用
   fmt.Println(c)     // 输出:

   // 3、管道初始化
   c = make(chan int)
   go test(c)        // c 是引用类型直接传

   // 4、从信道中取值,信道默认不管放值还是取值,都是阻塞的
   count := <-c   // 阻塞
   fmt.Println(count)
   
   /*
   当程序执行 go test(c) 时就开了一个 Goroutine
   然后继续执行到 count := <-c 从信道取值,这时就阻塞住了
   它会等待 Goroutine 往信道中放值后才会取出值,才会继续执行 fmt.Println(count)
   */
}

func test(c chan int) {
   fmt.Println("GO GO GO")
   time.Sleep(1 * time.Second)
   // 5、往信道中放一个值,信道默认不管放值还是取值,都是阻塞的
   c <- 1 // 阻塞
}

// 输出:

GO GO GO
1

1、死锁

当 Goroutine 给一个信道放值的时候,按理会有其他 Goroutine 来接收数据,没有的话就会形成死锁。

func main() {  
    c := make(chan int)
    c <- 1
}

// 报错:应为没有其他 Goroutine 从 c 中取值

2、单向信道

显而易见就是只能读或者只能写的信道

方式一:

func WriteOnly(c chan<- int) {
   c <- 1
}

func main() {
   write := make(chan<- int)  // 只写信道
   go WriteOnly(write)
   fmt.Println(<-write)      // 报错   ——>只写信道往外取就报错
}

方式二:

func WriteOnly(c chan<- int) {
   c <- 1
   // <-c       // 报错
}

func main() {
   write := make(chan int)   	// 定义一个可读可写信道
   go WriteOnly(write)       	// 传到函数中就成了只写信道,在Goroutine中只负责写,不能往外读
   fmt.Println(<-write)   		// 主协程读
}

3、for 循环信道

for 循环循环信道,如果不关闭,会报死锁,如果关闭了,放不进去,循环结束。

func producer(chnl chan int) {
   for i := 0; i <10; i++ {
      chnl <- i  	// i 放入信道
   }
   close(chnl)      // 关闭信道
}

func main() {
   ch := make(chan int)
   go producer(ch)
   // 循环获取信道内容
   for value := range ch {
      fmt.Println(value)
   }
}

/*
当 for 循环 range ch 的时候信道没有值,会阻塞等待 go producer(ch) 开起的 Goroutine 中放入值
当 Goroutine 中放入一个值,就会阻塞,那么 range ch 就会取出一个值,然后再次阻塞等待
直到 Goroutine 放入值完毕关闭信道,for 循环 range ch 也就结束循环了
*/

4、缓冲信道

在默认情况下信道是阻塞的,缓冲信道也就是说我信道里面可以缓冲一些东西,可以不阻塞了。

只有在缓冲已满的情况,才会阻塞信道

只有在缓冲为空的时候,才会阻塞主缓冲信道接收数据

func main() {
   // 指定的数字就是缓冲大小
   var c chan int = make(chan int, 3) // 无缓冲信道数字是0
   c <- 1
   c <- 2
   c <- 3
   c <- 4    	// 缓冲满了,死锁

   <-c
   <-c
   <-c
   <-c          // 取空了,死锁

   fmt.Println(len(c))       // 长度:目前放了多少
   fmt.Println(cap(c))       // 容量:可以最多放多少
}

5、WaitGroup

等待所有 Goroutine 执行完成

func process1(i int, wg *sync.WaitGroup) {
   fmt.Println("started Goroutine ", i)
   time.Sleep(2 * time.Second)
   fmt.Printf("Goroutine %d ended
", i)
   // 3、一旦有一个完成,减一
   wg.Done()
}

func main() {
   var wg sync.WaitGroup  		// 没有初始化,值类型,当做参数传递,需要取地址

   for i := 0; i <10; i++ {
      wg.Add(1)  				// 1、启动一个 Goroutine,add 加 1
      go process1(i, &wg)    	// 2、把wg传过去,因为要改它并且它是值类型需要取地址传过去
   }

   wg.Wait()  // 4、一直阻塞在这,直到调用了10个 Done,计数器减到零
}

6、Select

Select 语句用于在多个发送 / 接收信道操作中进行选择。

例如:我要去爬百度,我发送了三个请求去,可能有一些网络原因,或者其他原因,不一定谁先回来,Select 选择就是谁先回来我先用谁。

场景一:对性能极致的要求,我就可以选择一个最快的线路执行我最快的功能,就可以用Select来做

场景二:我去拿这个数据的时候,不是一直等在这里,而是我可以干一点别的事情,使用死循环 Select 的时候加上 default 去做其他事情。

// 模拟去服务器去取值
func server(ch chan string) {
   time.Sleep(3 * time.Second)
   ch <- "from server"
}

func main() {
   output1 := make(chan string)
   output2 := make(chan string)
    
   // 开起两个协程执行 server
   go server(output1)
   go server(output2)

   select {
   case s1 := <-output1:  // 阻塞,谁先回来就执行谁
      fmt.Println(s1, "output1")
   case s2 := <-output2:  // 阻塞,谁先回来就执行谁
      fmt.Println(s2, "output2")
   }
}

7、Mutex

使用锁的场景:多个 Goroutine 通过共享内存来实现数据通信,就会出现并发安全的问题,并发安全的问题就需要加锁。

临界区:当程序并发运行时修改共享资源的代码,也就同一块内存的变量的时候,这些修改的资源的代码就称为临界区。

如果在任意时刻只允许一个 Goroutine 访问临界区,那么就可以避免竞争条件,而使用 Mutex(锁) 可以实现

不加用锁的情况下:

var x = 0   //全局,各个 Goroutine 都可以拿到并且操作

func increment(wg *sync.WaitGroup) {
   x = x + 1
   wg.Done()
}

func main() {
   var w sync.WaitGroup
   for i := 0; i <1000; i++ {
      w.Add(1)
      go increment(&w)
   }
   w.Wait()

   fmt.Println("最终的值:", x)
}

// 输出:理想情况下是1000,因为并发有安全的问题,所以数据乱了
最终的值: 978

加锁的情况:

var x = 0   //全局,各个 Goroutine 都可以拿到并且操作

func increment(wg *sync.WaitGroup, m *sync.Mutex) {
   m.Lock()   	// 加锁
   x = x + 1	// 同一时间只能有一个 Goroutine 执行
   m.Unlock() 	// 解锁
   wg.Done()
}
func main() {
   var w sync.WaitGroup
   var m sync.Mutex   	// 因为是个值类型,函数传递需要传地址
   fmt.Println(m)    	// 输出:{0 0} ——>值类型

   for i := 0; i <1000; i++ {
      w.Add(1)
      go increment(&w, &m)
   }
   w.Wait()
   fmt.Println("最终的值:", x)
}

// 输出:
最终的值: 1000

使用信道来实现:

var x = 0

func increment(wg *sync.WaitGroup, ch chan bool) {
   ch <- true   // 缓冲信道放满了,就会阻塞。
   x = x + 1
   <-ch         // 执行完了就取出
   wg.Done()
}
func main() {
   var w sync.WaitGroup
   ch := make(chan bool, 1)   // 定义了一个有缓存大小为1的信道
   for i := 0; i <1000; i++ {
      w.Add(1)
      go increment(&w, ch)
   }

   w.Wait()
   fmt.Println("最终的值:", x)
}

// 输出:
最终的值:1000

总结:不同 Goroutine 之间传递数据的方式:共享变量、信道。

如果是修改变量,倾向于用 Mutex

如果是 Goroutine 之间通信,倾向于用信道

三、异常处理

defer:延时执行,并且即便程序出现严重错误,也会执行

func main() {
	defer fmt.Println("我最后执行")
	defer fmt.Println("我倒数第三执行")
	fmt.Println("我先执行")
    
	var a []int
	fmt.Println(a[10])	  // 报错

	fmt.Println("后执行")	// 不会执行了
}


// 输出:
我先执行
我倒数第三执行
我最后执行
panic: runtime error: index out of range [10] with length 0

panic:主动抛出异常

recover:恢复程序,继续执行

func f1() {
   fmt.Println("f1 f1")
}


func f2() {
   defer func() {        // 这个匿名函数永远会执行

      //如果没有错误,执行 recover 会返回 nil,如果有错误执行 recover 会返回错误信息
      if error := recover(); error != nil {
         // 表示出错了,打印一下错误信息,程序恢复了,继续执行
         fmt.Println(error)
      }
      fmt.Println("我永远会执行,不管是否出错")
   }()
    
   fmt.Println("f2 f2")
   panic("主动抛出错误")
}


func f3() {
   fmt.Println("f3 f3")
}


func main() {
   //捕获异常,处理异常,让程序继续运行
   f1()
   f2()
   f3()
}

Go 语言异常捕获与 Python 异常捕获对比

Python:

try:
	可能会错误的代码
except Exception as e:
	print(e)
finally:
	无论是否出错,都会执行的代码

Go :

defer func() {
	if error:=recover();error!=nil{
		// 错误信息 error
		fmt.Println(error)
	}
    
	相当于finally,无论是否出错,都会执行的代码
    
}()
可能会错误的代码

学习之旅

推荐阅读
  • 优化Flask应用的并发处理:解决Mysql连接过多问题
    本文探讨了在Flask应用中通过优化后端架构来应对高并发请求,特别是针对Mysql 'too many connections' 错误的解决方案。我们将介绍如何利用Redis缓存、Gunicorn多进程和Celery异步任务队列来提升系统的性能和稳定性。 ... [详细]
  • 本文深入探讨了MySQL中常见的面试问题,包括事务隔离级别、存储引擎选择、索引结构及优化等关键知识点。通过详细解析,帮助读者在面对BAT等大厂面试时更加从容。 ... [详细]
  • 深入剖析JVM垃圾回收机制
    本文详细探讨了Java虚拟机(JVM)中的垃圾回收机制,包括其意义、对象判定方法、引用类型、常见垃圾收集算法以及各种垃圾收集器的特点和工作原理。通过理解这些内容,开发人员可以更好地优化内存管理和程序性能。 ... [详细]
  • 本文深入探讨了SQL数据库中常见的面试问题,包括如何获取自增字段的当前值、防止SQL注入的方法、游标的作用与使用、索引的形式及其优缺点,以及事务和存储过程的概念。通过详细的解答和示例,帮助读者更好地理解和应对这些技术问题。 ... [详细]
  • 本文详细介绍了优化DB2数据库性能的多种方法,涵盖统计信息更新、缓冲池调整、日志缓冲区配置、应用程序堆大小设置、排序堆参数调整、代理程序管理、锁机制优化、活动应用程序限制、页清除程序配置、I/O服务器数量设定以及编入组提交数调整等方面。通过这些技术手段,可以显著提升数据库的运行效率和响应速度。 ... [详细]
  • 深入解析Java虚拟机(JVM)架构与原理
    本文旨在为读者提供对Java虚拟机(JVM)的全面理解,涵盖其主要组成部分、工作原理及其在不同平台上的实现。通过详细探讨JVM的结构和内部机制,帮助开发者更好地掌握Java编程的核心技术。 ... [详细]
  • 深入理解Java多线程并发处理:基础与实践
    本文探讨了Java中的多线程并发处理机制,从基本概念到实际应用,帮助读者全面理解并掌握多线程编程技巧。通过实例解析和理论阐述,确保初学者也能轻松入门。 ... [详细]
  • PHP 过滤器详解
    本文深入探讨了 PHP 中的过滤器机制,包括常见的 $_SERVER 变量、filter_has_var() 函数、filter_id() 函数、filter_input() 函数及其数组形式、filter_list() 函数以及 filter_var() 和其数组形式。同时,详细介绍了各种过滤器的用途和用法。 ... [详细]
  • 本文探讨了使用C#在SQL Server和Access数据库中批量插入多条数据的性能差异。通过具体代码示例,详细分析了两种数据库的执行效率,并提供了优化建议。 ... [详细]
  • 对象自省自省在计算机编程领域里,是指在运行时判断一个对象的类型和能力。dir能够返回一个列表,列举了一个对象所拥有的属性和方法。my_list[ ... [详细]
  • 解决FCKeditor应用主题后上传问题及优化配置
    本文介绍了在Freetextbox收费后选择FCKeditor作为替代方案时遇到的上传问题及其解决方案。通过调整配置文件和调试工具,最终解决了上传失败的问题,并对相关配置进行了优化。 ... [详细]
  • 目录一、salt-job管理#job存放数据目录#缓存时间设置#Others二、returns模块配置job数据入库#配置returns返回值信息#mysql安全设置#创建模块相关 ... [详细]
  • 本文详细介绍了Grand Central Dispatch (GCD) 的核心概念和使用方法,探讨了任务队列、同步与异步执行以及常见的死锁问题。通过具体示例和代码片段,帮助开发者更好地理解和应用GCD进行多线程开发。 ... [详细]
  • 深入解析 Android IPC 中的 Messenger 机制
    本文详细介绍了 Android 中基于消息传递的进程间通信(IPC)机制——Messenger。通过实例和源码分析,帮助开发者更好地理解和使用这一高效的通信工具。 ... [详细]
  • 主调|大侠_重温C++ ... [详细]
author-avatar
13888102467波光_1984
这个家伙很懒,什么也没留下!
PHP1.CN | 中国最专业的PHP中文社区 | DevBox开发工具箱 | json解析格式化 |PHP资讯 | PHP教程 | 数据库技术 | 服务器技术 | 前端开发技术 | PHP框架 | 开发工具 | 在线工具
Copyright © 1998 - 2020 PHP1.CN. All Rights Reserved | 京公网安备 11010802041100号 | 京ICP备19059560号-4 | PHP1.CN 第一PHP社区 版权所有