A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Difusão de Mensagens Broadcast confiável, atômico e causal

Apresentações semelhantes


Apresentação em tema: "Difusão de Mensagens Broadcast confiável, atômico e causal"— Transcrição da apresentação:

1 Difusão de Mensagens Broadcast confiável, atômico e causal
Tolerância a Falhas Difusão de Mensagens Broadcast confiável, atômico e causal URI - DECC - Santo Ângelo

2 URI - DECC - Santo Ângelo
Difusão de Mensagens URI - DECC - Santo Ângelo

3 URI - DECC - Santo Ângelo
Tipos de difusão broadcast envio de mensagens a todos os nodos do sistema multicast envio de mensagens a alguns nodos do sistema infraestrutura de rede podem ser baseados em broadcast não confiável ou em comunicação ponto a ponto sensível a falhas de nodo e comunicação Envolve o conceito de grupos nodo pode falhar após ter iniciado broadcast, assim alguns nodos podem ter recebido a mensagem e outros não URI - DECC - Santo Ângelo

4 URI - DECC - Santo Ângelo
Exemplos de Problemas nodo não operacional essa topologia só existe no modelo lógico, no modelo físico pode não existir caminhos entre alguns nodos URI - DECC - Santo Ângelo

5 Propriedades na difusão confiabilidade
mensagem deve ser recebida por todos os nodos operacionais ordenamento consistente diferentes mensagens enviadas para nodos diferentes são entregues na mesma ordem em todos os nodos preservação de causalidade a ordem na qual mensagens são entregues é consistente com a relação causal de envio das mensagens valem tanto para broadcast como multicast ordenamento consistente é diferente de ordenamento temporal mensagens sem relação causal poderiam ser entregues em qualquer ordem URI - DECC - Santo Ângelo

6 URI - DECC - Santo Ângelo
Primitivas de difusão difusão confiável uma mensagem enviada é recebida em todos os nodos não falhos na rede, mesmo na presença de falhas difusão atômica suporta difusão confiável e ordenação difusão causal assegura ordenação causal cada primitiva tem sua aplicação mensagens isoladas: difusão confiável banco de dados: difusão atômica uma mensagem depende de outra: difusão causal URI - DECC - Santo Ângelo

7 URI - DECC - Santo Ângelo
Comentários problemas com nomenclatura estamos usando nomenclatura do Jalote existem problemas principalmente em relação a atomicidade, que em banco de dados tem outro significado problemas com particionamento hipótese usual: falhas não particionam a rede mas em computação móvel particionamento é comum URI - DECC - Santo Ângelo

8 protocolo de Schneider protocolo de Melliar-Smith
Broadcast confiável protocolo de Schneider protocolo de Melliar-Smith URI - DECC - Santo Ângelo

9 URI - DECC - Santo Ângelo
árvore lógica de difusão Broadcast não corresponde a topologia física URI - DECC - Santo Ângelo

10 URI - DECC - Santo Ângelo
Broadcast árvore lógica de difusão URI - DECC - Santo Ângelo

11 URI - DECC - Santo Ângelo
Broadcast confiável Exemplo: Schneider (84) modela rede como um árvore árvore de disseminação de mensagens árvore representa estrutura lógica nodo raiz é o iniciador de um broadcast todos os nodos que difundem são raiz naquela difusão árvore lógica não corresponde a topologia da rede física URI - DECC - Santo Ângelo

12 Protocolo de Schneider
estrutura lógica sem relação com estrutura física da rede URI - DECC - Santo Ângelo

13 Protocolo de Schneider árvore
estática, pré-definida e conhecida por todos os nós do sistema estratégia de broadcast raiz inicia broadcast envia mensagem para todos os seus sucessores nodo i recebe mensagem e repassa para todos os seus sucessores sucessores respondem ACK para i URI - DECC - Santo Ângelo

14 URI - DECC - Santo Ângelo
Schneider Estratégia Básica: URI - DECC - Santo Ângelo

15 URI - DECC - Santo Ângelo
Schneider Estratégia Básica: i não recebe ack de j; i assume: j não enviou mens. para n e m; URI - DECC - Santo Ângelo

