Considere as afirmativas sobre Concorrência entre Processos no contexto Sistemas Operacionais.

I. Semáforo é uma variável especial que tem por princípio a atomicidade, ou seja, a verificação do valor, a sua alteração e possivelmente o bloqueio ou desbloqueio do processo correspondente constituem uma operação atômica e indivisível.

II. Semáforos Binários são semáforos utilizados para resolver o problema de concorrência segundo a abordagem “espera ocupada” para até 02 processos concorrentes.

III. Monitores constituem uma solução de “software” para o problema de concorrência na qual variáveis especiais, denominadas variáveis de condição, são utilizadas.

IV. Variáveis de Condição funcionam segundo o mesmo princípio das variáveis tipo Semáforo, ou seja, constituem contadores de eventos informando quantos processos estão ou não bloqueados.

Assinale a alternativa correta.