UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Implementação de ações atômicas
Acima: Semântica de Programas Paralelos
Anterior: Uma computação do programa
- Um programa paralelo tem a sua semântica definida se todos os
seus possíveis comportamentos podem ser inferidos de sua codificação
original
- Para isto, a atomicidade de qualquer conjunto de ações
com possível execução em paralelo deve ser garantida
- Um conjunto de duas ou mais ações é dito atômico quando o efeito
de sua execução em paralelo é serializável , isto é, equivalente
ao efeito da execução sequencial destas ações
em pelo menos uma ordenação
- Reparem que a noção de atomicidade se aplica a um conjunto de ações,
e não a uma ação em particular
Osvaldo Carvalho