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

A seguir: A Solução Higiênica: Regras Acima: The Drinking Philosophers Problem[#!Drinking!#] Anterior: O Problema dos Filósofos

A Solução Higiênica: Preliminares

• Entre u e v circula também um request token
• Só o possuidor de um token pode enviá-lo
• Se um processo possui o garfo e o token que compartilha com um vizinho, é porque existe uma requisição pendente deste vizinho
• Variáveis:

  fork_u(f) u detém o garfo f

  reqf_u(f) u detém o token associado ao garfo f

  dirty_u(f) u detém f, sujo

  thinking_u/hungry_u/eating_u u está thinking/hungry/eating