Question

我是新手，有人可以帮我推理一下这个例子吗

// A concurrent prime sieve

package main

// Send the sequence 2, 3, 4, ... to channel 'ch'.
func Generate(ch chan<- int) {
    for i := 2; ; i++ {
        ch <- i // Send 'i' to channel 'ch'.
    }
}

// Copy the values from channel 'in' to channel 'out',
// removing those divisible by 'prime'.
func Filter(in <-chan int, out chan<- int, prime int) {
    for {
        i := <-in // Receive value from 'in'.
        println("debug", i, prime)
        if i%prime != 0 {
            out <- i // Send 'i' to 'out'.
        }
    }
}

// The prime sieve: Daisy-chain Filter processes.
func main() {
    ch := make(chan int) // Create a new channel.
    go Generate(ch)      // Launch Generate goroutine.
    for i := 0; i < 10; i++ {
        prime := <-ch
        print(prime, "\n")
        ch1 := make(chan int)
        go Filter(ch, ch1, prime)
        ch = ch1
    }
}

（Go Playground）

有2点我仍然很困惑，如果有人可以给我一些有关代码的见解，将不胜感激。

ch = ch1看起来很优雅，如果没有此行，结果肯定不准确，但是我不知道为什么需要继续使用输出通道更新输入通道的细节。
我还添加了一些调试信息。我很惊讶所有非质数都被非常有效地过滤掉了。即10（不是素数）仅检查一次。 debug 10 3之后没有debug 10 2。我怀疑是if i%prime != 0可以解决这个问题。但是如何与数字9保持一致。

调试输出：

debug 9 2
debug 9 3
debug 10 2
debug 11 2
debug 11 3

Answer 1

这就是为什么它被称为主要筛子的原因。每个通道将一个筛子/过滤器连接到下一个筛子/过滤器（粗筛子）。这就是为什么将输入连接到输出筛子的原因：

筛除2的倍数--->筛除3的倍数--->筛除5的倍数--->筛除....

您会看到：从一个筛子流出的东西将进入下一个筛子/过滤器。
我不明白这个问题。 9不可除以2，因此它会通过2-Filter。 9被3整除，因此被3-Filter停止。

Answer 2

以简单的方式想象每个通道都是一组数字（第一个由generate函数提供的通道包含所有整数），而前导数字是第一个（我们通过{{1 }}）。然后它检查集合中的其他数字（发送到频道的数字）是否是前导数字中的素数，并将素数放入下一个集合中。请注意，它一直在后台运行（您将用光c的存储空间）并进入使用下一个数字集（或通道）的下一个级别，并将其数字与前导数字进行比较，依此类推。因此，每个通道的第一个元素都是质数（数学逻辑），而其他数字只有在其第一个元素为质数时才会存在（到达下一个通道）
检查一次10的原因是当它与2进行比较时将其退出系统，导致它的非素数等于2，但是您会看到像19这样的数字对下面的每个数字都是素数降低素数直到17

Answer 3

我有同样的问题，在弄清楚之后写了an article。希望对您有所帮助。

我可以从有关“并发主筛”示例的推理中获得帮助吗？

3 个答案: