Conflitos e Semântica

O que será impresso por este programa?

Programa IncDec:

 
n = 4;

cobegin

		 n = n + 3;

		 

		 n = n * 10

coend;

printf(``n = %d'',n);

• Semântica sequencial: o efeito do comando paralelo deve ser equivalente ao da execução sequencial de seus subcomandos (é o problema do implementador de um pipeline)
• Semântica não-determinística: o efeito do comando paralelo deve ser equivalente ao de uma das composições seriais de seus subcomandos
• Com a semântica sequencial, este programa escreveria ``n = 70''
• Com a semântica não-determinística, este programa poderia escrever ``n = 70'' ou ``n = 43''
• A semântica não-determinística é a mais utilizada, por estar em acordo com a hipótese de independência das velocidades relativas