Go-并发编程基础(goroutine、channel、select等)

简介: Go-并发编程基础(goroutine、channel、select等)

概念

  • 并发:指宏观上在一段时间内同时运行多个程序,微观交替运行。
  • 并行:指同一时刻能运行多个指令。
  • 进程:一段程序的执行过程,是系统进行资源分配的基本单位,一个进程至少有一个线程
  • 线程:操作系统能够进行运算调度的最小单位,它被包含在进程之中。

协程 goroutine

  • 有独立的栈空间
  • 共享程序堆空间
  • 调度由用户控制
  • 主线程是一个物理线程,直接作用在cpu上的,是重量级的,非常耗费cpu资源,
  • 协程从主线程开启的,是轻量级的线程,是逻辑态,对资源消耗相对小。
  • Golang的协程机制是重要的特点,可以轻松的开启上万个协程。其它编程语言的并发机制是一般基于线程的,开启过多的线程,资源耗费大,这里就突显Golang在并发上的优势了

当一个程序启动时,其主函数即在一个单独的goroutine中运行,称之为main goroutine。新的goroutine会用go语句来创建。在语法上,go语句是一个普通的函数或方法调用前加上关键字go。go语句会使其语句中的函数在一个新创建的goroutine中运行。而go语句本身会迅速地完成。当主函数返回时,所有的goroutine都会直接打断,程序退出。

操作已经就绪,对应的goroutine就会重新分配到逻辑处理器上来完成操作。调度器对可以创建的逻辑处理器的数量没有限制,但语言运行时默认限制每个程序最多创建10000个线程。这个限制值可以通过调用runtime/debug包的SetMaxThreads方法来更改。如果程序试图使用更多的线程,就会崩溃。

goroutine调度-MPG模式

M(Main Thread):操作系统的主线程(是物理线程),又称内核线程。

P(Processor):处理器,管理协程,例如协程执行需要的上下文等

G(Goroutine):go协程

举个例子:

2020062310470442.png

分成两个部分来看

原来的情况是M主线程正在执行G0协程,另外有三个协程在队列等待如果G0协程阻塞,比如读取文件或者数据库等。

这时就会创建M1主线程(也可能是从已有的线程池中取出M1),并且将等待的3个协程挂到M1下开始执行,M0的主线程下的G0仍然执行文件io的读写。等到G0不阻塞了,M0会被放到空闲的主线程继续执行(从已有的线程池中取),同时G0又会被唤醒。

这样的MPG调度模式,可以既让G0执行,同时也不会让队列的其它协程一直阻塞,仍然可以并发/并行执行。

进行调度的调度器为Seched,它维护有存储空闲的M队列和空闲的P队列,可运行的G队列,自由的G队列以及调度器的一些状态信息等。

package main
import (
  "fmt"
  "runtime"
  "time"
)
func routinetest(name string){
  for i:=0;i<3;i++{
    fmt.Println("routinetest",i,":hello,",name)
    time.Sleep(100*time.Millisecond)
  }
}
func main() {
  num :=runtime.NumCPU()
  fmt.Println(num)
  runtime.GOMAXPROCS(num)
  //runtime.GOMAXPROCS(1)
  //--------使用go开启协程----------
  go routinetest("lady")
  go routinetest("killer")
  time.Sleep(time.Second)
}

可以通过runtime.GOMAXPROCS设置cpu数,这里设置成了8个。

2020062310470442.png

通道Channel

相对于sync的低水平同步,使用channel可以实现高水平同步,channel是先进先出的。

数据结构

Channel 在运行时的内部表示是 runtime.hchan,该结构体中包含了用于保护成员变量的互斥锁,从某种程度上说,Channel 是一个用于同步和通信的有锁队列,使用互斥锁解决程序中可能存在的线程竞争问题是很常见的,我们能很容易地实现有锁队列。

type hchan struct {
  qcount   uint
  dataqsiz uint
  buf      unsafe.Pointer
  elemsize uint16
  closed   uint32
  elemtype *_type
  sendx    uint
  recvx    uint
  recvq    waitq
  sendq    waitq
  lock mutex
}

