sistemas distribuídos 2° semestre, 2014

32
Prof. Luiz Fernando Bi1encourt IC - UNICAMP MC714 Sistemas Distribuídos 1° semestre, 2017

Upload: truongdan

Post on 07-Jan-2017

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

MC714SistemasDistribuídos1°semestre,2017

Page 2: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Introdução–sistemasdistribuídos

Page 3: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Introdução-sistemasdistribuídos•  1.ColeçãodeenJdadesindependentesquecolaborampararesolverumproblemaquenãopoderiaserresolvidoindividualmente(KshemkalyanieSinghal).

•  2.SistemaondecomponentesdehardwareousoVwarelocalizadosemcomputadoresemredecomunicam-seecoordenamsuasaçõesatravéssomentedetrocademensagens(Couloris,DollimoreeKindberg).

•  3.Umconjuntodecomputadoresindependentesqueseapresentaaseususuárioscomoumsistemaúnicoecoerente(TanenbaumeVanSteen).

Page 4: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Introdução-sistemasdistribuídos•  Existemdesdesempre•  Comunicaçãoentreagentesmóveisnanatureza

• Hoje•  DisposiJvoscomputacionaisemrede•  Ferramentapararesolverproblemas•  Vontadeprópria?Comportamentoesperado?Autonomiaatéquenível?

Page 5: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Caracterização–sistemasdistribuídos•  Usuáriosódescobrequeestáusandoumsistemadistribuídoquandoalgumafalhaimpededeusaralgumaaplicação(Lamport).

•  ColeçãodecomputadoresquenãocomparJlhammemóriaourelógiodsicocomum,quesecomunicampormensagenssobreumarededecomunicação,ecadacomputadorpossuisuaprópriamemóriaeexecutaseuprópriosistemaoperacional.Tipicamentesãosemi-autônomosefracamenteacopladosenquantocooperampararesolverumproblemacoleJvamente(Tanenbaum/VanSteen).

Page 6: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Caracterização–sistemasdistribuídos•  Umtermoquedescreveumaamplagamadecomputadores,desdesistemasfracamenteacopladoscomoredesdelongadistância,asistemasfortementeacopladoscomoasLANs,eatésistemasmuitofortementeacopladoscomosistemasmulJprocessados(Goscinski).

Page 7: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Caracterização–sistemasdistribuídos•  Escrevamsuasdefiniçõesdesistemasdistribuídosemumpapelcomseunome.•  Escrevamumexemplodesistemadistribuídoqueservecomoanalogiaaossistemasdecomputaçãodistribuídos.

Page 8: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Características•  Semrelógiodsicocomum•  Introduzanoçãodedistribuição,dandoorigemàassincroniainerenteentreprocessadores.

•  SemmemóriacomparJlhada•  Requertrocademensagensparacomunicação.•  Deve-senotarquepodefornecerabstraçãodeumespaçodeendereçamentocomumatravésdaabstraçãodememóriacomparJlhadadistribuída.

Page 9: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Características•  Separaçãogeográfica–quantomaisseparado,“maisé”umsistemadistribuído•  Nãonecessariamenteemumawideareanetwork.•  Clusters–pequenossistemasdistribuídos

• Autonomiaeheterogeneidade•  Processadoresfracamenteacopladoscomdiferentes“velocidades”ediferentesSOs

Page 10: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Componentes-hardware• Cadacomputadortemumaunidadedememóriaedeprocessamento•  Sãoconectadosporumarededecomunicação•  Fig1

Page 11: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Componentes-Software• Aplicaçãodistribuída• Middleware•  Sistemaoperacional• Pilhadeprotocolosderede•  Fig2

Page 12: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquitetura/Middleware•  ExecuçãodistribuídaéaexecuçãodeprocessosnosistemadistribuídoparaalcançarumobjeJvocomum.• Arquiteturaemcamadasparaquebrarcomplexidade(Fig2).• MiddlewareéosoVwaredistribuídoquecoordenaosistemadistribuídoenquantofornecetransparênciadeheterogeneidade.

Page 13: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquitetura/Middleware• Bibliotecas/padrões/mecanismosdemiddleware:• CORBA–commonobjectrequestbroker•  NormalizaçãodesemânJcadechamadasentreobjetos

