channel底层实现原理

终生成长者

已于 2022-11-22 16:35:41 修改

阅读量1.4k

点赞数 1

分类专栏： golang面试题文章标签：服务器性能优化 golang

于 2022-11-21 21:37:33 首次发布

本文链接：https://blog.csdn.net/qq_51537858/article/details/127972953

版权

golang面试题专栏收录该内容

17 篇文章 1 订阅

订阅专栏

前言

channel是Golang在语言层面提供的goroutine间的通信方式，比Unix管道更易用也更轻便。channel主要用于进程内各goroutine间通信，

一、chan数据结构

src/runtime/chan.go:hchan定义了channel的数据结构

type hchan struct {
    qcount   uint           // 当前队列中剩余元素个数
    dataqsiz uint           // 环形队列长度，即可以存放的元素个数
    buf      unsafe.Pointer // 环形队列指针
    elemsize uint16         // 每个元素的大小
    closed   uint32            // 标识关闭状态
    elemtype *_type         // 元素类型
    sendx    uint           // 队列下标，指示元素写入时存放到队列中的位置
    recvx    uint           // 队列下标，指示元素从队列的该位置读出
    recvq    waitq          // 等待读消息的goroutine队列
    sendq    waitq          // 等待写消息的goroutine队列
    lock mutex              // 互斥锁，chan不允许并发读写
}

1.环形队列

chan内部实现了一个环形队列作为其缓冲区，队列的长度是创建chan时指定的。

2.等待队列

从channel读数据，如果channel缓冲区为空或者没有缓冲区，当前goroutine会被阻塞。向channel写数据，如果channel缓冲区已满或者没有缓冲区，当前goroutine会被阻塞。

被阻塞的goroutine将会挂在channel的等待队列中：
1.因读阻塞的goroutine会被向channel写入数据的goroutine唤醒；
2.因写阻塞的goroutine会被从channel读数据的goroutine唤醒；
在这里插入图片描述

3.类型消息

一个channel只能传递一种类型的值，类型信息存储在hchan数据结构中。

elemtype代表类型，用于数据传递过程中的赋值；
elemsize代表类型大小，用于在buf中定位元素位置。

4.锁

一个channel同时仅允许被一个goroutine读写

二、channel读写

1.创建channel

创建channel的过程实际上是初始化hchan结构。其中类型信息和缓冲区长度由make语句传入，buf的大小则与元素大小和缓冲区长度共同决定。

创建channel的伪代码如下所示：

func makechan(t *chantype, size int) *hchan {
    var c *hchan
    c = new(hchan)
    c.buf = malloc(元素类型大小*size)
    c.elemsize = 元素类型大小
    c.elemtype = 元素类型
    c.dataqsiz = size

    return c
}

2.向channel写数据

向一个channel中写数据简单过程如下：

如果等待接收队列recvq不为空，说明缓冲区中没有数据或者没有缓冲区，此时直接从recvq取出G,并把数据写入，最后把该G唤醒，结束发送过程；
如果缓冲区中有空余位置，将数据写入缓冲区，结束发送过程；
如果缓冲区中没有空余位置，将待发送数据写入G，将当前G加入sendq，进入睡眠，等待被读goroutine唤醒；
在这里插入图片描述

3.向channel读数据

从一个channel读数据简单过程如下：

如果等待发送队列sendq不为空，且没有缓冲区，直接从sendq中取出G，把G中数据读出，最后把G唤醒，结束读取过程；
如果等待发送队列sendq不为空，此时说明缓冲区已满，从缓冲区中首部读出数据，把G中数据写入缓冲区尾部，把G唤醒，结束读取过程；
如果缓冲区中有数据，则从缓冲区取出数据，结束读取过程；
将当前goroutine加入recvq，进入睡眠，等待被写goroutine唤醒；

简单流程图如下：

4.关闭channel

关闭channel时会把recvq中的G全部唤醒，本该写入G的数据位置为nil。把sendq中的G全部唤醒，但这些G会panic。

除此之外，panic出现的常见场景还有：

● 给一个 nil channel 发送数据，造成永远阻塞
● 从一个 nil channel 接收数据，造成永远阻塞
● 给一个已经关闭的 channel 发送数据，引起 panic
● 从一个已经关闭的 channel 接收数据，如果缓冲区中为空，则返回一个零值
● 无缓冲的channel是同步的，而有缓冲的channel是非同步的
口诀：空读写阻塞，写关闭异常，读关闭空零：