UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Espera ocupada
Acima: Questão 3 - 7
Anterior: Questão 3 - 7
- exclusão mútua
- (Elaine, Goedson)
técnica que garante a execução de uma região crítica
de código por apenas um processo simultaneamente. Esse
princípio é de suma importancia para a correção de
programas paralelos assíncronos, uma vez que garante que o acesso
a posições de memória (dados e variáveis)
compartilhadas seja disciplinado e leve o traço de
execução a estados previsíveis (isto é, livre do
efeito de interferências indesejáveis resultantes de acessos
concorrentes indevidos a variáveis compartilhadas). É a mais
simples das técnicas de controle de concorrência utilizadas em
programação paralela.
- serializabilidade (Elaine)
propriedade de tracos de execução em que não há
interferencias entre os processos executando concorrentemente, isto
é, ela garante que um traco de execução de processos que
executam concorrentemente será equivalente a alguma
permutação desses mesmos processos, quando executados
serialmente. Essa propriedade é importante porque garante a
correção dos programas paralelos assíncronos, uma vez que
se supõe que as diferentes permutações de
execuções seriais leva sempre a estados semanticamente
corretos, sob o ponto de vista do projetista de aplicações (e,
consequentemente, do usuário).
Osvaldo Carvalho