(a). A student has produced the code below for Consumer process only.

semaphore full = 0;

semaphore empty = n;

semaphore mutex = 1;

void Consumer()

{ While (true) { P(full);

P(mutex); Read_from_buffer();

V(mutex); V(empty); Consume(); } }

//end consumer()

(i). Examine the uses of semaphore variables mutex, full and empty.

(ii). What will happen if the student runs the above code? Explain your answer.