runtime.hchan 结构体中的五个字段 qcountdataqsizbufsendxrecv 构建底层的循环队列:

  • qcount — Channel 中的元素个数;
  • dataqsiz — Channel 中的循环队列的长度;
  • buf — Channel 的缓冲区数据指针;
  • sendx — Channel 的发送操作处理到的位置;
  • recvx — Channel 的接收操作处理到的位置;

除此之外,elemsize 和 elemtype 分别表示当前 Channel 能够收发的元素类型和大小;sendq 和 recvq 存储了当前 Channel 由于缓冲区空间不足而阻塞的 Goroutine 列表,这些等待队列使用双向链表 runtime.waitq 表示,链表中所有的元素都是 runtime.sudog 结构:

type waitq struct {
  first *sudog
  last  *sudog
}

runtime.sudog 表示一个在等待列表中的 Goroutine,该结构中存储了两个分别指向前后 runtime.sudog 的指针以构成链表。

声明&初始化

初始化需要使用make(t Type, size ...IntegerType) Type,size为缓存大小

var b chan int

var c = make(chan int)

var d = make(chan int,10)

b为nil,c为无缓存channel,d为有缓存channel

发送与接收

发送使用channel<-data,接收使用[var,ok]:=<-channel,当左侧没有变量接收时会直接丢弃掉数据,ok可以标识channel是否有数据,无数据是,接收变量获取到的是对应类型的零值。

对于nil的channel,发送和接收都会阻塞,所以不make的channel没有用,实际编程中channel应该都初始化

对于无缓存的channel,发送后会阻塞,直至接收

对于有缓存的channel,满了后发送会被阻塞,接收无影响

遍历和关闭

close

关闭后无法写入,只能读取,例如

close(d)

普通for循环

  for j := 0;j<len(c); j++{
    fmt.Println(<-c)
  }

若取的时候,没有其他goroutine写入的话,会读出一半。例如,刚开始len(c)是10个,当j为5时,len(c)也是5了,就跳出循环了。

  for j := 0;len(c)!=0; j++{
    fmt.Println(<-c)
  }

上面这种方法可以

for range

关闭后可以正常遍历,遍历也是从channel中接收值,大小会变化,例如

  for data := range d{
    fmt.Println(data)
  }

若不关闭,会一直接收数据,即使当前channel没有数据了,无goroutine写入时会block,若是在main routine中,会导致deadlock错误。

                                      channel状态总结

image.png

单方向的channel

只发送chan<-int

只接收

var in =  make(chan <- int)
var out = make(<-chan int,3)

channel中的channel

package main
import "fmt"
type Request struct{
  num int
  result chan int
}
func result(r Request)  {
  r.result <- r.num + 1
}
func main() {
  r := Request{1,make(chan int)}
  go result(r)
  fmt.Println(<-r.result)
}

常见错误

panic: close of nil channel


关闭nil的channel


fatal error: all goroutines are asleep - deadlock!


main routine被永久阻塞,例如,接收一个空的channel,一直没有goroutine向里面放数据


panic: send on closed channel


向关闭的channel中发送数据

time与select

select是针对并发特有的控制结构。和switch很像,但每个case不是表达式而是通信,当有多个case可以时,将伪随机选择一个,所以不能依赖select来做顺序通信。

超时

func After(d Duration) <-chan Time

到达一定时间后可以从channel接收数据

package main
import (
  "fmt"
  "math/rand"
  "time"
)
func main() {
  timeout := time.After(2*time.Second)
  c := make(chan int)
  go func() {
    for {
      c<-0
      time.Sleep(time.Duration(rand.Intn(500))*time.Millisecond)
    }
  }()
  for {
    select {
    case <-c:
      fmt.Println("I'm working...")
    case <-timeout:
      fmt.Println("time out")
      return
    }
  }
}

2020062310470442.png

时间间隔

func Tick(d Duration) <-chan Time

package main
import (
  "fmt"
  "math/rand"
  "time"
)
func main() {
  timeout := time.After(3*time.Second)
  timetrick := time.Tick(time.Second)
  c := make(chan int)
  go func() {
    for {
      c<-0
      time.Sleep(time.Duration(rand.Intn(500))*time.Millisecond)
    }
  }()
  for {
    select {
    case <-c:
      fmt.Println("I'm working...")
    case <-timetrick:
      fmt.Println("1 second pass")
    case <-timeout:
      fmt.Println("3 second")
      return
    }
  }
}

