UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Semântica de programas paralelos Acima: Semântica de Programas Paralelos Anterior: Compartilhamento de um monoprocessador

Uma computação do programa IncDec compilado

LDA n 		 		 (A = 4)
LDA n 				 (A = 4)
ADD 3 		 		 (A = 7)
STA n 		 		 (n = 7) 
10 		 		(A = 40)
STA n 		 		 (n = 40)

• Este resultado (n=40) não pode ser inferido do programa IncDec original
• $\Rightarrow$ a semântica do programa IncDec não é definida