生产者与消费者问题

三个生产者向两个消费者提供消息，它们共享一个有界缓冲池，缓冲池有四个缓冲区，生产者向其中投放消息，消费者从中取得消息。假定这些生产者和消费者互相等效，只要缓冲池未满，生产者可将消息送入缓冲池；只要缓冲池未空，消费者可从缓冲池取走一个消息。每个缓冲设有一个所标记，生产者在生产产品以前要先判断缓冲区是否已上锁，消费者在消费产品之前也要进行判断