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

A seguir: Programa IncDec Compilado para Acima: Semântica de Programas Paralelos Anterior: Semântica de Programas Paralelos

Conflitos e Semântica

O que será impresso por este programa?

Programa IncDec:

n = 4;
cobegin
		 n = n + 3;
		 $\parallel$ 
		 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