Um mecanismo de sincronização clássico é conhecido
como semáforo. Um semáforo é uma variável inteira não
negativa que só pode ser manipulada por duas instruções, chamadas de instruções Down e Up. Para evitar a
espera ocupada, que desperdiça tempo de processamento da máquina, a operação Down utiliza uma estrutura de
dados, geralmente uma First In, First Out (FIFO).
Quando um processo executa a instrução Down num semáforo que tem o valor zero, o processo