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

A seguir: Mensagens Acima: Sincronização com Memória Compartilhada Anterior: ``Path Expressions'' - 1

``Path Expressions'' - 2

• 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.