Abrir

e Fechar.

Iniciar

e Parar.

Empurrar

e Retirar.

P

(espera) e V (sinal)

Incrementa

o valor do semáforo.

Permite

que o processo continue sem restrições.

Decrementa

o valor do semáforo e pode bloquear o processo se for menor que zero.

Reinicia

o semáforo para o valor original.

Quando

todos os processos utilizam mutexes corretamente.

Quando

um semáforo é inicializado com um valor muito alto.

Quando

dois processos estão à espera indefinidamente de que o outro liberte um recurso

bloqueado.

Quando

um processo tenta executar duas operações P seguidas.

O

processo fica bloqueado até que o valor do semáforo aumente.

O

processo termina imediatamente.

O

processo continua normalmente.

O

processo entra num loop infinito.