Golang——channel

channel是Go在语言层面提供的协程间的通信方式。通过channel我们可以实现多个协程之间的通信,并对协程进行并发控制。

使用注意:

  1. 管道没有缓冲区时,从管道中读取数据会阻塞,直到有协程向管道中写入数据。类似地,向管道中写入数据会阻塞,直到有协程从管道读取数据。

  2. 管道有缓冲区时,从管道中读取数据,如果缓冲区没有数据也会进行阻塞,直到有协程向管道中写入数据。向管道写入数据,如果缓冲区已满也会进行阻塞,直到有协程从管道中读取数据。

  3. 对于一个值为nil的管道,无论读写数据都会阻塞,而且是永久阻塞。

  4. 读取已经关闭的管道,如果管道有缓冲区的话,会获取缓冲区中的数据,如果缓冲区中没有数据会返回零值

  5. 向已经关闭的管道中写入数据会触发panic【panic:send on closed channel】

  6. 读取管道的时候会返回两个值,第一个是从管道中取出元素的值,第二个是检测管道的缓冲区中是否还有元素,如果有返回true,没有返回false。

    1. 我们从一个已经关闭的管道中读取元素,如果这一个管道有缓冲区并且缓冲区中有元素,那么会获取缓冲区中的元素并true。如果这一个缓冲区没有元素,那么就会返回该管道类型的零值和false。

底层实现:

channel的底层数据结构实现源码位置:src/runtime/chan.go:hchan

type hchan struct {
    qcount   uint           // 当前队列中的元素个数
    dataqsiz uint           // 队列的长度
    buf      unsafe.Pointer // 指向一个数组空间,channel中的队列是通过数组实现的
    elemsize uint16         // 类型的大小
    closed   uint32         // 是否已经关闭
    elemtype *_type         // 管道的类型
    sendx    uint           // 元素写入队列中的下标位置
    recvx    uint           // 从环形队列中读取元素的位置
    recvq    waitq          // 待读取队列,阻塞中
    sendq    waitq          // 待写入队列,阻塞中
    lock     mutex          //锁,防止多个协程同时操作一个管
}

channel的底层实现由环形队列、类型信息、等待队列三部分组成。

  1. 创建管道的过程实际就是初始化hchan结构体的过程

  2. 向管道中写入数据时

    1. 如果缓冲区有空余位置,则将数据写入缓冲区,结束发送过程

    2. 如果缓冲区中没有位置,则将当前协程加入sendq队列,进入睡眠并等待被取协程唤醒。如果读取队列不为空,则会直接将数据写入到等待读取的协程中,并等待唤醒读取的协程。【先检查recvq是否为空,再检查buf是否有空位置】

  3. 从管道中读取数据

    1. 如果缓冲区有数据,则直接读取缓冲区中数据,结束读取过程

    2. 如果缓冲区中没有数据,则将当前协程加入recvq队列,进入睡眠并等待被写入协程唤醒。如果写入队列不为空,并且没有缓冲区,那么此时将直接从sendq中的第一个协程获取数据。【先检查sendq是否为空,之后根据判断,如果为空,检查环形队列中是否有数据;如果不为空,检查是否有缓冲区,如果有缓冲区将取出缓冲区中的第一个数据,并将sendq队列中的第一个协程中的数据写入到buf中,如果没有缓冲区,则直接读取sendq队列中的第一个协程】

  4. 关闭管道

      关闭管道的时候会把recvq中的协程全部唤醒,这些协程获取到的数据都为对应类型的零值。同时也会把sendq队列中的协程全部唤醒,但是这些协程会触发panic。

常见用法:

  • switch-case 随机选择一个可执行的case进行执行,如果所有的case都不能执行,则执行default,如果没有default的话,则进行阻塞等待,直到有一个可执行的case。
  • for-range 可以作用于管道,如果遍历的管道没有关闭,则会将管道中的所有的元素遍历并取出,并阻塞读取管道中的元素;如果遍历的是一个已经关闭的管道,则会取出管道中的所有的元素,并正常关闭。
### GolangChannel 的用法与示例 Channel 是 Go 语言中的一个重要特性,用于在 Goroutines 之间安全地传递数据。它提供了一种简洁的方式来实现并发控制和通信。 #### 创建和初始化 Channel 可以使用 `make` 函数创建一个新的 channel。下面是一个简单的例子: ```go ch := make(chan int) ``` 此代码片段定义了一个整数类型的 channel[^1]。 #### 发送和接收数据 通过 `<-` 运算符可以在 channel 上发送或接收数据。以下是基本操作的例子: ```go // 向 channel 发送数据 ch <- value // 从 channel 接收数据 value := <-ch ``` 这些语句分别表示向 channel 发送数据和从 channel 获取数据的操作[^2]。 #### 使用带缓冲区的 Channel 无缓冲的 channel 只有当接收方准备好时才会继续执行;而带缓冲的 channel 则允许存储一定数量的数据项而不阻塞。可以通过指定第二个参数来设置缓冲大小: ```go bufferedCh := make(chan int, 10) ``` 这里创建了一个容量为 10 的带缓冲 channel[^3]。 #### 关闭 Channel 和遍历其值 关闭一个 channel 表明不会再有任何新的值被写入其中。这通常发生在生产者完成所有工作之后。消费者可以通过 range 循环自动处理直到 channel 被关闭为止的所有值: ```go close(ch) for val := range ch { fmt.Println(val) } ``` 注意,在多生产者的场景下应小心管理谁负责关闭 channel,以免引发 panic 错误。 #### Select 语句支持多个通道操作 Go 提供了 select 语句用来等待多个 communication 操作之一变得可用。这是一个典型的非阻塞 I/O 实现方式: ```go select { case msg1 := <-ch1: fmt.Println("received", msg1) case ch2 <- "ping": default: fmt.Println("no activity") } ``` 上述代码展示了如何监听来自不同 channels 的消息或者尝试发送一条新消息给某个 channel。 #### 完整示例:计数器应用 以下展示的是利用 goroutine 和 unbuffered channel 构建的一个简单计数器应用程序: ```go package main import ( "fmt" ) func counter(out chan<- int) { for i := 0; i < 100; i++ { out <- i // 将当前数值传送到 out channel } close(out) // 结束后关闭该 channel } func square(in <-chan int, out chan<- int) { for v := range in { // 遍历输入 channel 的每一个值 out <- v * v // 计算平方并传送至下一个 stage } close(out) // 处理完成后关闭 output channel } func printer(in <-chan int) { for v := range in { // 打印接收到的所有值 fmt.Println(v) } } func main() { naturals := make(chan int) squares := make(chan int) go counter(naturals) go square(naturals, squares) printer(squares) } ``` 在这个程序里,我们启动三个独立的任务——生成自然数序列、计算它们各自的平方以及打印最终的结果集。 ---
评论 1
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值