É garantido que uma vez que a operação de semáforo tenha começado, todos outro processo pode acessar o semáforo até que a operação tenha sido concluída ou bloqueada.

Semáforos são mecanismos que resolvem o problema de exclusão mútua.

A operação down em um semáforo confere para ver se o valor é maior do que 1.

A operação up não incrementa o valor de um determinado semáforo.

Semáforos são implementados no sistema operacional e não são considerados uma forma de comunicação entre processos.