Semáforos

Introduzidos por Dijkstra em 1968[Dijkstra, 1965a];
São inteiros não negativos com as operações:

P(s)
se s for maior do que zero, s é decrementado em uma operação atômica ; caso contrário, atrasa o processo que a executa até que s seja maior que 0;
V(s)
incrementa s em uma operação atômica.
P e V são as iniciais de Proberen e de Verhogen , palavras em holandês que querem dizer tentar e incrementar
P e V sã também chamadas wait e signal , ou up e down ;
existem implementações tanto com espera-ocupada como com liberação do processador.