int n = 0;
/* Two semafores: */
const int NUM_SEM = 2;
typedef int[0,NUM_SEM-1] sem_t;
/* Their names: */
const int s = 0;
const int delay = 1;
/* Two processes: */
const int NUM_PROC = 2;
typedef int[0,NUM_PROC-1] pid_t;
chan semWait[NUM_SEM][NUM_PROC], semSignal[NUM_SEM], block[NUM_PROC], unblock[NUM_PROC];Producerconst pid_t idConsumerconst pid_t idSemconst sem_t id, const int cntint count = cnt;
int proc_id = 0;
// The queue:
int next_free = 0;
pid_t queue[NUM_PROC];
void push (int pid)
{
if (next_free<NUM_PROC)
{
queue[next_free] = pid;
next_free++;
}
}
void pop ()
{
if (next_free>0)
{
queue[next_free-1] = 0;
next_free--;
}
}P = Producer(0);
C = Consumer(1);
s_sem = Sem(s,1);
delay_sem = Sem(delay,0);
system P,C,s_sem,delay_sem;