Semáforo é uma variável inteira usada pelos sistemas
operacionais para garantir sincronismo no acesso às
regiões críticas de um processo em execução. Os sistemas
operacionais distinguem entre semáforos contadores e
binários, mas ambos são usados para implementar
exclusão mútua.