Go Channel的实现

2024-09-08 13:58
文章标签 实现 go channel

本文主要是介绍Go Channel的实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

channel作为goroutine间通信和同步的重要途径,是Go runtime层实现CSP并发模型重要的成员。在不理解底层实现时,经常在使用中对channe相关语法的表现感到疑惑,尤其是select case的行为。因此在了解channel的应用前先看一眼channel的实现。

Channel内存布局

channel是go的内置类型,它可以被存储到变量中,可以作为函数的参数或返回值,它在runtime层对应的数据结构式hchan。hchan维护了两个链表,recvq是因读这个chan而阻塞的G,sendq则是因写这个chan而阻塞的G。waitq队列中每个元素的数据结构为sudog,其中elem用于保存数据。

type hchan struct {qcount   uint           // total data in the queuedataqsiz uint           // size of the circular queuebuf      unsafe.Pointer // points to an array of dataqsiz elementselemsize uint16closed   uint32elemtype *_type // element typesendx    uint   // send indexrecvx    uint   // receive indexrecvq    waitq  // list of recv waiterssendq    waitq  // list of send waiterslock     mutex
}type sudog struct {g           *gselectdone  *uint32next        *sudogprev        *sudogelem        unsafe.Pointer // data elementreleasetime int64nrelease    int32  // -1 for acquirewaitlink    *sudog // g.waiting list
}

hchan只是channel的头部,头部后面的一段内存连续的数组将作为channel的缓冲区,即用于存放channel数据的环形队列。qcount datasize分别描述了缓冲区当前使用量和容量。若channel是无缓冲的,则size是0,就没有这个环形队列了。
在这里插入图片描述
创建chan需要知道数据类型和缓冲区大小。对应上面的结构图newarray将生成这个环形队列。之所以要分开指针类型缓冲区主要是为了区分gc操作,需要将它设置为flagNoScan。并且指针大小固定,可以跟hchan头部一起分配内存,不需要先new(hchan)newarry

声明但不make初始化的chan是nil chan。读写nil chan会阻塞,关闭nil chan会panic。

func makechan(t *chantype, size int64) *hchan {elem := t.elemvar c *hchanif elem.kind&kindNoPointers != 0 || size == 0 {c = (*hchan)(mallocgc(hchanSize+uintptr(size)*uintptr(elem.size), nil, flagNoScan))if size > 0 && elem.size != 0 {c.buf = add(unsafe.Pointer(c), hchanSize)} else {c.buf = unsafe.Pointer(c)}} else {c = new(hchan)c.buf = newarray(elem, uintptr(size))}c.elemsize = uint16(elem.size)c.elemtype = elemc.dataqsiz = uint(size)return c
}

Channel操作

从实现中可见读写chan都要lock,这跟读写共享内存一样都有lock的开销。

数据在chan中的传递方向从chansend开始从入参最终写入recvq中的goroutine的数据域,这中间如果发生阻塞可能先写入sendq中goroutine的数据域等待中转。

从gopark返回后sudog对象可重用。

同步读写

写channel c<-x 调用runtime.chansend。读channel <-c 调用runtime.chanrecv。总结同步读写的过程就是:

  • 写chan时优先检查recvq中有没有等待读chan的goroutine,若有从recvq中出队sudoG。syncsend将要写入chan的数据ep复制给刚出队的sudoG的elem域。通过goready唤醒接收者G,状态设置为_Grunnable,之后放进P本地待运行队列。之后这个读取到数据的G可以再次被P调度了。
  • 写chan时如果没有G等待读,当前G因等待写而阻塞。这时创建或获取acquireSudog,封装上要写入的数据进入sendq队列。同时当前Ggopark休眠等待被唤醒。
  • 读chan时优先唤醒sendq中等待写的goroutine,并从中获取数据;若没人写则将自己挂到recvq中等待唤醒。
