#include #include "producer.h" void Producer(void) { int item; while (1) { item = produce_item(); down(&empty); down(&mutex); insert_item(item); up(&mutex); up(&full); } } long int produce_item(void) { return random(); } void insert_item(int item) { ; }