首页 > 资讯 > > 正文

GO通道:无缓冲通道与缓冲通道

2023-06-18 17:31:33 来源:博客园 分享到:

转载请注明出处:


(相关资料图)

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
2.无缓冲通道

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

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

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

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

通道是通过关键字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("消息接收完成。")}
3.带缓冲通道

带缓冲通道(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之间使用通道必然存在写入和获取操作,这种模式类型的典型例子为生产者消费者模式。如果不限制通道长度,当写入数据速度大于获取速度,内存将不断膨胀直到应用崩溃。因此,限制通道的长度有利于约束数据生产速度,生产数据量必须在数据消费速度+通道长度的范围内,这样才能正常地处理数据。

标签:

x 广告
x 广告

Copyright ©  2015-2022 亚洲仪表网版权所有  备案号:京ICP备2021034106号-51   联系邮箱:5 516 538 @qq.com