再次探讨go实现无限 buffer 的 channel方法
来源:脚本之家
时间:2023-01-08 13:37:34 275浏览 收藏
亲爱的编程学习爱好者,如果你点开了这篇文章,说明你对《再次探讨go实现无限 buffer 的 channel方法》很感兴趣。本篇文章就来给大家详细解析一下,主要介绍一下channel、gobuffer,希望所有认真读完的童鞋们,都有实质性的提高。
ch := make(chan interface{})
另一种是 buffered channel,其声明方式为
bufferSize := 5
ch := make(chan interface{},bufferSize)
对于一个 buffered channel,无论它的 buffer 有多大,它终究是有极限的。这个极限就是该 channel 最初被 make 时,所指定的 bufferSize 。
jojo,buffer channel 的大小是有极限的,我不做 channel 了。
一旦 channel 满了的话,再往里面添加元素的话,将会阻塞。
so how can we make a infinite buffer channel?
本文参考了 medinum 上面的一篇文章,有兴趣的同学可以直接阅读原文。
实现
接口的设计
首先当然是建一个 struct,在百度翻译的帮助下,我们将这个 struct 取名为 InfiniteChannel
type InfiniteChannel struct {
}
思考一下 channel 的核心行为,实际上就两个,一个流入(Fan in),一个流出(Fan out),因此我们添加如下几个 method。
func (c *InfiniteChannel) In(val interface{}) {
// todo
}
func (c *InfiniteChannel) Out() interface{} {
// todo
}
内部实现
通过 In() 接收的数据,总得需要一个地方来存放。我们可以用一个 slice 来存放,就算用 In() 往里面添加了很多元素,也可以通过 append() 来拓展 slice,slice 的容量可以无限拓展下去(内存足够的话),所以 channel 也是 infinite 。 InfiniteChannel 的第一个成员就这么敲定下来的。
type InfiniteChannel struct {
data []interface{}
}
用户调用 In() 和 Out() 时,可能是并发的环境,在 go 中如何进行并发编程,最容易想到的肯定是 channel 了,因此我们在内部准备两个 channel,一个 inChan,一个 outChan,用 inChan 来接收数据,用 outChan 来流出数据。
type InfiniteChannel struct {
inChan chan interface{}
outChan chan interface{}
data []interface{}
}
func (c *InfiniteChannel) In(val interface{}) {
c.inChan
其中, inChan 和 outChan 都是 unbuffered channel。
此外,也肯定是需要一个 select 来处理来自 inChan 和 outChan 身上的事件。因此我们另起一个协程,在里面做 select 操作。
func (c *InfiniteChannel) background() {
for true {
select {
case newVal :=
ps:感觉这也算是 go 并发编程的一个套路了。即
- 在 new struct 的时候,顺手 go 一个 select 协程,select 协程内执行一个 for 循环,不停的 select,监听一个或者多个 channel 的事件。
- struct 对外提供的 method,只会操作 struct 内的 channel(在本例中就是 inChan 和 outChan),不会操作 struct 内的其他数据(在本例中,In() 和 Out() 都没有直接操作 data)。
- 触发 channel 的事件后,由 select 协程进行数据的更新(在本例中就是 data )。因为只有 select 协程对除 channel 外的数据成员进行读写操作,且 go 保证了对于 channel 的并发读写是安全的,所以代码是并发安全的。
- 如果 struct 是 exported ,用户或许会越过 new ,直接手动 make 一个 struct,可以考虑将 struct 设置为 unexported,把它的首字母小写即可。
pop() 的实现也非常简单。
// 取出队列的首个元素,如果队列为空,将会返回一个 nil
func (c *InfiniteChannel) pop() interface{} {
if len(c.data) == 0 {
return nil
}
val := c.data[0]
c.data = c.data[1:]
return val
}
测试一下
用一个协程每秒钟生产一条数据,另一个协程每半秒消费一条数据,并打印。
func main() {
c := NewInfiniteChannel()
go func() {
for i := 0; i
// out
012345678910111213141516171819
Process finished with the exit code 0
可以看到,将 InfiniteChannel 内没有数据可供消费时,调用 Out() 将会返回一个 nil,不过这也在我们的意料之中,原因是 pop() 在队列为空时,将会返回 nil。
目前 InfiniteChannel 的行为与标准的 channel 的行为是有出入的,go 中的 channel,在没有数据却仍要取数据时会被阻塞,如何实现这个效果?
优化
我认为此处是是整篇文章最有技巧的地方,我第一次看到时忍不住拍案叫绝。
首先把原来的 background() 摘出来
func (c *InfiniteChannel) background() {
for true {
select {
case newVal :=
对 outChan 进行一个简单封装
func (c *InfiniteChannel) background() {
for true {
select {
case newVal :=
目前为止,一切照旧。
点睛之笔来了:
func (c *InfiniteChannel) outChanWrapper() chan interface{} {
if len(c.data) == 0 {
return nil
}
return c.outChan
}
在 c.data 为空的时候,返回一个 nil
在 background() 中,当执行到 case c.outChan 时,实际上将会变成:
case nil
在 go 中,是无法往一个 nil 的 channel 中发送元素的。例如
func main() {
var c chan interface{}
select {
case c
因此,对于
select {
case newVal :=
将会一直阻塞在 select 那里,直到 inChan 来了数据。
再测试一下
012345678910111213141516171819fatal error: all goroutines are asleep - deadlock!
最后,程序 panic 了,因为死锁了。
补充
实际上 channel 除了 In() 和 Out() 外,还有一个行为,即 close(),如果 channel close 后,依旧从其中取元素的话,将会取出该类型的默认值。
func main() {
c := make(chan interface{})
close(c)
for true {
v :=
//
//
//
func main() {
c := make(chan interface{})
close(c)
for true {
v, isOpen := false
// false
// false
// false
我们也需要实现相同的效果。
func (c *InfiniteChannel) Close() {
close(c.inChan)
}
func (c *InfiniteChannel) background() {
for true {
select {
case newVal, isOpen :=
再测试一下
func main() {
c := NewInfiniteChannel()
go func() {
for i := 0; i
// output
012345678910111213141516171819
Process finished with the exit code 0
符合预期
遗憾
目前看上去已经很完美了,但是和标准的 channel 相比,仍然有差距。因为标准的 channel 是有这种用法的
v,isOpen :=
可以通过 isOpen 变量来获取 channel 的开闭情况。
因此 InfiniteChannel 也应该提供一个类似的 method
func (c *InfiniteChannel) OutAndIsOpen() (interface{}, bool) {
// todo
}
可惜的是,要想得知 InfiniteChannel 是否是 Open 的,就必定要访问 InfiniteChannel 内的 isOpen 成员。
type InfiniteChannel struct {
inChan chan interface{}
outChan chan interface{}
data []interface{}
isOpen bool
}
而 isOpen 并非 channel 类型,根据之前的套路,这种非 channel 类型的成员只应该被 select 协程访问。一旦有多个协程访问,就会出现并发问题,除非加锁。
我不能接受!所以干脆不提供这个 method 了,嘿嘿。
完整代码
func main() {
c := NewInfiniteChannel()
go func() {
for i := 0; i
参考
https://medium.com/capital-one-tech/building-an-unbounded-channel-in-go-789e175cd2cd
理论要掌握,实操不能落!以上关于《再次探讨go实现无限 buffer 的 channel方法》的详细介绍,大家都掌握了吧!如果想要继续提升自己的能力,那么就来关注golang学习网公众号吧!
-
200 收藏
-
440 收藏
-
477 收藏
-
399 收藏
-
455 收藏
-
441 收藏
-
Golang · Go教程 | 21小时前 | errgroup · Context · Go教程 · 后端工程 · Golang实战 · 并发治理 · golang Go 并发编程 错误处理 context errgroup 后端工程 生产实践 SetLimit197 收藏
-
Golang · Go教程 | 22小时前 | singleflight · 并发编程 · Go教程 · 后端工程 · Golang实战 · 缓存治理 · golang Go 并发控制 缓存击穿 请求合并 后端工程 生产实践 singleflight350 收藏
-
Golang · Go教程 | 22小时前 | 超时控制 · 故障排查 · Go教程 · 后端工程 · Golang实战 · HTTP客户端 · golang Go 性能优化 net/http context Transport 超时 http.Client 生产实践205 收藏
-
Golang · Go教程 | 1天前 | 性能优化 · Go教程 · 后端工程 · Golang实战 · database/sql · 连接池调优 · golang Go 性能优化 连接池 MaxOpenConns database/sql 后端工程 DBStats242 收藏
-
Golang · Go教程 | 1天前 | web安全 · Go教程 · 后端工程 · Golang实战 · net/http · CSRF · golang 安全 Go net/http HTTP服务 csrf Go1.25 CrossOriginProtection183 收藏
-
Golang · Go教程 | 1天前 | 优雅关闭 · Go教程 · 后端工程 · Golang实战 · net/http · 服务治理 · golang shutdown Go net/http HTTP服务 优雅关闭 SIGTERM 生产实践135 收藏
-
Golang · Go教程 | 2天前 | 并发编程 · 数据竞争 · Go教程 · 生产实践 · race detector · golang Go 数据竞争 并发 sync atomic race detector go test -race147 收藏
-
311 收藏
-
324 收藏
-
203 收藏
-
413 收藏
-
- 前端进阶之JavaScript设计模式
- 设计模式是开发人员在软件开发过程中面临一般问题时的解决方案,代表了最佳的实践。本课程的主打内容包括JS常见设计模式以及具体应用场景,打造一站式知识长龙服务,适合有JS基础的同学学习。
- 立即学习 543次学习
-
- GO语言核心编程课程
- 本课程采用真实案例,全面具体可落地,从理论到实践,一步一步将GO核心编程技术、编程思想、底层实现融会贯通,使学习者贴近时代脉搏,做IT互联网时代的弄潮儿。
- 立即学习 516次学习
-
- 简单聊聊mysql8与网络通信
- 如有问题加微信:Le-studyg;在课程中,我们将首先介绍MySQL8的新特性,包括性能优化、安全增强、新数据类型等,帮助学生快速熟悉MySQL8的最新功能。接着,我们将深入解析MySQL的网络通信机制,包括协议、连接管理、数据传输等,让
- 立即学习 500次学习
-
- JavaScript正则表达式基础与实战
- 在任何一门编程语言中,正则表达式,都是一项重要的知识,它提供了高效的字符串匹配与捕获机制,可以极大的简化程序设计。
- 立即学习 487次学习
-
- 从零制作响应式网站—Grid布局
- 本系列教程将展示从零制作一个假想的网络科技公司官网,分为导航,轮播,关于我们,成功案例,服务流程,团队介绍,数据部分,公司动态,底部信息等内容区块。网站整体采用CSSGrid布局,支持响应式,有流畅过渡和展现动画。
- 立即学习 485次学习