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

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