UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: Comandos Alternativos e Repetitivos:
Acima: Conceitos e Notações
Anterior: Comandos Alternativos e Repetitivos:
- um comando alternativo especifica a execução de
exatamente uma de suas cláusulas;
- se todas as cláusulas falham, o comando alternativo falha;
- a escolha de uma cláusula dentre as habilitadas é
não-determinística.
- um comando repetitivo especifica a execução repetida do
comando alternativo correspondente até que este falhe;
- quando todas as guardas falham, o comando repetitivo não
tem efeito.
- um comando alternativo em que todas as guardas incluem um
comando de entrada será atrasado até que
- 1.
- um comando de saída que se case com uma das guardas de
entrada seja executado, ou
- 2.
- todas as fontes tenham terminado.
Osvaldo Carvalho