GO通道:无缓冲通道与缓冲通道
阅读原文时间:2023年08月21日阅读:1

转载请注明出处:

  在多个协程之间进行通信和管理,可以使用 Go 语言提供的通道(Channel)类型。通道是一种特殊的数据结构,可以在协程之间进行传递数据,从而实现协程之间的通信和同步。多个协程可以同时读写同一个通道,通过通道来进行数据的传递和共享。

  通道遵循先入先出(First In First Out)的原则,保证收发数据的顺序。通道是一个特殊的数据类型,在使用之前必须定义和创建通道变量,定义通道的语法如下:

var name chan type

  语法格式说明如下:

    1)var是Go语言关键字,用于定义变量。

    2)name是通道变量名称,可自行命名。

    3)chan是Go语言关键字,将变量定义为通道类型。

    4)type是通道存放的数据类型。

  通道定义之后,还需要使用关键字make创建通道,通道的创建语法如下:

name := make(chan type, num)

  语法格式说明如下:

    1)name是通道变量名称,可自行命名。

    2)make是Go语言关键字,用于创建通道。

    3)chan type的chan是Go语言关键字,type是通道能存放的数据类型。

    4)num是通道存放数据的数量上限。

  在实际编程中,我们直接使用关键字make创建通道即可使用,这样能省去定义通道的过程,示例代码如下:

  // 定义和创建通道
var ch chan string
ch = make(chan string)
// 直接创建通道,无须定义
ch := make(chan string)

   通道创建之后,使用通道完成写入和读取数据操作。在通道里面写入和读取数据需要由<-操作符实现,使用说明如下:

  // 构建通道
ch := make(chan string)
// 往通道写入数据
ch <- "Hello"
// 从通道获取数据,赋予变量s
s := <- ch

  无缓冲通道是 Go 语言中一种常见的通道类型,也称为同步通道或阻塞通道。无缓冲通道的特点是在发送和接收数据时,必须有另外一个协程同时进行相反的操作,否则会阻塞当前协程。 具体来说,无缓冲通道的特点如下:

  1. 发送和接收操作是同步的,即发送操作必须等待接收操作完成后才能继续执行,接收操作也必须等待发送操作完成后才能继续执行。

  2. 无缓冲通道的容量为 0,即只有在发送和接收操作同时进行时才能传递数据,否则会阻塞当前协程。

  3. 无缓冲通道的数据传递是按照先进先出的顺序进行的,即发送的数据会按照发送的顺序被接收。 无缓冲通道可以用于协程之间的同步和通信,例如在生产者和消费者模式中,可以使用无缓冲通道来传递数据,从而保证生产者和消费者之间的同步和互斥。同时,无缓冲通道的使用也可以避免数据竞争问题,从而提高程序的安全性和可靠性。

      通道是通过关键字make创建的,在创建过程中,如果没有设置参数num,则视为创建无缓冲通道。无缓冲通道(Unbuffered Channel)是指在获取数据之前没有能力保存数据的通道,这种类型的通道要求两个Goroutine同时处于执行状态才能完成写入和获取操作。

      如果两个Goroutine没有同时准备,某一个Goroutine执行写入或获取操作将会处于阻塞等待状态,另一个Goroutine无法执行写入或获取操作,程序将会提示异常,这种类型的通道执行写入和获取的交互行为是同步,任意一个操作都无法离开另一个操作单独存在。

      当我们使用无缓冲通道的时候,必须注意通道变量的操作,确保程序中有两个或两个以上的Goroutine同时执行通道的读写操作,读写操作必须是一读一写,不能只读不写或只写不读,示例如下:

    // 只写入数据,不读取
    ch := make(chan string)
    ch <- "Tom"
    fmt.Println("wait goroutine")
    // 只读取数据,不写入
    ch := make(chan string)
    <- ch
    fmt.Println("wait goroutine")

      通道数据只写入不读取或者只读取不写入都会提示fatal error: all goroutines are asleep–deadlock异常,如果需要实现通道数据获取超时检测,可以使用关键字select实现。

      如果程序中仅有一个Goroutine,使用通道读写数据也会导致异常,比如在主函数main()中对通道写入数据,再读取通道数据,示例如下:

    package main
    import (
    "fmt"
    )
    func main() {
    // 构建通道
    ch := make(chan string)
    // 写入通道数据
    ch <- "Tom"
    // 读取通道数据
    <-ch
    fmt.Println("wait goroutine")
    }

      如果在发送和接收数据时出现异常,则会引发程序异常。例如,如果我们在发送数据之前关闭通道,则会引发一个运行时异常。为了避免这种情况的发生,我们可以使用 defer 语句在函数退出之前关闭通道。例如:

