Yes, buffered channels should almost never be used for performance reasons. Buffered channels should be used for their semantics, but in general unbuffered cha

Yes, buffered channels should almost never be used for performance reasons. Buffered channels should be used for their semantics, but in general unbuffered channels are preferred to buffered channels if possible because buffered channels cause combinatorial explosion of state, and are hard to reason about accurately.