Sistemas Distribuídos
|
|
- Gabriel César Alencastre
- 6 Há anos
- Visualizações:
Transcrição
1 Sistemas Distribuídos Sincronização de relógios lógicos Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José 26 de novembro de /20
2 Jogo online com múltiplos jogadores Dois jogadores atiram no mesmo adversário. Quem ganha o ponto? Os relógios físicos dos 3 jogadores precisam estar sincronizados? 2/20
3 Bolsa de valores 3/20
4 Bolsa de valores É importante garantir a ordem correta das mensagens Não seria nada desejado vender e depois comprar Como garantir? Sincronizar os relógios físicos? 3/20
5 Bolsa de valores É importante garantir a ordem correta das mensagens Não seria nada desejado vender e depois comprar Como garantir? Sincronizar os relógios físicos? Não é possível garantir o sincronismo perfeito de dois relógios físicos Mesmo que pequena, sempre haverá uma diferença 3/20
6 Relógios Lógicos 4/20
7 Tempo lógico e Relógio lógico Tempo lógico Do ponto de vista de um processo, o tempo lógico indica a ordem de execução dos eventos Por que precisamos de Relógio Lógico em SD? Não é possível sincronizar relógios físicos perfeitamente Processos que interagem entre si devem acordar sobre a ordem de execução dos eventos não requer que estejam com seus relógios físicos sincronizados com a hora exata 4/20
8 Relógio Lógico de Lamport (1978) Relógio Lógico de Lamport É um contador em software que não possui relação com qualquer relógio físico Premissa Se dois processos não interagem entre si, então não é necessário sincronizar seus relógios lógicos Relação de causalidade (causa e efeito) indica a relação de precedência entre dois eventos Define a ordem causal 5/20
9 Relógio Lógico de Lamport (1978) Figure Causalidade 14.5 Events e concorrência occurring at three processes SECTION 14.4 LOGICAL TIME AND LOGICAL CLOCKS 607 p 1 a b m 1 p 2 c d m 2 Physical time p 3 e 14.4 Logical time and logical clocks Causalidade Se From athe e bpoint sãoof eventos view of any emsingle umprocess, mesmoevents processo, are ordered e auniquely ocorreby antes times de b, shown on the local clock. However, as Lamport [1978] pointed out, since we cannot então synchronize a clocks b perfectly across a distributed system, we cannot in general use Se physical umtime processo to find out P i the envia order of uma any arbitrary mensagem pair of mevents para occurring um processo within it. P j, o evento send(m) In general, acontece we can use antes a scheme dothat receive(m): is similar to physical b causality c but that applies in distributed systems to order some of the events that occur at different processes. This Se ordering a is bbased e bon two c, simple então and aintuitively c (transitividade) obvious points: Concorrência If two events occurred at the same process p i i = 1 2 N, then they a e eoccurred não possuem in the order relação in which, p i observes são concorrentes them this is the a order e i that we defined above. Whenever a message is sent between processes, the event of sending the message occurred before the event of receiving the message. f 6/20
10 Relógio Lógico de Lamport (1978) Regras Cada processo P i mantém seu relógio lógico L i próprio e o usa para fazer marcação temporal (timestamp) dos seus eventos 1 L i é incrementado antes de cada evento local gerado pelo processo P i 2 Quando um processo P i envia uma mensagem m, este anexa L i como timestamp de m: t = L i 3 P j ao receber a mensagem (m, t) faz L j = max(l j, t) + 1 antes de entregar a mensagem para a aplicação 7/20
11 Relógio Lógico de Lamport (1978) 8/20
12 Relógio Lógico de Lamport (1978) Exemplo 14.6 Lamport timestamps for the events shown in Figure 14.5 SECTION 14.4 LOGICAL TIME AND LOGICAL CLOCKS p 1 a b m 1 p c d m 2 Physical time p 3 1 e f 5 L 1, L 2 e L 3 começam com 0 P 1 anexa t = L 1 = 2 a mensagem m 1 antes de enviar para P 2 PTotally ordered logical clocks Some pairs of distinct events, generated by different 2 ao receber (m 1, t) faz L 2 = max(0, 2) + 1, logo L 2 = 3 processes, have numerically identical Lamport timestamps. However, we can create a total order on the set of events that is, one for which all pairs of distinct events are ordered by taking into account the identifiers of the processes at which events occur. If e is an event occurring at p i with local timestamp T i, and e is an event occurring at 9/20 p with local timestamp T, we define the global logical timestamps for these events to
13 Relógio Lógico de Lamport (1978) Limitação do relógio lógico 14.6 Lamport timestamps for the events shown in Figure 14.5 SECTION 14.4 LOGICAL TIME AND LOGICAL CLOCKS p 1 a b m 1 p c d m 2 Physical time p 3 1 e f 5 e e implica em L(e) < L(e ) Ex: a c L(e) Totally< ordered L(e ) logical não necessariamente clocks Some pairs implica of distinct emevents, e generated e by different processes, Ex: L(e) have < numerically L(b), pois identical e b Lamport timestamps. However, we can create a total order on the set of events that is, one for which all pairs of distinct events are ordered by taking into account the identifiers of the processes at which events occur. If e is an event occurring at p i with local timestamp T i, and e is an event occurring at 10/20 p with local timestamp T, we define the global logical timestamps for these events to
14 Exemplo de uso de relógios lógicos Difusão seletiva com ordem total Garantir que todas as réplicas processem a mesma sequência de operações Banco possui base de dados replicadas e distribuídas Alta disponibilidade, desempenho (réplica mais próxima do cliente) Cliente possui saldo de R$ 1.000,00 e deposita R$ 100,00 e ao mesmo instante Gerente aplica correção de juros de 1% Saldo em réplica 1: R$ 1.111,00 Saldo em réplica 2: R$ 1.110,00 11/20
15 Difusão seletiva com ordem total Todas as mensagens serão processadas na mesma ordem por todos os processos Premissas Não há perda de mensagens Mensagens enviadas por um mesmo emissor são recebidas na mesma ordem que foram enviadas Mensagens enviadas por um emissor também são recebidas por este 1 Processo P i envia mensagem m i com seu timestamp para todos os demais processos 2 Toda mensagem recebida em P j é armazenada em uma fila ordenada pelo timestamp da mensagem P j envia mensagem de confirmação (ACK) para todos os demais processos 3 P j encaminha uma mensagem m i para sua aplicação se: m i estiver no início da fila m i foi confirmada por todos os demais processos 12/20
16 Relógios vetoriais 13/20
17 Relógio de Lamport vs Relógio Vetorial Relógio de Lamport Garante a ordem de eventos que satisfaz a relação causal, porém não completamente a b L(a) < L(b) Se L(a) < L(b), não é possível deduzir a b Relógio vetorial Satisfaz a condição a b L(a) < L(b) 13/20
18 Relógio vetorial Em um sistema distribuído com N processos, cada processo P i possui seu próprio relógio vetorial de tamanho N: V i [N] Inicialmente V i [j] = 0, i e j Na posição V i [i] tem-se o total de eventos que ocorreram no próprio processo P i Na posição V i [j] tem-se o total de eventos que ocorreram em P j e que puderam ser observados por P i i j 14/20
19 Relógio vetorial Regras para atualização Evento local em P i V i [i] = V i [i] + 1 Ao enviar mensagem V i é anexado em toda mensagem enviada por P i Ao receber uma mensagem P j ao receber mensagem de P i faz V j [k] = max(v j [k], V i [k]), j k, para k = 1 até n V j [j] = V j [j] /20
20 Relógio vetorial Regras para atualização Evento local em P i V i [i] = V i [i] + 1 Ao enviar mensagem V i é anexado em toda mensagem enviada por P i Ao receber uma mensagem P j ao receber mensagem de P i faz V j [k] = max(v j [k], V i [k]), j k, para k = 1 até n V j [j] = V j [j] + 1 Exemplo V j = {4, 9, 11, 3} e foi recebido {2, 5, 15, 3} resultado: V j = {4, 9, 15, 3} 15/20
21 Relógio vetorial exemplo igure 14.7 Vector timestamps for the events shown in Figure 14.5 (1,0,0) (2,0,0) p 1 a b m 1 p 2 (2,1,0) (2,2,0) c d m 2 Physical time p 3 (0,0,1) e f (2,2,2) We may compare vector timestamps as follows: V = V iff V j = V j for j = 1 2 N V V iff V j V j for j = 1 2 N V V iff V V V V Let Ve be the vector timestamp applied by the process at which e occurs. It is straightforward to show, by induction on the length of any sequence of events relating two events e and e, that e e Ve Ve. Exercise leads the reader to show the converse: if V e Ve, then e e. Figure 14.7 shows the vector timestamps of the events of Figure It can be 16/20 seen, for example, that Va Vf, which reflects the fact that a f. Similarly, we
22 Relógio vetorial exemplo igure 14.7 Vector timestamps for the events shown in Figure 14.5 (1,0,0) (2,0,0) p 1 a b m 1 p 2 (2,1,0) (2,2,0) c d m 2 Physical time p 3 (0,0,1) e f (2,2,2) Precedência: We may bcompare d vector V timestamps (b) < V as (d) follows: {2, 0, 0} {2, 2, 0} = verdade? ( E lógico por posição) = V iff V j = V j for j = 1 2 N {V, V, V } = verdade V V iff V j V j for j = 1 2 N V V iff V V V V Let Ve be the vector timestamp applied by the process at which e occurs. It is straightforward to show, by induction on the length of any sequence of events relating two events e and e, that e e Ve Ve. Exercise leads the reader to show the converse: if V e Ve, then e e. Figure 14.7 shows the vector timestamps of the events of Figure It can be 16/20 seen, for example, that Va Vf, which reflects the fact that a f. Similarly, we
23 Relógio vetorial exemplo igure 14.7 Vector timestamps for the events shown in Figure 14.5 (1,0,0) (2,0,0) p 1 a b m 1 p 2 (2,1,0) (2,2,0) c d m 2 Physical time p 3 (0,0,1) e f (2,2,2) Precedência: We may bcompare d vector V timestamps (b) < V as (d) follows: {2, 0, 0} {2, 2, 0} = verdade? ( E lógico por posição) = V iff V j = V j for j = 1 2 N {V, V, V } = verdade Não precedência: V V iff V j f V jc for jv = (f 1 ) 2 < NV (c) {2, 2, 2} {2, 1, 0} = {V, F, F } = falso V V iff V V V V Let Ve be the vector timestamp applied by the process at which e occurs. It is straightforward to show, by induction on the length of any sequence of events relating two events e and e, that e e Ve Ve. Exercise leads the reader to show the converse: if V e Ve, then e e. Figure 14.7 shows the vector timestamps of the events of Figure It can be 16/20 seen, for example, that Va Vf, which reflects the fact that a f. Similarly, we
24 Relógio vetorial exemplo igure 14.7 Vector timestamps for the events shown in Figure 14.5 (1,0,0) (2,0,0) p 1 a b m 1 p 2 (2,1,0) (2,2,0) c d m 2 Physical time p 3 (0,0,1) e f (2,2,2) Precedência: We may bcompare d vector V timestamps (b) < V as (d) follows: {2, 0, 0} {2, 2, 0} = verdade? ( E lógico por posição) = V iff V j = V j for j = 1 2 N {V, V, V } = verdade Não precedência: V V iff V j f V jc for jv = (f 1 ) 2 < NV (c) {2, 2, 2} {2, 1, 0} = {V, F, F } = falso V V iff V V V V Concorrência: a e (V (a) < V (e)) (V (e) < V (a)) Let {1, Ve 0, 0} be the {0, vector 0, 1} timestamp = {F, V applied, V } = by falso the process at which e occurs. It is straightforward to show, by induction on the length of any sequence of events relating two {0, events 0, 1} e and {1, e 0,, that 0} = e {V e, V Ve, F } = Ve falso. Exercise leads the reader to show the converse: if V e Ve, then e e. Figure 14.7 shows the vector timestamps of the events of Figure It can be 16/20 seen, for example, that Va Vf, which reflects the fact that a f. Similarly, we
25 Exercício 1: Relógio lógico de Lamport 1 Coloque o valor do relógio em cada evento 2 Ciente que o evento i ocorreu antes de n, o que pode-se afirmar sobre seus relógios lógicos? 3 Sabe-se que L(h) < L(c), logo é possível afirmar a relação de precedência entre h e c? 17/20
26 Exercício 2: Relógio vetorial 1 Coloque o valor do relógio vetorial em cada evento 2 Comprove a relação a j comparando os relógios destes eventos 3 Compare os relógios de d e j e comprove a relação d j 18/20
27 Exercício 3: Relógio vetorial Em um sistema distribuído o processo P 2 terminou sua execução com o seguinte relógio vetorial: {3, 1, 0, 6, 4} 1 Quantos eventos aconteceram no processo P 2? 2 Quantos eventos de P 3 foram observados por P 2? Este número é igual ao total de eventos que fato ocorreram em P 3? 3 Quantos processos compõem o sistema distribuído? 4 Quantas mensagens P 2 recebeu? 19/20
28 Exercício 4: Relógio lógico de Lamport 1 Da forma que foi apresentada em sala, é possível que dois eventos em processos distintos tenham timestamp idênticos. Veja em um dos livros da disciplina qual a solução que Lamport criou para garantir timestamps únicos Coloque o valor do relógio em cada evento, considerando a solução de timestamp único 20/20
Relógios Lógicos. Sumário. November 27, Relação Happened-Before. Relógios de Lamport. Relógios Vectoriais
Relógios Lógicos November 27, 29 Sumário Relação Happened-Before Relógios de Lamport Relógios Vectoriais Eventos Nem sempre é necessário ter relógios sincronizados: Muitas vezes, é suficiente estabelecer
Leia maisSistemas Distribuídos Aula 16
Sistemas Distribuídos Aula 16 Aula passada Relacionando eventos Relógios lógicos Algoritmo de Lamport Propriedades Aula de hoje Limitação de Lamport Relógio de vetores Propriedades Garantindo ordenação
Leia maisSistemas Distribuídos Aula 15
Sistemas Distribuídos Aula 15 Aula passada Relacionando eventos Relógios lógicos Algoritmo de Lamport Propriedades Aula de hoje Limitação de Lamport Relógio de vetores Propriedades Garantindo ordenação
Leia maisIntrodução Tempo Lógico Relógios Lógicos de Lamport Relógios Lógicos Vetoriais. Prof a Ana Cristina B. Kochem Vendramin DAINF / UTFPR
n n n n Introdução Tempo Lógico Relógios Lógicos de Lamport Relógios Lógicos Vetoriais Prof a Ana Cristina B. Kochem Vendramin DAINF / UTFPR Introdução Princípios: Vistos de um processo, os eventos são
Leia maisOrdenação. Relógios lógicos
Ordenação Relógios lógicos 1 Índice Ordenação FIFO Ordenação Causal Ordenação Total Algoritmos Tempo Lógico Relógios Lógicos Relógios Vectoriais 2 Introdução Ordenação Objectivo Determinar à posteriori
Leia maisModelos Fundamentais. Introdução. Interação. Falhas. Segurança. Prof. Adriano Fiorese
Modelos Fundamentais Introdução Interação Falhas Segurança 1 Introdução Como entender/classificar o comportamento de um sistema: Quais são as principais entidades do sistema? Como elas interagem? Quais
Leia maisSistemas Distribuídos. Professora: Ana Paula Couto DCC 064
Sistemas Distribuídos Professora: Ana Paula Couto DCC 064 Sincronização - Relógios Lógicos Capítulo 6 Agenda Relógios Lógicos Relógios de Lamport Relógios Vetoriais Algumas definições... Um sistema distribuído
Leia maisSistemas Distribuídos. Professora: Ana Paula Couto DCC 064
Sistemas Distribuídos Professora: Ana Paula Couto DCC 064 Consistência Causal(3) Neste exemplo temos uma sequência de eventos permitida quando o depósito é consistente por causalidade, mas proibida quando
Leia maisSISTEMAS DISTRIBUÍDOS
SISTEMAS DISTRIBUÍDOS Capítulo 7 - Tempo e ordenação de eventos Material de suporte às aulas de Sistemas Distribuídos Copyright DI FCT/ UNL / 1 NOTA PRÉVIA A estrutura da apresentação é semelhante e utiliza
Leia maisSistemas Distribuídos Estados globais. Vinícius Fernandes Soares Mota
Sistemas Distribuídos Estados globais Vinícius Fernandes Soares Mota 1 2 Tópicos Tempo e relógio lógicos (revisão curta) Relógios vetoriais Estados Globais Snapshot distribuído 3 Antes... Por que a sincronização
Leia maisOrdenação. Sistemas Distribuídos e Tolerância a Falhas. Universidade da Beira Interior 07/08
Ordenação Sistemas Distribuídos e Tolerância a Falhas Universidade da Beira Interior 07/08 Benjamim Marques M1440 Daniel Félix M1441 João Duarte a14951 Índice Introdução Problema FIFO Ordenação Causal
Leia maisSISTEMAS DISTRIBUÍDOS
SISTEMAS DISTRIBUÍDOS Sincronização Slide 7 Nielsen C. Damasceno Introdução Utilizando Sistemas Distribuídos, uma grande dificuldade que temos é como garantir o acesso exclusivo a um recurso compartilhado,
Leia maisSISTEMAS DISTRIBUÍDOS
SISTEMAS DISTRIBUÍDOS Capítulo 8 Introdução à replicação e consistência Material de suporte às aulas de Sistemas Distribuídos Copyright DI FCT/ UNL / 1 NOTA PRÉVIA A apresentação utiliza algumas das figuras
Leia maisSincronização em Sistemas Distribuídos
Sincronização em Sistemas Distribuídos Universidade Federal do ABC Turma: Ciência da Computação Prof. Dr. Francisco Isidro Massetto Sincronização Como as regiões críticas são implementadas em um SD? Como
Leia maisSistemas Distribuídos Capítulo 6 - Aula 10
Sistemas Distribuídos Capítulo 6 - Aula 10 Aula de hoje Introdução ao problema de sincronização Relógios Físicos Algoritmos de Sincronização Aula de hoje Relógios Lógicos Relógios de Lamport Relógios Vetoriais
Leia maisComunicação orientada a mensagens
Comunicação orientada a mensagens críticas a RPC sincronismo modelo um a um dificuldades de tratamento de falhas Þ volta ao modelo de troca de mensagens com diferentes níveis de abstração Sistemas de mensagens
Leia maisSistemas Distribuídos
Sistemas Distribuídos Comunicação em Grupo abril de 2017 Grupos em Aplicações Distribuídas Primitiva de comunicação em grupo um processo envia uma mensagem para um grupo de processos e todos os destinatários
Leia maisPADI. Tempo em Sistemas Distribuídos PJPF, LAV INESC-ID/IST
PADI Tempo em Sistemas Distribuídos 2005-14 PJPF, LAV INESC-ID/IST 1 Índice Introdução Relógios, eventos, estados de processos Sincronização de relógios físicos Tempo lógico Relógios lógicos Relógios vectoriais
Leia maisSISTEMAS DISTRIBUÍDOS
SISTEMAS DISTRIBUÍDOS Capítulo 7 - Tempo e ordenação de eventos Material de suporte às aulas de Sistemas Distribuídos Copyright DI FCT/ UNL / 1 NOTA PRÉVIA A estrutura da apresentação é semelhante e utiliza
Leia maisModelos Fundamentais de um SD. Modelo de Interação ou Sincronismo
Modelos Fundamentais de um SD Modelo de Falhas/Avarias Modelo de Interação ou Sincronismo Modelo de Segurança 1 Recordando. Modelo de Avarias: Caracteriza o sistema em termos das falhas/avarias, i.e.,
Leia maisSincronização em Sistemas Distribuídos
Sincronização em Sistemas Distribuídos problemas clássicos ordenação de mensagens exclusão mútua distribuída eleição de líder... transações ordenação de acontecimentos relógio físico dificuldades relógio
Leia maisfalhas em sistemas distribuídos
Tolerância a Falhas falhas em sistemas distribuídos Lamport: A distributed system is a system where I can t get any work done if a machine I ve never heard of crashes. sistemas distribuídos e falhas parciais
Leia maisTolerância a Falhas com Máquinas de Estado
Sistemas Distribuídos junho de 2013 Histórico Lamport,1984: Using time instead of timeout for fault tolerance in distributed systems Schneider, 1990: Implementing Fault-Tolerant Services using the State
Leia maisExclusão Mútua em Sistemas Distribuídos
Exclusão Mútua em Sistemas Distribuídos Recurso deve ser utilizado por apenas um processo de cada vez, com garantia de justiça ausência de deadlock ausência de livelock Premissas: processos não falham
Leia maisTolerância a Falhas. Sumário. Acordo Distribuído. December 18, Grupos de Processos
Tolerância a Falhas Acordo Distribuído December 18, 2009 Sumário Grupos de Processos Acordo Distribuído Com falha nas comunicações Modelos de Sincronismo Sistemas Assíncronos Sistemas Síncronos Grupos
Leia maisAlgoritmos Distribuídos. AD Algoritmos Básicos 1
Algoritmos Distribuídos Algoritmos Básicos Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Este material está baseado no capítulo 4 do livro An Introduction to Distributed
Leia maisAula 30 - Conversores A/D
Aula 30 Conversores A/D Prof. enan Sebem Disciplina de eletrônica digital Departemanto de engenharia elétrica Centro de Ciências Tecnológicas (CCT) Universidade Do Estado de Santa Catarina (UDESC) JoinvilleSC
Leia maisSistemas Distribuídos Aula 17
Sistemas Distribuídos Aula 17 Aula passada Garantindo ordenação total Relógio de vetores Propriedades Aula de hoje Exclusão mútua Algoritmo centralizado Algoritmo de Lamport Token Ring Exemplo Bancário
Leia maisRoteiro. Introdução Sincronização de Relógio Físico Sincronização de Relógio Lógico Exclusão Mútua
Sincronização Roteiro Introdução Sincronização de Relógio Físico Sincronização de Relógio Lógico Exclusão Mútua Introdução A comunicação entre processos é importante, mas não é só isso que importa; Uma
Leia maisAula 12 - Correção de erros
Aula 12 - Correção de erros Prof. Renan Sebem Disciplina de Eletrônica Digital Graduação em Engenharia Elétrica Universidade do Estado de Santa Catarina Joinville-SC Brasil 5 de abril de 2016 ELD0001 Prof.
Leia maisTeste 1 - Análise Numérica Funcional e Optimização Instituto Superior Técnico, 8 de Novembro de 2012, 12h00-13h30
Teste - Análise Numérica Funcional e Optimização Instituto Superior Técnico, 8 de Novembro de 22, 2h-3h3 (MMA,PDEC [4.] Mostre que existe pelo menos uma solução (x, y [, ] 2 para o sistema não linear (m,
Leia maisRule Set Each player needs to build a deck of 40 cards, and there can t be unit of different faction on the same deck.
Rule Set Each player needs to build a deck of 40 cards, and there can t be unit of different faction on the same deck. In a battle between two cards the wining card is the one that has more attack against
Leia maisTolerância a Falhas. Reliable Broadcast e Atomic Commitment. June 2, 2010
Tolerância a Falhas Reliable Broadcast e Atomic Commitment June 2, 2010 Sumário Difusão/Multicast Fiável Multicast Fiável em Grupos Dinâmicos Multicast: Aplicação à Replicação Atomic Commitment Two-phase
Leia maisTempo e Relógios. Sincronização de Relógios - Algoritmo de Cristian - Algoritmo de Berkeley - Network Time Protocol.
Tempo e Relógios Sincronização de Relógios - Algoritmo de Cristian - Algoritmo de Berkeley - Network Time Protocol Relógios Lógicos 1 O papel do tempo Crucial na ordenação de eventos Tempo Real? - Função
Leia maisPOO29004 Programação Orientada a Objetos
POO29004 Programação Orientada a Objetos Diagramas comportamentais UML Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello/poo
Leia maisAGRADECIMENTOS. A todos os que não refiro mas que deram o seu contributo.
AGRADECIMENTOS Quero agradecer à Doutora Maria Paula Mendes Martins, pela sua paciência, sabedoria, experiência, sentido de humor, energia e grande disponibilidade em todos os momentos, desde as aulas
Leia maisSistemas Distribuídos Capítulo 6 - Aula 12
Sistemas Distribuídos Capítulo 6 - Aula 12 Aula Passada Relógios Lógicos Relógios de Lamport Relógios Vetoriais Aula de hoje Exclusão Mútua Algoritmos de Eleição 1 Exclusão Mútua - Questão fundamental
Leia maisReplicação. Modelos de Consistência.
Replicação. Modelos de Consistência. December 1, 2009 Sumário Introdução Questões Centrais da Replicação Modelos de Consistência Replicação O que é? O uso de múltiplas cópias de dados ou serviços (e estado
Leia maisConsistência e Replicação
Consistência e Replicação - Razões para a replicação - Replicação para obter escalabilidade - Modelos de consistência centrados nos dados 1 Razões para a replicação Fiabilidade - Enquanto pelo menos um
Leia maisSincronização e Concorrência
Tópicos da Aula Sincronização e Concorrência Sincronização sincronização interna sincronização externa sincronização de relógio métodos de sincronização Cristian Berkeley tempo lógico Controle de Concorrência
Leia maisEstados globais. Capítulo 10: Visão geral. Estados globais. Estados globais. Estados globais. Estados globais
Capítulo 10: Visão geral Noções iniciais: tempo em SD, drift, skew, UTC Sincronização de relógios físicos Tempo lógico e relógios lógicos Definição de tempo lógico Relógios lógicos de Lamport Relógios
Leia maisInstituto Tecnológico de Aeronáutica
Instituto Tecnológico de Aeronáutica Programa de Pós-Graduação em Engenharia de Infraestrutura Aeronáutica Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica Prova de Seleção o semestre de
Leia maisfalhas em sistemas distribuídos
Tolerância a Falhas falhas em sistemas distribuídos Lamport: A distributed system is a system where I can t get any work done if a machine I ve never heard of crashes. sistemas distribuídos e falhas parciais
Leia maisModelos Fundamentais de um SD. Modelo de Interação ou Sincronismo
Modelos Fundamentais de um SD Modelo de Falhas Modelo de Interação ou Sincronismo Modelo de Segurança 1 Modelo de Avarias: Caracteriza o sistema em termos das falhas/avarias, i.e., dos desvios em relação
Leia maisDesenvolvimento de um Middleware Distribuído para Ordenação de Mensagens Segundo os Algoritmos FIFO, Causal e Total
Desenvolvimento de um Middleware Distribuído para Ordenação de Mensagens Segundo os Algoritmos FIFO, Causal e Total Rafael da Rosa Righi 1, Rodrigo da Rosa Righi 2 1 Laboratório de Redes e Gerência (LRG)
Leia maisSincronização. Fernando Silva DCC-FCUP. Fernando Silva (DCC-FCUP) Sincronização 1 / 45
Sincronização Fernando Silva DCC-FCUP Fernando Silva (DCC-FCUP) Sincronização 1 / 45 Agenda Slides baseados nos slides de Maarten van Steen e no cap. 6 do seu livro com Andrew Tanenbaum. Fernando Silva
Leia maisTelefonia IP. Transmissão de mídias pela Internet vs melhor esforço. Prof. Emerson Ribeiro de Mello. Instituto Federal de Santa Catarina IFSC
Telefonia IP Transmissão de mídias pela Internet vs melhor esforço Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello/tip
Leia maisTempo e sincronização
Sistemas Distribuídos Tempo e sincronização Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Fundamentos Coordenando processos Construíndo sistemas Sistemas construídos 2 Fundamentos Coordenando
Leia maisTempos e Estados Globais. ECO036 - Sistemas Paralelos e Distribuídos
Tempos e Estados Globais ECO036 - Sistemas Paralelos e Distribuídos Tópicos Abordados - Tempo - Relógios e Ordenação de eventos. - Relação Happened- Before - Relógios Lógicos - Vetor de Relógios - Relógios
Leia maisComputação e Programação 2009 / 2010
Computação e Programação 2ª Aula de Problemas Instituto Superior Técnico, Dep. de Engenharia Mecânica - ACCAII Exercícios Resolvidos [Livro 1] (Ver referências no slide 20) 3.3 Write a program to convert
Leia maisSistemas Distribuídos. Professora: Ana Paula Couto DCC 064
Sistemas Distribuídos Professora: Ana Paula Couto DCC 064 Consistência e Replicação Capítulo 7 Agenda Distribuição de Conteúdo Estado versus operações Protocolos de recuperação de atualizações versus protocolos
Leia maisReplicação. Protocolos. June 2, 2010
Replicação. Protocolos. June 2, 2010 Sumário Arquitectura Protocolos baseados em Primário Protocolos de Escrita Replicada Protocolos para client-centric consistency Leitura Adicional Sumário Arquitectura
Leia maisSistemas Distribuídos
Sistemas Distribuídos Tolerância a faltas Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello 3 de dezembro de 2015
Leia maisAluísio Augusto Silva Gonçalves 17 de maio de 2018
CONSISTÊNCIA E CONSENSO CONSTRUINDO SISTEMAS DISTRIBUÍDOS TOLERANTES A FALHAS Aluísio Augusto Silva Gonçalves 17 de maio de 2018 CONTEÚDO Recapitulando Garantias de consistência Linearizabilidade Garantias
Leia maisPolynomials Prasolov
Polynomials Prasolov Theorem 1.1.1 (Rouché). Let and be polynomials, and γ a closed curve without self-intersections in the complex plane. If for all γ, then inside γ there is an equal number of roots
Leia maisPrincípios de Direito Previdenciário (Portuguese Edition)
Princípios de Direito Previdenciário (Portuguese Edition) Wladimir Novaes. Martinez Click here if your download doesn"t start automatically Princípios de Direito Previdenciário (Portuguese Edition) Wladimir
Leia maisSistemas Distribuídos. Capítulo 6 - Aula 10
Sistemas Distribuídos Aula Passada Capítulo 6 - Aula 10 Nomeação estruturada Implementação de um espaço de nomes Implementação de resolução de nomes Nomeação baseada em atributo Introdução ao problema
Leia maisComputação e Programação
Computação e Programação 10ª Aula de Problemas Tópicos Avançados sobre Funções Instituto Superior Técnico, Dep. de Engenharia Mecânica - ACCAII Problema 1 3. The velocity of sound in air is 49.02xT^(1/2)
Leia maisSistemas Distribuídos
Comunicação e Coordenação Clientes e Servidores março de 2015 Comunicação entre Processos Distribuídos troca de mensagens exige coordenação receive?!?...... send............ Coordenação passos para execução
Leia maisDenotational Semantics
October 26, 2018 Syntax of the Imp Language (intexp) e ::= 0 1... x -e e+e e-e... (boolexp) b ::= true false e=e e < e e < e... b b b b b... no quantified terms (comm) c ::= x := e skip c;c if b then c
Leia maisExclusão Mútua Distribuída. Algoritmos para eleição de um coordenador ou líder. UBI, DI, Paula Prata SDTF T04 1
Exclusão Mútua Distribuída Algoritmos para eleição de um coordenador ou líder 1 Há situações em que os processos de um sistema distribuído necessitam de coordenar as suas ações: - quando há recursos partilhados,
Leia maisUnits 3 and 4. 3rd Bimester Content. Future Predictions. Life events. Personality adjectives. English - Leonardo Bérenger and Aline Martins
3rd Bimester Content Life events Be going to Future Predictions Be going to x Will Units 3 and 4 First Conditional Personality adjectives EVALUATION CRITERIA CONTENT TOPICS EVALUATION CRITERIA 3rd Bimester
Leia maisTrabalho de AMSR. Especificação e Verificação de uma Câmara Fotográfica Digital. Problema a Resolver FEUP/MRSC/AMSR MPR. » Problema a concurso
VF 1 Especificação e Verificação de uma Câmara Fotográfica Digital Trabalho de AMSR FEUP/MRSC/AMSR MPR VF 2 Problema a Resolver» Problema a concurso 12 th SDL Forum, 20-24 Junho 2005, Grimstad, Noruega
Leia maisSistemas Distribuídos Capítulo 8 - Aula 15
Sistemas Distribuídos Capítulo 8 - Aula 15 Aula de hoje Aula Passada Comunicação Confiável Cliente-Servidor Comunicação Confiável de Grupo Comunicação Confiável de Grupo Multicast Atômico Sincronia Virtual
Leia maisBoids Model Applied to Cell Segregation
Boids Model Applied to Cell Segregation L G Brunnet, J Belmonti, G L Thomas, R M C de Almeida, H Chaté Instituto de Física, Univ. Federal do Rio Grande do Sul, Brasil and CEA-Saclay, France XXVIII Encontro
Leia maisSistemas de Numeração. Sistemas de Numeração. Sistemas de Numeração. RUIDO em Sistemas Computacionais. Arquiteturas de Computadores
Arquiteturas de Computadores Sistema de Numeração Decimal - (..9) Número 23 na base (): = Prof. Edward David Moreno Cap 2 Número 23,456 na base (): = AC - CAP2 - Edward Moreno AC - CAP2 - Edward Moreno
Leia maisSincronização de Relógios e Relógios Lógicos. Histórico da comunicação. Tempo Global. Mecanismos de ordenação total
WTF : Computação mini-curso Distribuída LCMI/DAS/CTC/UFSC canismos de ordenação total Sincronização de Relógios e Relógios Lógicos Prof. Lau Cheuk Lung E-mail: lau.lung@inf.ufsc.br Departamento de Informática
Leia maisSincronização de relógios
Sincronização de relógios STD29006 Engenharia de Telecomunicações Prof. Emerson Ribeiro de Mello http://docente.ifsc.edu.br/mello/std 31 DE OUTUBRO DE 2018 Relógios Físicos Problema 1 Quando acordo 1/22
Leia maisGrupo de Estudos Maratona de Programação Discussão do problema XYZZY (Uva )
Grupo de Estudos Maratona de Programação Discussão do problema XYZZY (Uva 10.557) 03 de junho de 2009 material por Rafael Giusti (rfgiusti@gmail.com) Enunciado It has recently been discovered how to run
Leia maisResearch Circular #RS DATE: February 23, 2011 TO: Members FROM: Scott Speer RE:
Research Circular DATE: February 23, 2011 TO: Members FROM: Scott Speer RE: Direxion Daily Financial Bear 3X Shares ("FAZ") 1-for-5 Reverse ETF Split Ex-Distribution Date: February 24, 2011 Direxion Daily
Leia maisAspectos Multidisciplinares das Artes Marciais: 1 (Portuguese Edition)
Aspectos Multidisciplinares das Artes Marciais: 1 (Portuguese Edition) Marcelo Moreira Antunes (org.) Click here if your download doesn"t start automatically Aspectos Multidisciplinares das Artes Marciais:
Leia maisSistemas Distribuídos
Sistemas Distribuídos Sincronização de relógios Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello 25 de novembro
Leia maisSistemas Distribuídos. abril de simbolopuc
Sistemas Distribuídos abril de 2019 Motivação tolerância a falhas disponibilidade desempenho proximidade divisão da carga de trabalho: escalabilidade Consistência Se várias cópias de um serviço estão disponíveis,
Leia maisVIABILIDADE DA TRANSMISSÃO DE DADOS VIA SATÉLITE FEASIBILITY OF DATA TRANSMISSION VIA SATELLITE
VIABILIDADE DA TRANSMISSÃO DE DADOS VIA SATÉLITE FEASIBILITY OF DATA TRANSMISSION VIA SATELLITE Loilson Serber Vieira 1 ; Carlos Eduardo Spinassi Elias 2 ; Rafael Scoczynski Ribeiro 3. 1 Centro de Ensino
Leia maisComo deixar seus cabelos lindos e saudáveis (Coleção Beleza) (Portuguese Edition)
Como deixar seus cabelos lindos e saudáveis (Coleção Beleza) (Portuguese Edition) Edições Lebooks Click here if your download doesn"t start automatically Como deixar seus cabelos lindos e saudáveis (Coleção
Leia maisMedicina e Meditação - Um Médico Ensina a Meditar (Portuguese Edition)
Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese Edition) Roberto Cardoso Click here if your download doesn"t start automatically Medicina e Meditação - Um Médico Ensina a Meditar (Portuguese
Leia maisUma introdução à indecilibidade a forma máxima de complexidade!
Uma introdução à indecilibidade a forma máxima de complexidade! Como qualquer outra ferramenta, computadores tem capacidades e limitações que devem ser entendidas para seu bom uso. 1 Um problema indecidível:
Leia maisdaily activity into three 10-minute segments if you re having difficulty finding time to exercise.
Atividade extra Questão 01 http://pt.wikipedia.org/wiki/gin%c3%a1stica Get more physical activity. Within two months of starting, frequent aerobic exercise can increase HDL cholesterol by about 5 percent
Leia maisExclusão Mútua Distribuída. Algoritmos para eleição de um coordenador ou líder. UBI, DI, Paula Prata SDTF T04 1
Exclusão Mútua Distribuída Algoritmos para eleição de um coordenador ou líder 1 Suponhamos N processos, pi, i=1,2,,n que não partilham variáveis, mas que partilham algum recurso partilhado ao qual devem
Leia maisSistemas Distribuídos Aula 13
Sistemas Distribuídos Aula 13 Aula passada Modelo computação distribuída RPC Marshalling e stubs Semântica operacional RMI Aula de hoje Relógios Hora de referência Sincronizando relógios Algoritmo de Berkeley
Leia maisIntrodução a Sistemas Digitais
Introdução a Sistemas Digitais Meta-estabilidade MTBF Clock skew Disciplina: Sistemas Digitais Profa. Dra. Fernanda Gusmão de Lima Kastensmidt 1/ 28 O que é Meta-estabilidade estabilidade? Sempre quando
Leia maisCIS 500 Software Foundations Fall September(continued) IS 500, 8 September(continued) 1
CIS 500 Software Foundations Fall 2003 8 September(continued) IS 500, 8 September(continued) 1 Polymorphism This version of issaidtobepolymorphic,becauseitcanbeapplied to many different types of arguments.
Leia maisALGEBRA 2 PRACTICE FINAL EXAM
ALGEBRA 2 PRACTICE FINAL EXAM 1) Write the slope-intercept form of the equation of the line through the point (-3, ( -5) with slope. 2) Write the slope-intercept form of the equation of the line through
Leia maisVaporpunk - A fazenda-relógio (Portuguese Edition)
Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Click here if your download doesn"t start automatically Vaporpunk - A fazenda-relógio (Portuguese Edition) Octavio Aragão Vaporpunk - A
Leia maisLesson 6 Notes. Eu tenho um irmão e uma irmã Talking about your job. Language Notes
Lesson 6 Notes Eu tenho um irmão e uma irmã Talking about your job Welcome to Fun With Brazilian Portuguese Podcast, the podcast that will take you from beginner to intermediate in short, easy steps. These
Leia maisO guia do enxoval do bebê nos Estados Unidos: Dicas e segredos da maior especialista de compras em Miami, Orlando e Nova York (Portuguese Edition)
O guia do enxoval do bebê nos Estados Unidos: Dicas e segredos da maior especialista de compras em Miami, Orlando e Nova York (Portuguese Edition) Priscila Goldenberg Click here if your download doesn"t
Leia maisSistemas Distribuídos
Faculdades SENAC Análise e Desenvolvimento de Sistemas 1 de agosto de 2009 Modelo de Interação (Clocks e Eventos) Em SDs é difícil estabelecer limites de tempo sobre o tempo tomado para execução de processos,
Leia maisPoder sem limites - o caminho do sucesso pessoal pela programação neurolinguística
Poder sem limites - o caminho do sucesso pessoal pela programação neurolinguística Anthony Robbins Click here if your download doesn"t start automatically Poder sem limites - o caminho do sucesso pessoal
Leia maisRCC 0456 Teoria da Contabilidade II
RCC 0456 Teoria da Contabilidade II ESCOLHAS CONTÁBEIS (ACCOUNTING CHOICES) 2 ABSTRACT Although both companies follow generally accepted accounting principles (GAAP), each manager makes different choices
Leia maisJapanese-speaking guides? guias que falam japonês? meals for vegetarian? refeições para vegetarianos?
Can I have a tour brochure, please? Do you have tours with Japanese-speaking guides? Posso pegar um guia de turismo, por favor? Vocês têm tours com guias que falam japonês? Can I have Do you have tours
Leia maisRelógio Lógico Algoritmo de Lamport. Relógio Lógico Algoritmo de Lamport. Relógio Físico Algoritmo Centralizado. Relógio Físico Algoritmo Centralizado
Relógio Lógico Algoritmo de Lamport Objetivo: Sincronização de clocks lógicos Os tempos associados aos eventos não são necessariamente próximos ao tempo real. Os processos não precisam estar de acordo
Leia maisProjeto de Sistemas Distribuídos. Considerações
Projeto de Sistemas Distribuídos Considerações Projeto de Sistemas Distribuídos Problemas Objetivos Requisitos de usuário Como são estruturados? 2 Problemas-chave Nomeação Alocação de carga Manutenção
Leia maisMecânica Geral Vínculos (Reações de Apoio) Prof. Ettore Baldini-Neto
Mecânica Geral Vínculos (Reações de poio) Prof. Ettore Baldini-Neto baldini@uninove.br Condições necessárias e suficientes para o O M 2 resultant forc or off the bod both equal t Mathematical equilíbrio
Leia maisInstituto Tecnológico de Aeronáutica
Instituto Tecnológico de Aeronáutica Programa de Pós-Graduação em Engenharia de Infraestrutura Aeronáutica Programa de Pós-Graduação em Engenharia Aeronáutica e Mecânica Prova de Seleção 2 o semestre de
Leia maisVendors Enquiries for RFP 003/2015
Date: 22/10/2015 Vendors Enquiries for RFP 003/2015 1) Question I am afraid the terms of the RFP cannot be complied by none of the companies we work with, the terms have limited the underwriters ability
Leia maisBCD29008 Banco de dados
BCD29008 Banco de dados Linguagem SQL Prof. Emerson Ribeiro de Mello Instituto Federal de Santa Catarina IFSC campus São José mello@ifsc.edu.br http://docente.ifsc.edu.br/mello/bcd 21 de agosto de 2017
Leia maisPL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese Edition)
PL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese Edition) Eduardo Gonçalves Click here if your download doesn"t start automatically PL/SQL: Domine a linguagem do banco de dados Oracle (Portuguese
Leia maisSistemas Distribuídos
Sistemas Distribuídos Comunicação em Grupo maio de 2017 Grupos em Aplicações Distribuídas grupos fortemente acoplados: replicação de serviços confiabilidade tempo de resposta clientes com estado compartilhado
Leia mais