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

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:

  Permission_c(a) c tem a permissão do árbitro a;

  Req_c(a): c tem a requisição que compartilha com o árbitro a;

  Strongreq_c(a): c recebeu um StrongRequest do árbitro a;

  Dirty_c(a): c possui a permissão de a, que está suja;

  Thinking_c: c está pensando;

  Hungry_c: c está com fome;

  Eating_c: c está comendo.

• Variáveis de um árbitro a:

  Owner_a cliente que está com a permissão de a; igual a NIL se P_a estiver com a;

  Req_a(c) a possui a requisição que compartilha com o cliente c;

  StrongReqSent_a a já enviou um StrongRequest para o cliente que está com sua permissão.