-
-
-
-
CENAPAD-MGCO
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
-
Postscript -
Comentários?