- - - - CENAPAD-MGCO

A seguir: Carvalho e Campos: Algoritmo Acima: Algoritmo de Carvalho e Anterior: Carvalho e Campos: Grafo

Carvalho e Campos: mensagens e variáveis

• Mensagens de um árbitro para um cliente: CleanPermission, request e StrongRequest ;
• Mensagens de um cliente para um árbitro: request, CleanPermission e DirtyPermission .
• Variáveis de um cliente c:

  Permissionc(a)	c tem a permissão do árbitro a;
  Reqc(a) :	c tem a requisição que compartilha com o árbitro a;
  Strongreqc(a) :	c recebeu um StrongRequest do árbitro a;
  Dirtyc(a) :	c possui a permissão de a, que está suja;
  Thinkingc :	c está pensando;
  Hungryc :	c está com fome;
  Eatingc :	c está comendo.

• Variáveis de um árbitro a:

  Ownera	cliente que está com a permissão de a; igual a NIL se Pa estiver com a;
  Reqa(c)	a possui a requisição que compartilha com o cliente c;
  StrongReqSenta	a já enviou um StrongRequest para o cliente que está com sua permissão.