UFMG - Pós-graduação em Ciência da
Computação -
Programação Paralela
A seguir: ``Path Expressions'' - 2
Acima: Sincronização com Memória Compartilhada
Anterior: Monitores: Proposta de Brinch-Hansen
- Proposição: Campbell e
Habermann[Campbell and Habermann, 1974]
- Idéia: por um único comando, da forma
path (path list) end , programar explicitamente todas
as restrições na execução das operações do módulo;
- Não existem outros meios de sincronização;
- O uso é vantajoso quando a especificação natural
de um módulo é feita em termos de histórias admissíveis
de suas operações, e desvantajoso no caso contrário;
- Linguagens: COSY, PATH PASCAL;
- Operadores:
| , |
concorrência |
| ; |
sequenciamento |
| n:(<path list>) |
até n ativações da
<path list> |
| [<path list>] |
número não limitado de ativações |
Osvaldo Carvalho