An implementation of a multi-producer, multi-consumer synchronous channel with a (possible empty) fixed size buffer.