• RPC–remoteprocedurecall•  DCOM–distributedcomponentobjectmodel•  RMI–remotemethodinvocaJon•  SOAP–simpleobjectaccessprotocol

• MPI–messagepassinginterface

Page 14: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquitetura/Middleware• RPC:conceitualmenteigualàchamadadeprocedimentolocal,comadiferençaqueocódigochamadopodeestaremmáquinaremota.•  SoVwaredeRPCenviamensagempelaredeeaguardaresposta,momentoemqueachamadasecompletadopontodevistadoprocessoinvocador.

Page 15: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Motivação/requisitos•  Existemaplicaçõesondeacomputaçãoéintrinsecamentedistribuída•  Ex:transferênciabancária

•  ComparJlhamentoderecursos•  Hardware,soVware/bibliotecas,dados,licenças•  Impossívelreplicartudoemtodolugar–impraJcávelouineficiente

•  Impossívelcolocartudoemumlugarsó–gargaloseconfiabilidade

•  Acessoarecursosgeograficamentedistribuídos•  Dadossensíveisoumuitograndes•  AcessoadadosesupercomputadoresaparJrdedisposiJvosmóveis

Page 16: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Motivação/requisitos• Aumentarconfiabilidade•  ReplicaçãodedadosedesoVware•  Disponibilidade:recursodeveestardisponível“sempre”•  Integridade:estado/valordeumrecursodevesercorreto,sobacessosconcorrentesdemúlJplosprocessadores,deacordocomasemânJcaesperadapelaaplicação•  Tolerânciaafalhas:habilidadederecuperaçãodefalhasnosistema

Page 17: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Motivação/requisitos• Melhorartaxadesempenho/custo•  ComparJlhamentoderecursosedadosremotos•  Aumentarvazão(nemsempreéesseoobjeJvo...)•  Podeoferecermelhordesempenho/custoquemáquinasparalelasespeciais

• Oferecerescalabilidade–evitargargalos•  Adicionarmaisprocessadoresnãoimpõegargalodiretoparaarede.

• Modularidade/facilidadedeexpansão•  Adicionar(ousubsJtuir)processadoresheterogêneossemdegradardesempenho.

• Outras?

Page 18: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasparalelos

Page 19: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasparalelos•  Existemsistemasquepossuemalgumas,masnãotodas,ascaracterísJcasdeumsistemadistribuído• Comoclassificá-los?•  SãosistemasdistribuídosousistemasmulJprocessados?

Page 20: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquiteturasdememória• Doisaspectos:localizaçãoepolíJcadeacesso.• Umamemóriaparatodososprocessadores:memóriacompar4lhada.•  SememórianãoécomparJlhada:acessoviameiosexplícitosdecomunicação,comotrocademensagens.

Page 21: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquiteturasdememória• Memóriacentralizada:•  Memóriacomumacessadaportodososprocessadores.

• Memóriadistribuída:•  Fisicamentedistribuídacomosprocessadores.•  MemóriacomparJlhada•  Espaçodeendereçamentoglobal•  Tempodeacessodiferente,emgeral

•  MulJprocessadoresdememóriadistribuída•  Trocademensagens•  Acessoatravésdoprocessador•  Hierárquica:alguns(2-4)processadorescomparJlhammemória,formandoumnódecomputação.MúlJplosnóssãoconectadosemumnívelmaisalto–IBMBlueGeneL

•  Fig3

Page 22: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arquiteturasdememória-diferenças•  Memóriacentralizada•  ExtensãointuiJvadaarquiteturadeumúnicoprocessador.•  Contençãonacomunicaçãocommemóriacentrallimitaescalabilidade.•  Sistemasbaseadosembarramentogeralmentepossuempoucosprocessadores(<=8).

•  Memóriadistribuída•  Comtrocademensagempermiteprojetomaissimples,masprogramaçãotorna-semaiscomplicada.

•  Maiorescalabilidade–massivelyparallelprocessors(MPP)sãosistemasdememóriadistribuídaqueusamtrocademensagensepodemcontercentenasdemilharesdeprocessadores.

•  MulJprocessadoresdememóriadistribuídaintegramasduasabordagens,fornecendoescalabilidadeemaiorfacilidadedeprogramação.

