arquiteturas e modelos nazareno andrade universidade federal de campina grande 02/2008 sistemas...
TRANSCRIPT
![Page 1: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/1.jpg)
Arquiteturas e Modelos
Nazareno AndradeUniversidade Federal de Campina Grande
02/2008
Sistemas Distribuídos
![Page 2: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/2.jpg)
2
FundamentosCoordenando processosConstruíndo sistemasSistemas construídos
![Page 3: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/3.jpg)
3
Fundamentos– O que são sistemas distribuídos– Para que distribuímos sistemas– Referências de sistemas distribuídos– Vocabulário sobre sistemas distribuídos– Arquiteturas de sistemas distribuídos– Modelos de sistemas distribuídos
Coordenando processosConstruíndo sistemasSistemas construídos
![Page 4: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/4.jpg)
4
Objetivos
Entender possibildiades de organização dos compontentes de um SD em arquiteturas
Compreender vantagens e desvantagens de arquiteturas
Aprender para quê modelos são úteis em SDs
Se familiarizar com modelos mais comuns de SDs
![Page 5: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/5.jpg)
5
Arquiteturas de sistemas distribuídos
![Page 6: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/6.jpg)
6
Arquitetura == Arte de edificar
![Page 7: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/7.jpg)
7
Arquiteturas
Arquitetura: organização e interação dos componentes
Arquitetura do software vs. Arquitetura do sistema– Do software: organização dos componentes lógicos– Do sistema: organização nos componentes físicos
Repare que a arquitetura do sistema depende da arquitetura do software
![Page 8: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/8.jpg)
8
Arquitetura de software
Como componentes são configurados em conjunto para formar o sistema– Componente: unidade modular com interface definida e
substituível– Conectores: instrumentos de comunicação para os
componentes
Podemos classificar arquiteturas em estilos arquiteturais
![Page 9: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/9.jpg)
9
FIGURA DO TANENBAUM
Estilos arquiteturais
![Page 10: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/10.jpg)
10
Arquitetura de sistema
Como os componentes estão distribuídos na prática?
Arquiteturas centralizadas
Arquiteturas descentralizadas
Arquiteturas híbridas
![Page 11: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/11.jpg)
11
Arquiteturas centralizadas
Arquiteturas descentralizadas
Arquiteturas híbridas
![Page 12: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/12.jpg)
12
Arquiteturas centralizadas
Comumente referida como Cliente-ServidorClientes requisitam serviço de um servidor
Exemplos: NFS, BDs, ...
Claro, um servidor pode ser cliente de outro servidor– Usuário requisita do NFS, este requisita do FS local
![Page 13: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/13.jpg)
13
Dividindo responsabilidades
O que fica no cliente, o que fica no servidor?Consideremos uma aplicação em 3 camadas:
![Page 14: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/14.jpg)
14
Como dividir?
![Page 15: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/15.jpg)
15
Comentário sobre quem faz o quê
Normalmente, clientes magros facilitam a gerência do sistema– A funcionalidade a ser atualizada está no servidor– Algumas vezes, o código do cliente é sempre enviado do
servidor: AJAX
Clientes gordos favorecem responsividade e escalabilidade– A revolução do Gmail
![Page 16: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/16.jpg)
16
Arquiteturas centralizadas
Arquiteturas descentralizadas
Arquiteturas híbridas
![Page 17: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/17.jpg)
17
Arquiteturas descentralizadas
Comumente chamadas peer-to-peer (entre-pares)– Embora descentralizado ≠ entre-pares
Dois tipos de distribuição:– Vertical: componentes diferentes em máquinas diferentes– Horizontal: componentes semelhantes em máquinas diferentes
Arquitetura descentralizada: processos são essencialmente iguais, mas possuem recursos diferentes– Kazaa, eDonkey e similares– Skype, MSN e similares
![Page 18: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/18.jpg)
18
Redes de sobreposição
Os componentes estão organizados numa rede lógicaChamamos essa rede de overlay ou sobreposta
Como um componente acha qual outro componente tem um recurso?
Duas questões: como gerenciar a topologia da overlay e como rotear requisições?
(por hora, vamos lidar com a primeira)
Respostas: topologias estruturadas e não estruturadas
![Page 19: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/19.jpg)
19
Topologias não-estruturadasSe baseiam em algoritmos aleatórios:
– Cada nó obtém uma lista de vizinhos aleatórios– Quando precisa de um recurso, esse nó pergunta
a seus vizinhos quem tem• Flooding, popularizado pelo Gnutella v1.0
O BitTorrent constrói sua overlay assimMulticast no nível da aplicação pode usar o
mesmoCDNs também
![Page 20: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/20.jpg)
20
Exemplo de topologias não-estruturadas
BitTorrent– Cada nó recebe uma lista
aleatória de vizinhos e se conecta a eles
– Nós trocam peças do arquivo com seus vizinhos
Gnutella v1.0– Nós conhecem um ou poucos
nós a se juntar na rede– Nós se anunciam a todos que
queiram ouvir– Cada nó mantém uma lista
aleatória de conhecidos
![Page 21: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/21.jpg)
21
Supernós (super pares)
Se é necessário localizar recursos freqüentemente na rede, a não estruturação prejudica escalabilidade– Inundação # mensagens proporcional ao # nós
Uma solução é criar índices– Um supernó é responsável um conjunto de nós ou
recursos– Um nó requisita um recurso a um supernó– A descoberta de recursos se restringe aos supernós
![Page 22: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/22.jpg)
22
Exemplos: Kazaa, Skype, JXTA (randomized walks)
![Page 23: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/23.jpg)
23
Supernós do Skype em 2007
![Page 24: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/24.jpg)
24
Topologias estruturadas
Princípio: procedimento determinístico– Para manter a topologia– Para descobrir recursos
A topologia reflete uma estrutura de dados considerando quem tem qual recurso– Estrutura mais comum é uma Hash Table distribuída: DHT– Outros exemplo é estruturar nós em uma árvore
distribuída
![Page 25: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/25.jpg)
25
==
![Page 26: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/26.jpg)
26
Entendendo DHTs
Recursos e nós recebem identificadores aleatórios
O espaço de identificadores de recurso é dividido entre os nós de acordo com os identificadores dos nós– Protocolo para entrada e saída de nós
Uma consulta lookup(resourceID) retorna um nodeID– Objetivos: determinismo e eficiência
![Page 27: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/27.jpg)
27
Exemplo: Chord
Nós são organizados em um anelO item k é mapeado para o nó com menor id com id ≥ k
![Page 28: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/28.jpg)
28
Mantendo a topologia no Chord
Ao entrar no sistema:– O nó com id i procura quem é responsável por i: succ(i)– Contata succ(i) e pergunta quem é seu predecessor– Assume recursos entre i e seu predecessor e muda ponteiros
Ao sair do sistema:– Avisa sucessor e predecessor para reparar anel– Transfere recursos para succ(i)
Mais na frente veremos como buscar no anel...
![Page 29: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/29.jpg)
29
Exemplo 2: CAN
Chord usa um espaço de ids unidimensionalCan usa um espaço multidimensional
![Page 30: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/30.jpg)
30
Centralizado vs. descentralizado
Descentralização: – Escalabilidade– Robustez– Complexidade
Arquiteturas centralizadas
Arquiteturas descentralizadas
Arquiteturas híbridas
Centralização: – Simplicidade de
implementação– Simplicidade de gerência– Gargalo em potencial
![Page 31: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/31.jpg)
31
Arquiteturas centralizadas
Arquiteturas descentralizadas
Arquiteturas híbridas
![Page 32: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/32.jpg)
32
Diretório centralizado, função distribuída
Napster, MSN, BitTorrent, GoogleFS, ...Diretório é simples e razoavelmente escalável se centralizado
![Page 33: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/33.jpg)
33
Serviço descentralizado, interação cliente-servidor
OriginServer
Coralhttpprxdnssrv
Coralhttpprxdnssrv
Coralhttpprxdnssrv
Coralhttpprxdnssrv
Coralhttpprxdnssrv
Coralhttpprxdnssrv
Browser
Browser
Browser
Browser
CDNs, OurGrid, ...
![Page 34: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/34.jpg)
34
Recapitulando
Estilos arquiteturais de softwareArquitetura do sistema
– Centralizada, descentralizada ou híbrida– Manutenção de overlays– Tradeoffs entre escalabilidade, eficiência e simplicidade de
implementação– Repertório de arquiteturas
![Page 35: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/35.jpg)
35
Modelos de sistemas distribuídos
![Page 36: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/36.jpg)
36
Fundamentos– O que são sistemas distribuídos– Para que distribuímos sistemas– Referências de sistemas distribuídos– Vocabulário sobre sistemas distribuídos– Arquiteturas de sistemas distribuídos– Modelos de sistemas distribuídos
Coordenando processosConstruíndo sistemasSistemas construídos
![Page 37: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/37.jpg)
37
O que é um modelo?
Representação abstrata de um objeto de estudoObjetivo: analisar propriedades desse objeto
Tipicamente é mais simples que o objetoSimplicidade Análise
Complementam a experimentaçãoAjudam a entender resultados do experimentoPodem explorar espaço de possibilidades com menos custos
![Page 38: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/38.jpg)
38
Resultados de modelos
Normalmente fazemos o seguinte: 1. Simplificamos a realidade2. Analisamos processos ou entidades que importam3. Derivamos resultados relevantes para a realidade
Resultados geralmente são de impossibilidade ou de custo
![Page 39: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/39.jpg)
39
Exemplo de uso de modelo
p ou q deve baixar t1 e fazer streaming para o outro processo– Assumimos que p começa o algoritmo distribuído, mandando uma msg para q
Se as mensagens de p e q sempre chegam ao destino, em algum momento eles começarão o processamentoPorém não podemos dizer nada sobre a demora para começar
Se as mensagens têm atraso mínimo de min e máximo de max:– p envia “t1”, espera min e começa– q recebe mensagem, espera 1 e começa– Atraso máximo é de (max – min + 1) é conhecido
p
qt1
servidor
![Page 40: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/40.jpg)
40
Dimensões úteis em SD
O que é comum a todas as arquiteturas?
Interação entre processos– Processos precisam se comunicar e coordenar– Quais as considerações sobre a comunicação?
Falhas– Em SD, temos falhas parciais– Como os processos e canais falham e detectam falhas?
Segurança– Especificar ameaças e atacantes
![Page 41: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/41.jpg)
41
Modelos de interação
Múltiplos processos interagem trocando mensagens– Desempenho dos canais torna-se importante– Não há noção de tempo única (já vemos porque)
Definições:– Latência: Tempo entre envio e chegada da mensagem– Atraso: Tempo entre decisão de envio e envio (devido a
congestão na rede)– Largura de banda: capacidade de envio em um instante– Jitter: variação no tempo para enviar uma série de
mensagens
![Page 42: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/42.jpg)
42
Tempo e interação
Tempo pode ser útil para coordenação e para decisões:– “Paramos o serviço às 18:00” – “Se o processo não respondeu em 1s é porque não está funcionando”
Mas apenas se:– Os relógios dos processos tiverem alguma precisão em comum– Conhecermos quanto tempo uma mensagem normalmente demora
para chegar a seu destino e quanto tempo um nó demora processando
Decidir se isso é verdade ou não em nosso modelo são as nossas considerações!
![Page 43: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/43.jpg)
43
A Relatividade e os Sistemas Distribuídos
Praticamente todo relógio tem uma drift rate (inclusive a Terra)Em um instante, o tempo em dois processos provavelmente
será diferente
Caso consideremos esse drift, pode não ser possível usar relógios como referências– Mas e se nosso sistema se mantiver monitorando os
drifts? O que muda?
![Page 44: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/44.jpg)
44
![Page 45: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/45.jpg)
45
Tempo de envio e de processamento
Quanto tempo uma mensagem pode demorar para chegar em nosso modelo?– Na realidade, ela pode demorar para sempre
Um nó sabe quanto tempo esperar pelo processamento de outro nó?– Como saber se o outro nó está processando ou falhou?
![Page 46: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/46.jpg)
46
Variantes do modelo de interação
Com relação às considerações:
Modelo síncronoModelo assíncronoModelo parcialmente síncrono
Sincronismo : coordenação no tempo de ocorrência de fatos ou eventos (Houaiss)
![Page 47: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/47.jpg)
47
Modelo síncrono
1. Há limites de tempo para a execução de um passo em um processo
2. Há limite de tempo para a transmissão de uma mensagem em um canal de comunicação
3. O drift dos relógios dos processos tem limite conhecido
![Page 48: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/48.jpg)
48
Sincronismo na prática
O modelo síncrono permite a concepção de soluções simples
Mas como descobrir os limites de na prática?– Em alguns sistemas especializados, é possível
• Processamento em etapas de tamanho conhecido• Processamento sem preempção
– Em outros casos, probabilidade pode ser usada• Limites probabilísticos Confiança probabilística
![Page 49: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/49.jpg)
49
Modelo assíncrono
Não há limites conhecidos para: 1. Execução de uma instrução por um processo2. Demora na transmissão de uma mensagem3. Drift no relógio dos processos
Modelo com menos considerações Modelo mais geral
Infelizmente, tipicamente serve para provar impossibilidades
![Page 50: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/50.jpg)
50
Exemplo: FLP
Impossibilidade de consenso entre processos em um sistema assíncrono se um deles pode falhar– Um processo não pode distingüir se o outro falhou ou está
demorando a responder– Se há uma falha, outros processos esperam para sempre(No artigo, é uma prova matemática usando o modelo assíncrono)
Ressalva: não quer dizer que nunca acontece consenso; apenas não é possível garantir
Mas imagine o que esse resultado significa para BDs distribuídos...
![Page 51: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/51.jpg)
51
Modelos parcialmente síncronos
Alguma sincronia facilita o desenvolvimento de algoritmos distribuídos
O sistema pode ser síncrono durante um períodoO sistema pode ser síncrono em uma parte
![Page 52: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/52.jpg)
52
Sistemas síncronos por algum tempo
Se em algum momento o sistema é síncrono, em algum momento é possível detectar falhas
Detectores de falhas: – Acurácia e precisão
Considerando um detector de falhas específico, é possível desenvolver uma solução com desempenho conhecido
![Page 53: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/53.jpg)
53
Sistemas síncronos em alguma parte
Uma parte do sistema é síncrona
Exemplo: um canal de comunicação para controle– Esse canal também dá possibilidade de detecção de falhas
Interface 1
Interface 2
Interface 1
Interface 2
Canal dedicado, sem congestão
![Page 54: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/54.jpg)
54
Lembrando onde estamos...
Sincronismo diz respeito às considerações de interação no nosso modelo– Modelo assíncrono, síncrono e parcialmente síncrono
Há outras 2 dimensões importantes: – Falhas– Segurança
![Page 55: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/55.jpg)
55
Modelo de falhas
Processos e canais podem falharFalha: sair do comportamento esperado
Tipos de falha:– Omissão – Tempo– Arbitrária
![Page 56: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/56.jpg)
56
Omissão
Processo: – Crash: pára para sempre, outros não notam– Fail-stop: pára para sempre, perceptível
• Por exemplo por timeouts num modelo síncrono
Canal: – Mensagem enviada não chega ao destino
• E.g.: Drop no roteador
A maior parte das falhas que você vai ver são desse tipo
![Page 57: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/57.jpg)
57
Falhas de tempo
Acontecem quando limites de tempo são desrespeitados em sistemas síncronos
Particularmente relevantes para sistemas de tempo real– Ex: Skype
Pode ocorrer devido a relógio, atraso na transmissão de mensagem ou atraso no processamento
![Page 58: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/58.jpg)
58
Falhas Arbitrária
Aka Bizantinas
Processos ou canais produzem qualquer comportamento indesejado– Eg.: processo envia resposta válida, mas com resultado
errado– Eg2.: canal muda mensagem enviada
Mais difíceis de contornarEmbora aconteçam: exemplos do PlanetLab e Amazon
![Page 59: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/59.jpg)
59
Outro exemplo de modelos
Exemplo p. 5x do CDK. Consenso com e sem crashes.
![Page 60: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/60.jpg)
60
Lembrando onde estamos...
Já vimos: – Modelos de interação– Modelos de falha
Falta:– Modelos de Segurança
![Page 61: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/61.jpg)
61
Modelos de segurança
Confidencialidade: Não pode haver acessos não-autorizados
Integridade: Não pode haver alterações não-autorizadas
Normalmente modelamos um adversário (ou inimigo), suas capacidades e seus recursos– A partir dele, fazemos um modelo de ameaças– Por exemplo, qual o modelo de ameaças de um caixa
eletrônico?
![Page 62: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/62.jpg)
62
Ataques a recursos
O adversário é capaz de fazer requisições não-autorizadas– RMI sem SSL– Serviços sem senha
É necessário que o serviço seja capaz de verificar a identidade do requisitante
E o mesmo vale se o adversário puder se passar pelo servidorO cliente deve conseguir verificar a identidade do servidor
![Page 63: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/63.jpg)
63
Ataques à interação dos processos
Ataques possíveis para um adversário:– Se passar por outro processo e enviar uma mensagem– Escutar mensagens nos canais de comunicação e alterá-
las, omiti-las ou repeti-las– Enviar tantas requisições a um servidor que o paralisa
(Denial of Service)– Se passar por vários processos em uma votação (Sybil)
De quais desses ataques nosso adversário é capaz?De quantos recursos ele dispõe?
![Page 64: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/64.jpg)
64
Lidando com isso tudo (introdução)
Criptografia: ciência de manter mensagens seguras– Criptografar == embaralhar de forma a só ser desembaralhado por
quem conhece uma chave– É possível perceber se alguém alterou uma mensagem criptografada
Autenticação: prova uma identidade usando criptografiaAutorização: define que identidades podem fazer o que
Com autenticação + criptografia temos canais seguros: – Partes sabem a identidade do outro lado do canal– Esses canais provêem confidencialidade e integridade– SSL provê essa abstração para um desenvolvedor
Note que cada técnica dessas tem um custo computacional e administrativo
![Page 65: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/65.jpg)
65
Outra forma de dividir tipos de ataque
Interceptação– Acesso a dados ou serviços não-autorizados
Interrupção– Pausa indevida na provisão de um serviço ou dado
Modificação– Alteração indevida no serviço ou dado
Invenção– São gerados dados que não deviam existir (ex.: novos
usuários)
![Page 66: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/66.jpg)
66
Exemplo de modelo de segurança: OurGrid
Tipos de ataque considerados:– Falsificação de identidade de usuário Criptografia– Cliente malicioso Virtualização– Servidor malicioso Tolerância a sabotagem
Não consideramos DoS– Quão ruim é isso?
Hoje as identidades têm que ser geradas por uma autoridade– Tradeoff simplicidade de uso vs capacidade de autorização
![Page 67: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/67.jpg)
67
Lembrando onde estamos...
Já vimos: – Modelos de interação– Modelos de falha– Modelos de Segurança
![Page 68: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/68.jpg)
68
Que modelo usar para meu sistema?
Aquele que captura os aspectos essenciais, e nada mais
Exemplos: – Se o objetivo é discutir segurança, convém levar
velocidade de processamento em conta?– Se a camada de comunicação é segura, podemos discutir
apenas propriedades de mais alto nível
![Page 69: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/69.jpg)
69
Onde esses modelos serão úteis nesse curso?Vocabulário para discutir propriedades de sistemas
distribuídos
Por exemplo: – Que tipo de camada de comunicação é necessária para
implementar um BD distribuído?– Usando UDP ou TCP, como muda o modelo de falhas do
sistema?– Como tolerar falhas bizantinas? E crash?– Como definimos os mecanismos necessários para a
segurança de um grid?
![Page 70: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/70.jpg)
70
Recapitulando
Modelos ferramenta para analisar propriedades de sistemas distribuídos
Repertório de aspectos usados em modelos de SD:Quanto à interação dos processos
– Assíncrono; Síncrono; Parcialmente Síncrono
Quanto às falhas que acontecem– Nos processos; nos canais de comunicação– De omissão, de tempo, arbitrárias
Quanto à segurança– Modelos de ameaças– Criptografia, autenticação, autorização e custo
![Page 71: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/71.jpg)
71
Mais sobre esse assunto
Modelos: – What good are models and what models are good?
Modelos de interação:– Timed Asynchronous Distributed System Model
Modelos de falhas:
Segurança:– A Taste of Computer Security
![Page 72: Arquiteturas e Modelos Nazareno Andrade Universidade Federal de Campina Grande 02/2008 Sistemas Distribuídos](https://reader036.vdocuments.net/reader036/viewer/2022070311/552fc150497959413d8e35e3/html5/thumbnails/72.jpg)
72
Cenas do próximo capítulo