Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Quando uma thread chama signal, o contador interno do semáforo é incrementado
de uma unidade.
Quando uma thread chama wait, o contador é verificado. Se este for igual a zero, a
thread deverá dormir até que o contador seja maior que zero. Se o contador for maior
que zero, ele é diminuído e a thread ganha acesso ao recurso compartilhado.
Função wait(sem)
se sem.contador > 0 então
sem.contador ← sem.contador −1;
senão
sem.fila.add esta_thread;
Função signal(sem)
se sem.fila está vazia então
sem.contador ← sem.contador +1;
senão
yield (proximo sem.fila);
Semáforos podem ser implementados como bibliotecas, como parte de linguagens
de programação ou como funções internas de um sistema operacional (os sitemas operacionais
do tipo Unix implementam semáforos e expõem sua API para usuários, por
exemplo).
O nível de abstração dos semáforos é relativamente baixo, exigindo que o programador
se lembre de liberar todos os semáforos que adquirir, e garanta que cada thread adquirirá
e liberará semáforos de forma ordenada a fim de evitar deadlocks. Há idéias de nível de
abstração conceitual mais alto, como monitores e memória transacional, que liberam o
programador de parte destes problemas. A linguagem Java, por exemplo, permite declarar
que o acesso a certos componentes do programa deve ser sincronizado; este mecanismo é
implementado internamente com semáforos.
11.3.1 Exemplo de uso: rendezvous
Versão Preliminar
Um algoritmo concorrente exige que duas threads A e B se encontrem (façam um rendezvous):
há um ponto no algoritmo de A e outro no algoritmo de B até onde ambas devem
chegar, para só então poder continua executando. Por exemplo um jogo de ação pode
[ 27 de outubro de 2010 at 15:47 ]
245