func chansend(t *chantype, c *hchan, ep unsafe.Pointer, 
block bool, callerpc uintptr) bool {
...lock(&c.lock)if c.dataqsiz == 0 { // synchronous channelsg := c.recvq.dequeue()if sg != nil { // found a waiting receiverunlock(&c.lock)recvg := sg.gsyncsend(c, sg, ep)goready(recvg, 3)return true}// no receiver available: block on this channel.mysg := acquireSudog()mysg.elem = ep  c.sendq.enqueue(mysg)goparkunlock(&c.lock, "chan send", traceEvGoBlockSend, 3)// someone woke us up.releaseSudog(mysg)return true}
}
func chanrecv(t *chantype, c *hchan, ep unsafe.Pointer, block bool) 
(selected, received bool) {if c.dataqsiz == 0 { // synchronous channelsg := c.sendq.dequeue()if sg != nil {unlock(&c.lock)typedmemmove(c.elemtype, ep, sg.elem)gp.param = unsafe.Pointer(sg)goready(gp, 3)return true, true}// no sender available: block on this channel.mysg := acquireSudog()mysg.elem = epc.recvq.enqueue(mysg)goparkunlock(&c.lock, "chan receive", traceEvGoBlockRecv, 3)// someone woke us upreleaseSudog(mysg)return recvclosed(c, ep)}
}

异步读写

异步与同步的区别就是读写时会优先检查缓冲区有没有数据读或有没有空间写。并且真正读写chan后会发生缓冲区变化,这时可能之前阻塞的goroutine有机会写和读了,所以要尝试唤醒它们。 总结过程:

  • 写chan时缓冲区已满,则将当前G和数据封装好放入sendq队列中等待写入,同时挂起gopark当前goroutine。若缓冲区未满,则直接将数据写入缓冲区,并更新缓冲区最新数据的index以及qcount。同时尝试从recvq中唤醒goready一个之前因为缓冲区无数据可读而阻塞的等待读的goroutine。
  • 读chan时首先看缓冲区有没有数据,若有则直接读取,并尝试唤醒一个之前因为缓冲区满而阻塞的等待写的goroutine,让它有机会写数据。若无数据可读则入队recvq。
func chansend(t *chantype, c *hchan, ep unsafe.Pointer, block bool, callerpc uintptr) bool {// asynchronous channelvar t1 int64for futile := byte(0); c.qcount >= c.dataqsiz; futile = traceFutileWakeup {mysg := acquireSudog()c.sendq.enqueue(mysg)goparkunlock(&c.lock, "chan send", traceEvGoBlockSend|futile, 3)// someone woke us up - try againreleaseSudog(mysg)}// write our data into the channel buffertypedmemmove(c.elemtype, chanbuf(c, c.sendx), ep)c.sendx++if c.sendx == c.dataqsiz {c.sendx = 0}c.qcount++// wake up a waiting receiversg := c.recvq.dequeue()if sg != nil {goready(sg.g, 3)} return true
}
func chanrecv(t *chantype, c *hchan, ep unsafe.Pointer, block bool) 
(selected, received bool) {// asynchronous channelfor futile := byte(0); c.qcount <= 0; futile = traceFutileWakeup {mysg := acquireSudog()c.recvq.enqueue(mysg)goparkunlock(&c.lock, "chan receive", traceEvGoBlockRecv|futile, 3)// someone woke us up - try againreleaseSudog(mysg)}typedmemmove(c.elemtype, ep, chanbuf(c, c.recvx))memclr(chanbuf(c, c.recvx), uintptr(c.elemsize))c.recvx++if c.recvx == c.dataqsiz {c.recvx = 0}c.qcount--// ping a sender now that there is spacesg := c.sendq.dequeue()if sg != nil {goready(sg.g, 3)}return true, true
}

关闭

通过goready唤醒recvq中等待读的goroutine,之后唤醒所有sendq中等待写的goroutine。因此close chan相当于解除所有因它阻塞的gouroutine的阻塞。

func closechan(c *hchan) {c.closed = 1// release all readersfor {sg := c.recvq.dequeue()if sg == nil {break}...goready(gp, 3)}// release all writersfor {sg := c.sendq.dequeue()if sg == nil {break}...goready(gp, 3)}
}

写closed chan或关闭 closed chan会导致panic。读closed chan永远不会阻塞,会返回一个通道数据类型的零值,返回给函数的参数ep。

所以通常在close chan时需要通过读操作来判断chan是否关闭。

if v, open := <- c; !open {// chan is closed
}

Happens before

在go memory model 里讲了happens-before问题很有意思。其中有一些跟chan相关的同步规则可以解释一些一直以来的疑问,记录如下:

  • 对带缓冲chan的写操作 happens-before相应chan的读操作
  • 关闭chan happens-before 从该chan读最后的返回值0
  • 不带缓冲的chan的读操作 happens-before相应chan的写操作
var c = make(chan int, 10)
var a string
func f() {a = "hello, world"  //(1)c <- 0  // (2)
}func main() {go f()<- c  //(3)print(a)  //(4)
}

(1) happens-before(2) (3) happens-before(4),再根据规则可知(2) happens(3)。因此(1)happens-before(4),这段代码没有问题,肯定会输出hello world。

var c = make(chan int)
var a string
func f() {a = "hello, world"  //(1)<-c  // (2)
}func main() {go f()c <- 0  //(3)print(a)  //(4)
}

同样根据规则三可知(2)happens-before(3) 最终可以保证(1) happens-before(4)。若c改成待缓冲的chan,则结果将不再有任何同步保证使得(2) happens-before(3)。

原文地址:Go Channel的实现

这篇关于Go Channel的实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1148305

相关文章

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

【C++】_list常用方法解析及模拟实现

相信自己的力量,只要对自己始终保持信心,尽自己最大努力去完成任何事,就算事情最终结果是失败了,努力了也不留遗憾。💓💓💓 目录   ✨说在前面 🍋知识点一:什么是list? •🌰1.list的定义 •🌰2.list的基本特性 •🌰3.常用接口介绍 🍋知识点二:list常用接口 •🌰1.默认成员函数 🔥构造函数(⭐) 🔥析构函数 •🌰2.list对象

【Prometheus】PromQL向量匹配实现不同标签的向量数据进行运算

✨✨ 欢迎大家来到景天科技苑✨✨ 🎈🎈 养成好习惯,先赞后看哦~🎈🎈 🏆 作者简介:景天科技苑 🏆《头衔》:大厂架构师,华为云开发者社区专家博主,阿里云开发者社区专家博主,CSDN全栈领域优质创作者,掘金优秀博主,51CTO博客专家等。 🏆《博客》:Python全栈,前后端开发,小程序开发,人工智能,js逆向,App逆向,网络系统安全,数据分析,Django,fastapi

让树莓派智能语音助手实现定时提醒功能

最初的时候是想直接在rasa 的chatbot上实现,因为rasa本身是带有remindschedule模块的。不过经过一番折腾后,忽然发现,chatbot上实现的定时,语音助手不一定会有响应。因为,我目前语音助手的代码设置了长时间无应答会结束对话,这样一来,chatbot定时提醒的触发就不会被语音助手获悉。那怎么让语音助手也具有定时提醒功能呢? 我最后选择的方法是用threading.Time

Android实现任意版本设置默认的锁屏壁纸和桌面壁纸(两张壁纸可不一致)

客户有些需求需要设置默认壁纸和锁屏壁纸  在默认情况下 这两个壁纸是相同的  如果需要默认的锁屏壁纸和桌面壁纸不一样 需要额外修改 Android13实现 替换默认桌面壁纸: 将图片文件替换frameworks/base/core/res/res/drawable-nodpi/default_wallpaper.*  (注意不能是bmp格式) 替换默认锁屏壁纸: 将图片资源放入vendo

C#实战|大乐透选号器[6]:实现实时显示已选择的红蓝球数量

哈喽,你好啊,我是雷工。 关于大乐透选号器在前面已经记录了5篇笔记,这是第6篇; 接下来实现实时显示当前选中红球数量,蓝球数量; 以下为练习笔记。 01 效果演示 当选择和取消选择红球或蓝球时,在对应的位置显示实时已选择的红球、蓝球的数量; 02 标签名称 分别设置Label标签名称为:lblRedCount、lblBlueCount

Kubernetes PodSecurityPolicy:PSP能实现的5种主要安全策略

Kubernetes PodSecurityPolicy:PSP能实现的5种主要安全策略 1. 特权模式限制2. 宿主机资源隔离3. 用户和组管理4. 权限提升控制5. SELinux配置 💖The Begin💖点点关注,收藏不迷路💖 Kubernetes的PodSecurityPolicy(PSP)是一个关键的安全特性,它在Pod创建之前实施安全策略,确保P

工厂ERP管理系统实现源码(JAVA)

工厂进销存管理系统是一个集采购管理、仓库管理、生产管理和销售管理于一体的综合解决方案。该系统旨在帮助企业优化流程、提高效率、降低成本,并实时掌握各环节的运营状况。 在采购管理方面,系统能够处理采购订单、供应商管理和采购入库等流程,确保采购过程的透明和高效。仓库管理方面,实现库存的精准管理,包括入库、出库、盘点等操作,确保库存数据的准确性和实时性。 生产管理模块则涵盖了生产计划制定、物料需求计划、

C++——stack、queue的实现及deque的介绍

目录 1.stack与queue的实现 1.1stack的实现  1.2 queue的实现 2.重温vector、list、stack、queue的介绍 2.1 STL标准库中stack和queue的底层结构  3.deque的简单介绍 3.1为什么选择deque作为stack和queue的底层默认容器  3.2 STL中对stack与queue的模拟实现 ①stack模拟实现

基于51单片机的自动转向修复系统的设计与实现

文章目录 前言资料获取设计介绍功能介绍设计清单具体实现截图参考文献设计获取 前言 💗博主介绍:✌全网粉丝10W+,CSDN特邀作者、博客专家、CSDN新星计划导师,一名热衷于单片机技术探索与分享的博主、专注于 精通51/STM32/MSP430/AVR等单片机设计 主要对象是咱们电子相关专业的大学生,希望您们都共创辉煌!✌💗 👇🏻 精彩专栏 推荐订阅👇🏻 单片机