Na Aula N. 4, foi proposta a seguinte solucao para o problema do
acordo (que assume canais perfeitos e um detector de falhas perfeito):

iniciacao
---------
correctos := todos os processos;
proposta := meu valor inicial; \\
valores[] := nil para todas as entradas; 

deteccao de falhas (perfeita)
-----------------------------

-> quando detecta falha de p faz
____ correctos := correctos - {p}; 


algoritmo
---------

-> primeiro passo:

____ difunde (``Meu valor'', proposta);
____ quando recebe (``Meu valor'', valor) vindo de q faz
____ ____ valores[q] := valor;
____ espera ate receber ``Meu valor'' de todos os correctos;
____ valormin := minimo (valores); 

-> segundo passo:

____ difunde ( ``Minimo'', valormin); 
____ espera ate receber ``Minimo'' de todos os correctos;
____ se todos os ``valormin'' recebidos sao iguais entao
____ ____ decide (valormin); 
____ caso contrario
____ ____ (* trabalho para casa *)


1. Mesmo sem resolver o trabalho para casa, demonstre atraves de um
exemplo porque e que nao e trivial assegurar que o algoritmo anterior
resolve o consenso uniforme (nem sei se sera possivel assegurar,
apenas acrescentando linhas ao algoritmo).

2. Ainda vai a tempo de tentar fazer o trabalho para casa.

3. Na Aula N. 5 foi apresentada uma solucao para o problema que
necessita de um detector de falhas nao fiavel. Como e que se podem
caracterizar as propriedades deste detector?

Sugestao: considere as seguintes caracteristicas.

Plenitude: Em que medida todas as falhas ou so algumas sao
detectadas.

Exactidao: Em que medida quando se detecta uma falha, esta deteccao
corresponde a um falha real..