Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
fila de
entrada
X
wait(X)
wait(Y)
Y
Figura 11.1: Um monitor.
Além de prover um mecanismo de exclusão mútua através da exigência de que
somente uma thread por vez execute qualquer procedimento, os monitores também
suportam sincronização através de suas variáveis de condição:
• wait: uma thread que detenha o monitor pode chamar wait K, onde K é uma
variável de condição. Fazendo isso ela desocupa temporariamente o monitor e
permite que outras threads o ocupem. A thread que chamou wait ficará em uma
fila associada com a condição K; quando K passar a ser verdade, a primeira thread
da fila voltará a ocupar o monitor;
• signal (ou notify): uma thread que detenha o monitor pode chamar signal K para
indicar que a condição K é verdadeira.
A Figura 11.1 ilustra o funcionamento de um monitor: a thread A detém (sozinha) o
monitor; as threads B, C e D já adquiriram o monitor em algum momento, mas executaram
wait e agora aguardam pelas variáveis de condição X e Y.
Quando uma thread chama signal K, ela pode continuar executando ou bloquear. Se
continuar executando, a próxima thread da fila de K será a primeira a executar depois
dela.
11.5.1 Variáveis de condição com bloqueio
Versão Preliminar
A descrição original de monitores determinava que quando uma thread chama signal,
ela deve ser bloqueada e aguardar para adquirir novamente o monitor. Ela pode ou não
ter prioridade sobre as outras threads que tentam entrar no monitor.
254
[ 27 de outubro de 2010 at 15:47 ]