Semaphores: add queue of processes and automatic blocking of process.