16 URI - DECC - Santo Ângelo
Schneider Estratégia Básica: URI - DECC - Santo Ângelo

17 URI - DECC - Santo Ângelo
Schneider Estratégia Básica: URI - DECC - Santo Ângelo

18 Protocolo de Schneider quando a raiz falha:
falhas na raiz são detectadas por seus filhos algum nodo (que recebeu a mensagem) assume função de raiz mais de um nodo pode assumir função da raiz (sem problema) para facilitar detecção de falha: raiz informa broadcast concluído com sucesso (recebeu ack de todos os sucessores) na falta de aviso, nodo sucessor assume falha na raiz URI - DECC - Santo Ângelo

19 URI - DECC - Santo Ângelo
Schneider URI - DECC - Santo Ângelo

20 URI - DECC - Santo Ângelo
Schneider URI - DECC - Santo Ângelo

21 URI - DECC - Santo Ângelo
Schneider URI - DECC - Santo Ângelo

22 URI - DECC - Santo Ângelo
Schneider URI - DECC - Santo Ângelo

23 Protocolo de Melliar-Smith Trans protocol
Melliar-Smith, Moser e Agrawala 1990 acks positivos e negativos (acks e nacks) na carona de mensagens difundidas piggyback (levar nos ombros) primitiva confiável baseada em broadcast não confiável ex meio físico: Ethernet ex: protocolo broadcast não confiável em comunicação ponto a ponto URI - DECC - Santo Ângelo

24 URI - DECC - Santo Ângelo
Trans protocol cada mensagem transporta: identidade do transmissor número de seqüência unívoco acks e nacks receptor: a partir de acks e nacks determina que mensagens ele não precisa reconhecer com ack que mensagens ele precisa pedir retransmissão que mensagens ele precisa retransmitir URI - DECC - Santo Ângelo

25 URI - DECC - Santo Ângelo
Melliar-Smith, Moser e Agrawala (1990) Trans (Melliar-Smith) primitiva confiável baseada em broadcast não confiável URI - DECC - Santo Ângelo

26 URI - DECC - Santo Ângelo
Trans cada mi transporta: identidade do transmissor e número de seqüência unívoco acks e nacks na carona de mensagens difundidas URI - DECC - Santo Ângelo

27 URI - DECC - Santo Ângelo
Trans o receptor determina: mensagens ele não precisa reconhecer quais ele precisa retransmissão quais ele deve retransmitir URI - DECC - Santo Ângelo

28 URI - DECC - Santo Ângelo
Trans sem ordenação: mensagens podem ser recebidas em cada nodo em uma ordem diferente (no exemplo m1 chegará em R após m2 ) – se o receptor R determina que não recebeu m1 • pede retransmissão • qualquer nodo pode atender um pedido de retransmissão (não apenas o originador) R não recebeu m1 R envia nackm1 pedindo retransmissão m3 ackm2 nackm1 URI - DECC - Santo Ângelo

29 URI - DECC - Santo Ângelo
Exemplo Trans A, B, C, D = mens a, b, c, d = acks, a, b, c, d = nacks A A Ba A Ba Cb A Ba Cb Dc A Ba Cb Dc Ecd A Ba Cb Dc Ecd Cb A Ba Cb Dc Ecd Cb Fec Transm. de B reconhece A Trans. de C reconhece B, não precisa reconhecer A Trans. de E viu por Dc que não recebeu C Algum nodo retransmite C(sem Novos acks) URI - DECC - Santo Ângelo

30 URI - DECC - Santo Ângelo
Comentários retransmissão qualquer nodo pode atender um pedido de retransmissão (não apenas o originador) múltiplos acks várias mensagem podem confirmar (ack) o recebimento de uma dada mensagem mensagens dummy sem ordenação mensagens podem ser recebidas em cada nodo em uma ordem diferente URI - DECC - Santo Ângelo


Carregar ppt "Difusão de Mensagens Broadcast confiável, atômico e causal"

Apresentações semelhantes


Anúncios Google