A LISTA DE EXERCÍCIOS DE REVISÃO – SISTEMAS DISTRIBUÍDOS

DIEGO GUSTAVO PEREIRA N126DB1 SI7P12

LISTA DE EXERCÍCIOS DE REVISÃO – SISTEMAS DISTRIBUIDOS

1. “Um sistema distribuído é uma coleção de componentes independentes que, para o usuário, opera como um único sistema coerente” – Tanebaum.

2. -Transparência: esconder o fato de que existem mais componentes e processos operando junto.

-Sistema Distribuído Aberto: permite implementações diferentes para componentes diferentes.

3. Nome, Instancia, Descrição dos Eventos, Propriedades dos módulos e Algoritmo.

4. Safety: Nada de ruim acontece. Mesmo que tudo de errado a propriedade é garantida.

Liveness: Algo de bom acontece. Eventualmente, em um ponto futuro, há esperança de ocorrer algo bom no sistema.

5. A) Link teimoso: Se um processo correto p envia uma mensagem m a um processo correto q uma única vez, então q entrega m infinitas vezes.

Link perfeito: Se um processo p envia uma mensagem m a um processo correto q uma única vez, então q eventualmente entrega m.

O link perfeito irá garantir a entrega, sem duplicação e sem criação, o link teimoso irá entregar infinitas vezes.

B) O “buffer” do link perfeito funciona de modo que ele armazena as mensagens que foram entregues, porém não irá ocorrer o armazenamento da mesma mensagem duas vezes ou mais. O “buffer” do link teimoso apenas irá armazenar as mensagens.

6. A) No modelo crash-stop o processo “crasha” e não volta nunca mais. E no modelo crash-recovery o processo “crasha” mas ele eventualmente retoma a computação.

B) Falha e recupera um número finito de vezes. Eventualmente o processo está disponível.

7. A) LLP1 – Entrega confiável.

B) No momento em que a mensagem fica salva na memória e ocorre uma falha após o “store”, a mensagem nunca mais será entregue.

C) Podemos adicionar um trigger <llp, Entregue | entregues no evento <llp, Recovery>

8. Sistemas Assíncronos: não é feita nenhuma suposição sbre quanto tempo leva para executar passos de comunicação/computação.

TEMPO LÓGICO: Alguns eventos acontecem “antes” de outros (Potencial Causalidade). Cada processo p que pertence a pi possui seu relógio lógico lp.

lp é atualizada da seguinte forma: se p realiza uma computação interna; se p envia uma mensagem m, ele coloca um timestamp tm na mensagem, que é o valor de lp no momento do envio; se p recebe uma mensagem m com timesstamp t, então lq = MAX { tm, lq } +1

Sistemas Síncronos: são feitas duas suposições: Computação Síncrona, no qual todo passo de execução do algoritmo é executado. E Comunicação Síncrona, no qual existe um limite temporal dentro do qual toda mensagem é enviada e entregue.

TEMPO REAL: Cada computador agora possui um relógio físico “sincronizado” com o relógio global. Implicações