-
-
-
-
CENAPAD-MGCO
A seguir: Mensagens
Acima: ``Path Expressions'' - 1
Anterior: ``Path Expressions'' - 1
-
path deposit , fetch end
- não impõe restrições nem na ordem de execução das
operações de deposit e fetch , nem no número
de ativações;
-
path deposit; fetch end
- todo fetch deve ser precedido de deposit ;
- o número de fetch s ativos ou completos não
pode exceder o número de deposit s completos;
-
path 1: (deposit; fetch) end
- deposit e fetch se alternam e são
mutuamente exclusivas;
-
n: (1: (deposit) ; 1: (fetch) ) end
- as ativações de deposit , assim como as de
fetch , são mutuamente exclusivas;
- cada ativação de fetch é precedida por
um deposit completo;
- a diferença entre o número de deposit s
completos e o número de fetch s ativos nunca
é maior que n ;
-
1: ( [read] ; write ) end
- solução para leitores e escritores.
Next: Mensagens
Up: ``Path Expressions'' - 1
Previous: ``Path Expressions'' - 1
Osvaldo Carvalho
-
Postscript -
Comentários?