Page 23: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasparalelos-classiFicação•  SistemasmulJprocessados.• MulJcomputadores.• Processadoresvetoriais

Page 24: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasmultiprocessados•  SistemasparalelosondeosmúlJplosprocessadorestemacessodiretoaumamemóriacomparJlhada,aqualformaumespaçodeendereçamentoúnico.•  Geralmentesemumrelógiocomum.•  GeralmenteconsJtuemumaUniformMemoryAccess(UMA),ondealatênciadeacessoàmemóriaéamesmaparaqualquerprocessador.•  Comunicaçãoentreprocessos:leitura/escritadamemóriacomparJlhada.•  ProcessadoresgeralmentedomesmoJpoemummesmocontainer.•  Fig4

Page 25: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasmultiprocessados•  Interconexão:busoumul4stageswitch• Representação:grafonãodirecionado•  VérJce=processador+memórialocal+switch•  Aresta=enlacedecomunicaçãoentreprocessadores•  Grau–númerodemensagensquepodemsermanipuladassimultaneamenteporumprocessador.

•  Diâmetro–menornúmerodenósnecessárioparacomunicaçãoentredoisnósmaisdistantesnarede.

•  Larguradebisseção–númerodeenlacesmínimoquedividearedenametade.Indicaquantasmensagenspodemsertrocadassimultaneamenteentreduasmetadesdarede.

•  Fig15

Page 26: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasmultiprocessados• Duasredesdeinterconexãopopularessãoaomegaeabu1erfly.•  SãoredesmulJ-estágioformadasporcomutadores2x2.•  Permitemdadosdequalquerdasduasentradasseremdirecionadosparaqualquerdasduassaídas.•  Colisõesocorremquandomaisdeumdadoédirecionadoaomesmotempoparaamesmasaída.

Page 27: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasmultiprocessados•  Omega•  Omega:nprocessadores,nunidadesdememória•  (n/2)log2nswitches2x2,log2nníveis•  Funçãodeinterconexão

•  Funçãoderoteamento•  Paranívelsdarede,seos+1-ésimobitmaissignificaJvodejé0,vaiprofiodecima,sefor1vaiprofiodebaixo.

•  Fig5

j =

(2i, 0 i n

2 � 1

2i+ 1� n, n2 i n� 1

Page 28: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasmultiprocessados• Bu1erfly•  Funçãodeinterconexão•  Dependedenedes•  SejaM=n/2switchesemcadanível,e<x,s>umswitchxnonívels•  Existeumaarestade<x,s>para<y,s+1>se:•  x=y•  xXORytemexatamenteumbit1,queestános+1-ésimobitmaissignificaJvo

•  Funçãoderoteamento•  Numnívels,ses+1-ésimobitmaissignificaJvodejé0,vaiparaofiodecima,senãovaiparaofiodebaixo.•  Fig6

Page 29: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Multicomputadores•  SistemaparaleloondemúlJplosprocessadoresnãotêmacessodiretoamemóriacomparJlhada.• Memóriapodeounãoformarumespaçodeendereçamentocomum.• Geralmentenãotêmrelógiocomum.• Próximosfisicamente.•  Fortementeacoplados(hardwareesoVwarehomogêneos).•  Fig7

Page 30: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Multicomputadores•  Espaçodeendereçamentocomumoutrocademensagens.•  Espaçodeendereçamentocomum:geralmentecorrespondeaarquiteturaNUMA(non-uniformmemoryaccess).•  Topologiasregularesesimétricas•  Mesh,anel,torus,cubo,hipercubo•  PropriedadesmatemáJcasinteressantespararoteamento•  Fig8

Page 31: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Arrayprocessors(vectorprocessors)• Processadoresfisicamentepróximos,fortementeacoplados.• Relógiocomum.• PodemnãocomparJlharmemóriaepodemcomunicar-seportrocademensagens.• Processamentoetrocadedadossincronizados.

Page 32: Sistemas Distribuídos 2° semestre, 2014

Prof.LuizFernandoBi1encourt IC-UNICAMP

Sistemasparalelos• DisJnção/caracterizaçãoéimportanteparaprojetodealgoritmos.• Considerarlatências•  Muitoacessoaosmesmosdados,muitoacessoadadoslocaisepoucoacessoadadosdistribuídos,etc.