为什么Go通道限制缓冲区大小

Question

我是Go的新手,我可能会忽略这一点,但为什么Go通道限制在缓冲通道的最大缓冲区大小可以有？例如,如果我制作一个这样的频道

channel := make(chan int, 100)

我不能在没有阻塞的情况下向频道添加超过100个元素,这有什么原因吗？此外,它们无法动态调整大小,因为通道API不支持它.

这似乎限制了语言支持单一机制的通用同步,因为与无界信号相比,它缺乏便利性.例如,可以无限制地增加广义信号量的值.

Answer 1

如果一个程序的一个组件无法跟上它的输入,它需要对系统的其余部分施加压力,而不是让它继续运行并生成数十亿字节的数据,这些数据永远不会被处理,因为系统用完了记忆和崩溃

实际上没有无限缓冲区这样的东西,因为机器对它们可以处理的东西有限制.Go要求您指定缓冲通道的大小,以便您考虑程序实际需要和可以处理的缓冲区大小.如果它确实需要十亿个项目,并且可以处理它们,那么你可以创建一个很大的渠道.但在大多数情况下,缓冲区大小为0或1实际上是需要的.

正如您所说，硬件的 RAM 是一个限制。但是，当元素具有可变大小（如字符串）时，通道中的元素数量并不能很好地近似其总内存使用量。使用元素数量作为限制是一种在某些情况下有效的实现选择，但我认为它缺乏灵活性。 (3认同)
“如果它真的需要十亿个物品，并且能够处理它们，你就可以创建一个那么大的渠道”这毫无意义。这基本上是说“如果您的浏览器可以支持网页的 4GB 内存，那么您应该为每个网页分配 4GB 内存，无论它是否使用”。 (2认同)

Answer 2

缓冲区大小是在没有发送阻塞的情况下可以发送到通道的元素数量。默认情况下，通道的缓冲区大小为 0（可以通过 make(chan int) 获得）。这意味着每个发送都会阻塞，直到另一个 goroutine 从通道接收到数据。缓冲区大小为 1 的通道可以容纳 1 个元素，直到发送块，所以你会得到

c := make(chan int, 1)
c <- 1 // doesn't block
c <- 2 // blocks until another goroutine receives from the channel

我了解缓冲通道的工作原理。我的问题更多地是关于为什么它们被设计为具有有限的缓冲区而不是动态大小的缓冲区。IMO 如果使用缓冲通道，让它们保存无限值而不阻塞更有意义 (4认同)