問題描述：一組生產者向一組消費者提供消息，它們共享一個有界緩沖池，生產者向其中投放消息，消費者從中取得消息。假定這些生產者和消費者互相等效，只要緩沖池未滿，生產者可將消息送入緩沖池,只要緩沖池未空，消費者可從緩沖池取走一個消息。