2020062310470442.png

并发的后序内容查看:

Go-并发模式1(Basic Examples)

Go-并发模式2(Patterns)

更多Go相关内容:Go-Golang学习总结笔记

有问题请下方评论,转载请注明出处,并附有原文链接,谢谢!如有侵权,请及时联系

相关文章
|
1月前
|
并行计算 安全 Go
Go语言中的并发编程:掌握goroutines和channels####
本文深入探讨了Go语言中并发编程的核心概念——goroutine和channel。不同于传统的线程模型,Go通过轻量级的goroutine和通信机制channel,实现了高效的并发处理。我们将从基础概念开始,逐步深入到实际应用案例,揭示如何在Go语言中优雅地实现并发控制和数据同步。 ####
|
2月前
|
安全 Serverless Go
Go语言中的并发编程:深入理解与实践####
本文旨在为读者提供一个关于Go语言并发编程的全面指南。我们将从并发的基本概念讲起,逐步深入到Go语言特有的goroutine和channel机制,探讨它们如何简化多线程编程的复杂性。通过实例演示和代码分析,本文将揭示Go语言在处理并发任务时的优势,以及如何在实际项目中高效利用这些特性来提升性能和响应速度。无论你是Go语言的初学者还是有一定经验的开发者,本文都将为你提供有价值的见解和实用的技巧。 ####
|
2月前
|
算法 安全 程序员
Go语言的并发编程:深入理解与实践####
本文旨在探讨Go语言在并发编程方面的独特优势及其实现机制,通过实例解析关键概念如goroutine和channel,帮助开发者更高效地利用Go进行高性能软件开发。不同于传统的摘要概述,本文将以一个简短的故事开头,引出并发编程的重要性,随后详细阐述Go语言如何简化复杂并发任务的处理,最后通过实际案例展示其强大功能。 --- ###
|
2月前
|
Go 调度 开发者
Go语言中的并发编程:深入理解goroutines和channels####
本文旨在探讨Go语言中并发编程的核心概念——goroutines和channels。通过分析它们的工作原理、使用场景以及最佳实践,帮助开发者更好地理解和运用这两种强大的工具来构建高效、可扩展的应用程序。文章还将涵盖一些常见的陷阱和解决方案,以确保在实际应用中能够避免潜在的问题。 ####
|
2月前
|
安全 Go 数据处理
Go语言中的并发编程:掌握goroutine和channel的艺术####
本文深入探讨了Go语言在并发编程领域的核心概念——goroutine与channel。不同于传统的单线程执行模式,Go通过轻量级的goroutine实现了高效的并发处理,而channel作为goroutines之间通信的桥梁,确保了数据传递的安全性与高效性。文章首先简述了goroutine的基本特性及其创建方法,随后详细解析了channel的类型、操作以及它们如何协同工作以构建健壮的并发应用。此外,还介绍了select语句在多路复用中的应用,以及如何利用WaitGroup等待一组goroutine完成。最后,通过一个实际案例展示了如何在Go中设计并实现一个简单的并发程序,旨在帮助读者理解并掌
|
29天前
|
存储 监控 算法
员工上网行为监控中的Go语言算法:布隆过滤器的应用
在信息化高速发展的时代,企业上网行为监管至关重要。布隆过滤器作为一种高效、节省空间的概率性数据结构,适用于大规模URL查询与匹配,是实现精准上网行为管理的理想选择。本文探讨了布隆过滤器的原理及其优缺点,并展示了如何使用Go语言实现该算法,以提升企业网络管理效率和安全性。尽管存在误报等局限性,但合理配置下,布隆过滤器为企业提供了经济有效的解决方案。
79 8
员工上网行为监控中的Go语言算法:布隆过滤器的应用
|
1月前
|
存储 Go 索引
go语言中数组和切片
go语言中数组和切片
46 7
|
1月前
|
Go 开发工具
百炼-千问模型通过openai接口构建assistant 等 go语言
由于阿里百炼平台通义千问大模型没有完善的go语言兼容openapi示例,并且官方答复assistant是不兼容openapi sdk的。 实际使用中发现是能够支持的,所以自己写了一个demo test示例,给大家做一个参考。
|
1月前
|
程序员 Go
go语言中结构体(Struct)
go语言中结构体(Struct)
113 71