Há um recurso compartilhado e quando um processo precisa da utilização deste, bloqueia o recurso para todos os outros processos, enquanto estiver sendo utilizado.

É um sinônimo para sincronização condicional.

É um estrutura de sincronização de alto nível que ocupa ou libera a seção crítica associada a um recurso de forma automática.

É um situação na qual o processo espera por uma recurso que nunca estará disponível ou um evento que não ocorrerá.

O semáforo é manipulado pelas instruções DOWN e UP e é uma variável inteira não negativa.