Consumidor:

wait(cheio);
local_i = incremento_atomico_modulo_N(&i, N);
consume (buffer[local_i]);
signal(vazio);