go version go1.11 windows/amd64
本文为解读 参考链接1 中的 菊花链 一节 的示例程序,此程序和 参考链接2 中代码有些类似:前者有范围,后者是无限循环。清楚了 参考链接1 的逻辑,就能理解 参考链接2 的代码。
测试代码——测试语句使用蓝色字:
package main import (
"fmt"
) // 6.菊花链
// 数据从一端流入,从另一端流出,看上去好像一个链表
// 过滤器
func xrange2() chan int {
// 从2开始自增的整数生成器
var ch chan int = make(chan int)
fmt.Println("xrange2 - ch @ ", ch)
go func() {
// 开出一个goroutine
for i := 2; ; i++ {
// 直到信道索要数据,才把i添加进信道
fmt.Println("xrange2: i = ", i)
ch <- i
}
} () return ch
} func filter(in chan int, number int) chan int {
// 输出一个整数队列,筛出是number倍数的,不是number的倍数的放入输出队列
// in: 输入队列
out := make(chan int)
fmt.Println("\nfilter - in @ ", in)
fmt.Println("filter - number: ", number)
go func() {
for {
i := <- in // 从输入中取一个
fmt.Println("filter - in @ ", in, ", i = ", i) if i % number != 0 {
fmt.Println("放入输出信道 in @ ", in, ", number = ", number)
out <- i // 放入输出信道
}
}
} () return out
} func main() {
// 6.菊花链
const max = // 找出10以内的所有素数 // 修改为10,便于通过测试语句理解逻辑
nums := xrange2() // 初始化一个整数生成器
number := <- nums // 从生成器中抓一个整数(2),作为初始化整数
fmt.Println("0.main - nums @ ", nums)
// number作为筛子,当筛子超过max的时候结束筛选
for number <= max {
fmt.Println(number) // 打印素数,筛子是一个素数 // 源代码,
nums = filter(nums, number) // 筛掉number的倍数
fmt.Println("1.main - nums @ ", nums)
number = <- nums
}
}
测试结果:
xrange2 - ch @ 0xc000050060
xrange2: i = 2
xrange2: i = 3
0.main - nums @ 0xc000050060
2 filter - in @ 0xc000050060
filter - number: 2
1.main - nums @ 0xc0000500c0
filter - in @ 0xc000050060 , i = 3
放入输出信道 in @ 0xc000050060 , number = 2
3 filter - in @ 0xc0000500c0
filter - number: 3
1.main - nums @ 0xc000050120
xrange2: i = 4
xrange2: i = 5
filter - in @ 0xc000050060 , i = 4
filter - in @ 0xc000050060 , i = 5
放入输出信道 in @ 0xc000050060 , number = 2
filter - in @ 0xc0000500c0 , i = 5
放入输出信道 in @ 0xc0000500c0 , number = 3
5 filter - in @ 0xc000050120
filter - number: 5
xrange2: i = 6
xrange2: i = 7
filter - in @ 0xc000050060 , i = 6
filter - in @ 0xc000050060 , i = 7
放入输出信道 in @ 0xc000050060 , number = 2
filter - in @ 0xc0000500c0 , i = 7
放入输出信道 in @ 0xc0000500c0 , number = 3
filter - in @ 0xc000050120 , i = 7
放入输出信道 in @ 0xc000050120 , number = 5
1.main - nums @ 0xc000050180
7 filter - in @ 0xc000050180
filter - number: 7
1.main - nums @ 0xc00001c060
xrange2: i = 8
xrange2: i = 9
filter - in @ 0xc000050060 , i = 8
filter - in @ 0xc000050060 , i = 9
放入输出信道 in @ 0xc000050060 , number = 2
filter - in @ 0xc0000500c0 , i = 9
xrange2: i = 10
xrange2: i = 11
filter - in @ 0xc000050060 , i = 10
filter - in @ 0xc000050060 , i = 11
放入输出信道 in @ 0xc000050060 , number = 2
filter - in @ 0xc0000500c0 , i = 11
放入输出信道 in @ 0xc0000500c0 , number = 3
filter - in @ 0xc000050120 , i = 11
放入输出信道 in @ 0xc000050120 , number = 5
filter - in @ 0xc000050180 , i = 11
放入输出信道 in @ 0xc000050180 , number = 7
解读
参考链接1 中存在一个Daisy-chain的示意图。
说明,第一次看这个程序时,完全没看懂,这几天看了更多资料后,再添加了写调试语句,运行多次才理解了这个程序——下午痛下决心搞明白它,也因此有了本文。
在 xrange2() 函数中,建立了一个 信道XD1,用它来发送 大于等于2 的整数(生成器)。因为是非缓冲型信道,所以,在其发送后会被阻塞,直到发送的数据被接收,接收后继续下一个数发送。
在 xrange2() 函数中创建了一个goroutine(协程XC1),用来实现 让 信道XD1 发送数据,一直在运行,直到主程序(线程)结束。
在 main() 函数中,首先调用 xrange2() 函数建立一个 整数生成器nums(注意它的地址),再把初始的素数2赋值给number——来自信道XD1 发送的第一个数——接收完毕后,信道XD1又继续发送下一个整数3。
接着进入循环——有限,关键来了!调用 filter()函数 并将其返回值赋值给nums——这里,nums就改变了——测试语句中打印的信道的地址改变了!
说明,孤在理解这里的时候花了不少时间。
那么,filter()函数 中做了什么呢?新建了一个信道out,并把这个信道返回;另外,创建了一个goroutine——包含一个无限循环,从参数 信道in 中 获取一个值,然后将这个值和传入的参数(素数)number进行运算比较,如果获取的数 不能被 number 除尽,那么,使用信道out发送。无限循环 意味着这个goroutine会一直运行——直到主程序退出。
第一次调用时,从输入参数信道in中获取的数是 3,这个信道就是xrange2()函数中建立的信道XD1——这里收到了3 那么XD1发送4 然后等待下一次接收。3除以2除不尽,此时,信道out发送3,然后,等待下一次信道XD1发送数据。因为是无限循环,下一次的数据是4,在filter()函数中建立的第一个goroutine中收到了——信道XD1又发送5(阻塞),但它是2的倍数,因此被忽略。再次循环,受到5,无法被2除尽,使用out发送。
上面已经有两个goroutine了,现在回到主线程main函数中。
信道nums 成为了 filter()函数 中的out,获取了 第一个被2除不尽的 3,3小于max 10,开始 下一轮循环——打印3、再次调用 filter()函数。
filter()函数 新建信道out——地址变了、创建新的一个goroutine!这个新的goroutine里面的number是 3——筛掉3的倍数,之前的一个是2——筛掉2的倍数。
新的goroutine里面的的输入参数信道in为之前一个goroutine的信道out。在前面,第一个goroutine已经发送到了5,但没有被接收,因此,阻塞了。
在第二个goroutine的循环中,首先就是接收,接收到前面发送的5——filter()函数 创建的第一个goroutine又继续运行了 直到发送7。5不能被3除尽,第二个goroutine发送5。
和前面一样,第二个goroutine的out被赋值给了 主程序main()函数 中的nums——再次改变了nums!在主程序中执行时,nums收到了5——也就是第三个素数。
然后,主程序继续循环,将filter()函数中新建的信道out当作参数传递给下一次filter()函数调用——作为其参数信道in,继续运行下去,会出现很多的goroutine。这些goroutine通过信道相连,因此,这种方式就叫做 Daisy-chain(菊花链)。
需要注意,每个 goroutine 都会一直运行——直到主程序退出(参考链接2 中是不会退出的)。
若是要查找的素数的范围较大,那么,会存在成千上万个goroutine。虽然goroutine消耗的资源(测试将max设置为10亿,CPU利用率一直是100%) 极少,但是,这种方式也是存在缺陷的。
起点是 xrange2() 函数中的 信道XD1,它作为调用 filter()函数 新建的goroutine 的输入信道,源源不断地提供整数;
filter() 函数 中的每一个新建信道out 都作为 下一次调用 filter()函数 的输入信道;
filter() 函数 的每次调用都有参数number,此参数为素数,每次基于number建立一个goroutine,删除是number倍数的整数;
画个图看看:
参考链接