UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Semáforos em Java Acima: Sincronização com Memória Compartilhada Anterior: Algoritmo de Dekker, simplificado

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 também chamadas wait e signal , ou up e down ;
• existem implementações tanto com espera-ocupada como com liberação do processador.