Conflitos

O que será impresso por este programa?

Programa IncDec:

n = 4;
cobegin
   n = n + 3;
|| n = n * 10
coend;
printf(n);

Devemos escolher uma semântica que torne confortável a programação e sua implementação.

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 70
Com a semântica não-determinística, este programa poderia escrever 70 ou 43 (e nada diferente disto!)
A semântica não-determinística é a mais utilizada, por estar em acordo com a hipótese de independência das velocidades relativas