Um semáforo binário pode assumir apenas os valores 0 e 1 e, por isso, não é capaz de garantir exclusão mútua em regiões críticas.

A operação wait (ou P) sobre um semáforo decrementa seu valor e, caso o resultado seja negativo, o processo continua em execução normalmente.

A utilização inadequada de semáforos pode levar a situações de deadlock (impasse), mesmo que cada região crítica esteja corretamente protegida por exclusão mútua.

Em um sistema que utiliza semáforos, a substituição desses mecanismos por variáveis compartilhadas simples não altera a correção dos algoritmos de sincronização.

O uso de semáforos elimina completamente a possibilidade de inanição (starvation), desde que o sistema operacional seja preemptivo.