Os semáforos são objetos IPC utilizados para a sincronização entre processos. Eles constituem também uma solução para resolver o problema de exclusão mútua, permitindo a solução de conflitos de acesso concorrentes de processos distintos a um mesmo recurso.