func main() {
ch := make(chan int)
defer close(ch) // 使用 defer 关闭通道
go func() {
fmt.Println("开始发送消息…")
ch <- 1
fmt.Println("消息发送完成。")
}()
fmt.Println("开始接收消息…")
msg := <-ch
fmt.Printf("接收到的消息是:%d\n", msg)
fmt.Println("消息接收完成。")
}

  带缓冲通道(Buffered Channel)是在被获取前能存储一个或者多个数据的通道,这种类型的通道并不强制要求Goroutine之间必须同时完成写入和获取。当通道中没有数据的时候,获取动作才会阻塞;当通道没有可用缓冲区存储数据的时候,写入动作才会阻塞。

  在无缓冲通道的基础上,只要为通道增加一个有限大小的存储空间就能形成带缓冲通道。带缓冲通道在写入时无须等待获取即可再次执行下一轮写入,并且不会发生阻塞,只有当存储空间满了才会发生阻塞。同理,如果带缓冲通道中有数据,获取时将不会发生阻塞,直到通道中没有数据可读时,通道才会阻塞。

  从通道的定义角度分析,带缓冲和无缓冲通道的区别在于参数num。创建通道的时候,如果没有设置参数num,则默认参数值为0,通道为无缓冲通道,所以写入和获取数据必须同时进行才不会因阻塞而异常;如果参数num大于0,则写入和获取数据无须同步执行,因为通道有足够的空间存放数据。

  由于带缓冲通道没有读写同步限制,我们可以在同一个Goroutine中执行多次写入和获取操作,具体示例如下:

package main
import "fmt"
func main() {
// 创建一个3个元素缓冲大小的整型通道
ch := make(chan int, 3)
// 查看当前通道的大小
fmt.Println(len(ch))
// 发送3个整型元素到通道
for i := 0; i < 3; i++ {
ch <- i
}
// 查看当前通道的大小
fmt.Println(len(ch))
for i := 0; i < 3; i++ {
fmt.Println(<-ch)
}
// 查看当前通道的大小
fmt.Println(len(ch))
// 查看当前通道的容量
fmt.Println(cap(ch))
}

  上述代码的说明如下:

    1)通过for执行了3次循环,每次循环将变量i写入通道,然后通过3次循环从通道获取数据并输出。

    2)通道写入和读取数据的时候,使用len()函数获取通道已有的数据量,判断当前通道存储的数据量是否达到上限,这样可以防止程序在运行时提示异常。

    3)使用cap()函数能获取通道的容量大小,即获取创建通道make()的参数num的大小。带缓冲通道在很多特性上和无缓冲通道类似,无缓冲通道可以看作长度为0的带缓冲通道。

  根据这个特性,带缓冲通道在下列情况下会发生阻塞:

    1)带缓冲通道的存储数据达到上限时,再次写入数据将发生阻塞而导致异常。

  2)带缓冲通道没有存储数据时,获取数据将发生阻塞而导致异常。

Go语言为什么对通道要限制长度?因为多个Goroutine之间使用通道必然存在写入和获取操作,这种模式类型的典型例子为生产者消费者模式。如果不限制通道长度,当写入数据速度大于获取速度,内存将不断膨胀直到应用崩溃。因此,限制通道的长度有利于约束数据生产速度,生产数据量必须在数据消费速度+通道长度的范围内,这样才能正常地处理数据。

手机扫一扫

移动阅读更方便

阿里云服务器
腾讯云服务器
七牛云服务器

你可能感兴趣的文章