ࡱ> EBCD`!LFiRp0-j\v=Myfox]P)Fx=I=3GGG:@&p600$%NBCFL,l 0 pRL 1UNSO~~[ <]]]}6_zu{*ꛫ_/~W?߯mx7'/[xn_Zqo]jE W7WxQJ};W ) r+\.*W{\TH+\.*W7\T/r\ W=ϟ?+ j\ܻw/kmo߾wTm;w\[+\Nׯ_%1[;.i^ӓ'Onge/ܸx6ΈVǏcU#tX={'5yW?[W`0WG.'ƋMr>9 c89tscxx91^<8o]kW׍eԜ˜eyc}u#]/ϧ\w3tú.oWⶒvl4n+y(n;㶱j]_.{5nk~7&[4:4_ӌV[1D\>F7cFiro-:$^_9^Y5Y~Meb3\ kL95n9׎qkBc\xdSf]r,)Olg2+5ڼW${5i,X9!fpJ`͸[&"x5rer̓vNU\r5wIW֮9jsyg2+#mJkwSzT3>ԕ?Ui5^1uC_^לrXX[Sܚ&&blqYsYT_^KקqfO)1`7L̅k2.;\7 P G͉zm5xӮlӮ˘gkO؜x[Ue_@ոTu1ZF׌ x9\z219F!W{ckW+c2 i z5S{fu5c]}fC/]s}Y ͸\ua*2i|rNq۔}HPR;Z+nkG]•k][.yFjǔ[;nꊟ 쇪\ [匕{p_-[kOg6P-bvn)r_Y&C[x\ fn/?}ߓ8cF?WI+\,˗/'wΟ>}ݻwWϟ?z޼ysrs%^:>|sbsݫ_6V;qx-qTǏ2O>z-V |??W@=/,p1JN13v1iiq,.)qk([`OC %m⎈C'N+8nqϏ&N;8N %=A 㴮4q8qZ#B#F*W7Cm9Wf 883NZ/![/r_KZf88!xגk4+\1g11C(`c-"@X9W 1x֒6%a8}'@;Np:y 84T✌=?q΁lj8f8 8r+h'pJkIqppq\?smMw^nr~Kkxo߾{Ux7顇(s_wY5n܂Xu_MTcˊm^Cm-j\tM_cfk2/q̍G]PCqX}'Cg{=@}eu7u6%npl|;X;nk+]suW^7V6m޴/,TuG+רOяԯ7Vsq[y5m@SjjsŚs#edz?hIn5b}8mǛ:}MݬjƄէ78Pu~<֎}:匔eеX3r~ 5koƗJol⸮v-v1xRkx[y2Te_.k[6$CC1Ԙmh~Y5xoS16956,Ɠj㶵sE5.7mv23/9Eܶ"ջ2_aNs9uF h3^!Sƪ8sw(lѨPb\CmcL}r_?8ol=qyCNJm _\{NuMuckHkHϡ{ejkon,ɋhqXNiP_QQOr kw=[2׳7'_rN\^sE܏5r{~}c?2_˺U6 s}ݦw191S,%{\2kQƹk1F=]MjZSZP3/F[acԎ ōkkz-}quk%+k[>mi?o9 N9>"5{­՞5qq[sS}rqr\S˛-ԖyM^ܼzdW_i*;}xClq}CzTKkm tq/ʅ;u:թq[5Xw m[LǶ^Sשx!֩6lOTs_)Mݳgl_v~jڸwkm9[ܶfZKx/cϝ㋵~_xl蛃.\m߫v*We ^kwג1UvmJL6uP|V>׎>[LSss<6/+3sxoOq,Z7zvKWj&uNL [QjcgrOYЗ#_uwMj1yeye4%1Fs̓Χ{;vގS_tYC>\@=vV{kȶКokĚ]LmҗmY7۱\ks|M\k}<мjy<1P+? lB{mJj(c>Rx1wKCsKݻw( ͛7W|->zՇ;WwSJ޽{epX-q8׎߿sH3n1F{?g1~qZ9j 8\ _xm<E_zU[k!,bO>kحvi|]<2X'-VqL_iq\-\(lOlÞr~+^s"e9sM*ci @[0k kCk 51&kb86eAUϗ+5U+mli h[Z8g*Fb}~k_#h @[zvڔg@[@[`5MZw1m!VU (WXuA*#_ 8LZkBV{WC\7mp5ƠfU|&Fk\ª\?¾v 81nB*_ 71+\e=BB*k#@[*vA7kb8f+puw@n ǙַAa_U85b4$W h7pk#@[*vA;h 851.Yf nÑ rݬGx_Z  ַƠ_SN &W'\71k#6a|&FkvAŬ1+0+\=mh=5ŋW߆nٳg'y _ѣϟ?UkxmѴk<=ޝ;wnnn51Yb,t}}}R1ۚq[l c;}mǸ Ιрq޽?k+֎bteEPlPfi\xc[m?{51Fks۶hP\^zx}=b}|PݍemU 4ytxML9l17 iڜ1\1xe죗mOl[ ib[}csl{mе2/ֈuM}?㍝6eT4NmD4ޖqX9mcCmll76d~Z6q<`J돾ky2G3Vu.eWQZ_?Xs5ma|ϒ|?X95@_ⶮ>]ج=L5֡+r)s'Bx]M:eNzᴉ:fw_MojtSkv۷Fc,kjv9u}fӮ8^(ָxcۖ /5gܾk>oJ64FߴS/R325gej~Kی}3jr?,7#onj<ٕKԳ5E5ah}^ۭvwX5srj֭MɅO-9\ZrTmM[\㜽<- 9TھjuD߾p51X~_] W^͉u곸>׉Lۦ}[]}ⶾ99Oǭ&{<\_WNwW Sb81-{2n3sYMyf3S]lj7*S5tκ9̆+Ên)cJ~ke27uN>^yx"M5ϒ9251^>xvePjccWJ{^+2縥s:S,#~g0}γns?h⫹uom(n+-um}k˸-lkO+PΫ A^c6OB9W6km5qm]GѾ\Tr˗/_޽{,N n_߿㫗/_^}I11^{mϽyF`|+W sNwݻN-p]1q;k5`6ӧy>})#0`|6YլSF &WK]#{o\u\)pn_kbX8DZƠ'n7\*9i=۵@.*W෺\fY3 +0+}D޿ѣonr@,5cL5sM4^i|~h/_ZsB!\g_{e̱)ӡnα<^KʗXп=&R͍jXk&Xxc_cs׵^ML65nmk=wrplt{{iLzm5xۥm`\? q74.Ug[s|fNyvZq؞sֻΝc7͛-99mڂ&~[wXsnUv̴dm=Ar~Ow(סv[xũw=9ئ?P39g60>~c&^-sO7s\c/穖tSrʽ/L?\x\2]~{;LYF5s\^{t)qwSbj)10^[Lq>rxPY&C[m\WY{ؚ9'ʹWE+\.*W'\Tr\ p.$ _w <(`)?yw?ƿo7ۿ/]7W7o6wHJDDD Kx)/%""DDDx)/%""DDDx)/%""DDDx)/%""DDDx)/%""DDDx)/%""DDDx)/%""tIzG ??> ט.Dhݻe}6>e/ ?wܹmׯ_K vR]__~zO< Ņ1777n"^J@/^~,kqBo pzĆۀü༔x)ܤYĚb M䷝?}S4!'-}ns'ѣapi^'u[}\&TW~[lFYV˯ϟ?#yD.IQl5qm5.g2{i)ms݃l}Xγ|^[?58eDK/%>Lٜ'B?.Ltڻ}`#4޾}[%yŊ)SRɔّYe 5HpҌwY IK4ɮ]⥥EH &N;. |NR8H˥]g>= &CRK[Z}2) < tJmԈuR7oFҰ~]08=Ҩ{ϰ>٘ 0iZIKS7xtKIvYS-6#tJ-eflPKgwgM[r9\k"1wF9;oꥩ< ˜3/Z!t^H}?f5+xtnb)M<;y;i:^ͽ/SmS׫5{5GW1ˮG$c 0һgN_5@Ri7ހ{ϼ-#܌Ŵ&brW/ME̾1ϗ(QU=tF]r)^:okҁk/m.x)ݻwϟ?߼ys p2‰RӇ_{,HzNr8pz|>~8XӧO_zuBC|H-g \RYM韡/zg||@K:X_%Dm B#ta)w})\W#D]>}:%,|x)?[)RV<ݻw~ }#&x)N/HK/k("DB>|U"^J4?[)ZYJKƔRpPKX*_%T~8/ļsl+^p3 QCے&?7-K#َV9pӅ[>} o#n":K}y K0ՃђubuكፇD饩Q=.iQ7-"-]/ w}9nݛ+sn&#5^v9A]^JtX/M5?MGN=^ݟ'E-<|}fm^;VGK͗9=Ϻ=[Eg>s;UڔֱKKjޝ]K˔y^Z٢mnd Le2yshN8rM~n^?z,pL5 IFfle# ꟏FVL̍ [Eu nt}m;ELqJc)K+]c-7/vQrM '/ɴO]f&l5$ܹUKtyk|.^J(^hF;ӟ̪ck|xZ;"n Ù0wֿ|<ҪXdfD4vg^dfڥV}/ }ٹ}Jyӝܛv}Ӓi⢼^7O:T^Jt^f4mݰ{i٧)ge:6ڢ٭zi9йHf`xz Csw}R-ֺҵ{%Ny~7fRomhgҲ|ռev:KƧ9bѯσ7Ȁaz[W^cgQRL0QYhr~F /훢yB{X-J:K8KlCU}^:5]Sϴγ3`8Df/_{^Χu/m~P^zr4 g L|m|iͭԊR\+30?LD[xiG^S/x3K(4itjyjK/it; _r?Csg-Y771_ڨiբnj~ZSD9im:s t^uӚ :Qeg(,x)IOXOM˳V[<^:-br45?M7];:4GAADSU9zfgoQ>̹Q*۴ZIբDDDKVʁx)\y[=|>|P&KӧO޽%ChBC4tDCw4/%"Rj{.Ǐ<5g#%^JDT(˗/y޽{7Y寿իV38jk#^JD`*>}ÿgꆿw)=DtSХLӞzh-R*Z@3 p!x*HrP9yf9C*2RUhU?gHE&^  *op9C*2RUh*B*2RUQ0ݜ!Ӟ*2RUh<pTd⥪ Q"gHE&^ *rTd⥪ ѠV <**2RRiKiO9C*2RRZ>}2"/%U4x"/%Uz̳*rTd⥤ R<^EE&⥪ MT*!gR*HJ[%Rx*HxR4]9C=IE&^ Ҡyv>^yLTu>^EKUAU LhPV 9=^x)R iO9CKU+dgΐiOKz4xCx)Qyv>^ERD=xK+or *m gx)Q<^x)Uŋ^]gϞ)~:ңG> ٙ3dړM߿U#ՑywܹQt4^ٷdl/ U9Py=^y1޽{,/aaɥ#H?~b0:LU*d:嗴K\:b/MlGzrvpK.U/?-w"gNZFVi1ҡٴX{ig77v^KC|H /-J*KKK\ڣ3?彜/6ܪq[vo&,-ti|&u"՛ηxi3D4rJ~96!5'4mc_q<&_/m}'3˟ֽ}n-O5<+AU/gȴ'RLnO zih%:?H-KmrKͤNZzCeiOwAMVƘrx٤ԇYWJ 3M{2O⥭6'xciWNßjZIJ}p܆^_05cKKk{ihԯMs~5N5p4^G%!۷ow?(Zݗ/aj߀W:lj̊*E+̱_!pb`j\۹ 7!Ow1a$+JO{"ϡ[k >\+}V/3f7K31.sAJbNzipS YGtlʳ0-c W/獾&(ImѲazM8`_s:Կ7O-Ҟj8'ݧዪ4U:gwi"ˣ53; L]͘`祩vv]RйAM`bBi3'Vv/ZRs:Áp=AUsҤ~i f˱]ˢSZy- t4jcKt x^Zu/5Kk̹5nAg0Z@t^ZľgP[9_:8:_ikt=/m[Xǟ[㥩ʦS\;&|V.輽k]n坷<^^ZojRvvo÷|J חV[j\Y}D5^:B }6SחBZ_V2ɾAkvoʁce]h{s:쥩w{򼔨flktߣ LWyLG\rvAZMkefU{{/tZ^4BxsyX*]NDDiiFc^*:DtQy rЭe5c4ymt]zSr%淚4ܱRANIv]>^4oCYs(5a_jX{71-Ou}ݼ:5 q{ym9'0xebSr۶&ֵN/d/ͣ.3Ltʃ\ʔľu ylV45-lr'-X^^JDDDR"""^JDDDR/_{N9RZॿ?~O>)""^J\իWQw}2!"4W޽Y%"⥴jgݻ:DD)i`:DDwVMUJy⥤JT`j<}>Lg0U%CtVzÇW^코3R/%U@2gv ]p%^J:D7v?3@*ѠrP$Xh2OӞKIg_)g(ݨ<ý*$^J:DC+VR:j{4D1ݜ!IΨR:BSJ+l! KIghP9gp+gx)Rvn /%Y1bKtV_9Cn&RY:}s>9CDYMgg$tLz<|+zMx)R<ؓ*M7O$⥤:rP~6["^J:`OR")a!"^J:2=ؓz3eݻw%RuVD̓=x)wVKʚ<ؓrg v$`O"^JtՃ=pKKR"""^JDDKf=*|7\ckwRźw^^ƫp8v4ܹs Òۨx)\~:XJ%ms2Oɓ'ܶ? }%]iRYzE`Yˏx^蔆h$6\u8gUKl&DԿb76tImTDh /I5<@2ں' <ǏR8hԿ7,M>RT%3][HWү ]zmv:[91 0utw_z^_Jh=/,VOuve`7m0;NVj`kKw~t /^K9(%,tKy}MKK럯۬Lә+f4 k1\vyiYt֗ kD֗/%FýdM[2Qm 4vG7a|}m`B5-<_:#rm.~k;xd^?'N#/y//%Zۨiႉ<ޅ5خ)f>Ud+d&9ot^^"^JXyN/˟5+X#g/ Wr2ݷ/wĦIŲDx)/%""DDDx)/%""DDD/%""DDD/%""DDD/%""DDDѐ~w20( / 00DTahomasp8LRLIRv 0( 0DArialsp8LRLIRv 0( 0 DWingdingsp8LRLIRv 0( 00DCalibrisp8LRLIRv 0( 0" ` . @n?" dd@  @@`` @ G#      "   !#$ /X$N2$iRp0-j\v=MyTFN 0@8ʚ;ʚ;<4dddd{ 0g4IdIdv 0Vppp@  g4ddddv 0p@ pp<4!d!d` 0LlJR)___PPT12 %0___PPT10 pp___PPT9nf@ H  <**?  O  'Aspectos GeraisAces atmicas em sistemas distribudos Replicao de dados Estratgias de gesto de replicas Aproximao Optimista Verso de Vectores Aproximao Pessimista Local Primary Replicao Activa Votaob(a   (  "(Aces Atmicas em Sistemas Distribudos))lUma aco uma operao lgica que acede ou modifica objectos de dados. Objectivo de uma aco atmica: Assegurar que ou as aces so completadas com sucesso ou no so executadas de todo O estado de aces parcialmente executadas nunca devem ser visveis, mesmo em caso da ocorrncia de falhas Queremos que as aces sejam sobreviventes (resilient) a falhas.jUI U k AX     7 Abordagem OptimistaRelao entre dois vectores: Dominante: V[i] > V[i] , para todo i = 1..n Os estados das duas cpias no so iguais (inconsistncia) Conflito: nenhum vector domina o outro Isto representa que as cpias sofreram diferentes actualizaes Solues: Se um Vector dominante em relao a outro vector, a inconsistncia pode ser resolvida copiando o ficheiro com a verso V para o vector V Se duas cpias entram em conflito, cabe ao gestor do sistema fazer o que for necessrio (J Z< " Z( ZA " Z Z Z _ A       X    ,)  Exemplo de Verso de Vectores(b Apenas detecta inconsistncias devido actualizao No detecta conflitos de read-writeccX  Abordagem pessimistahNuma aproximao pessimista iremos abordar uma estratgia de gesto de rplicas: Primary Site Approach NRR,RPrimary Site Approach$O objectivo desta aproximao continuar a fornecer acesso aos dados mesmo que ocorram avarias em algum(ns) n(s) ou na comunicao O sistema deve ser capaz de distinguir avarias nos ns e avarias na comunicao para controlar o particionamento Para suportar k-resilient data, os dados tm de ser replicados em pelo menos k+1 ns Um dos ns que possui os dados so designados por primary e os outros por backups Todos pedidos para operaes nos dados so enviados para o local primaryj q U R IP o[Primary Site Approach$Se o pedido de leitura: O local primary executa a operao e retorna os resultados ao processo que fez o pedido Se o pedido de actualizao: Antes de executar a actualizao, o local primary envia o pedido de actualizao a pelo menos k backups Quando todos os backups receberem o pedido, o primary executa a operao e devolve o resultado Todos os backups executam a operao de actualizao que receberam do primary Os dados nos backups esto no mesmo estado que no primary X SX h _ N ;b"fq4Primary Site Approach$Um mtodo alternativo para reduzir a computao nos backups de: o primary periodicamente faz uma verificao (checkpoint) do estado dos dados nos backups Com isto, os backups apenas precisam de executar as operaes aps a verificao feita pelo primary 6BB>D% Primary Site Approach$QO que acontece em caso de avarias: Se mais de k locais falharem simultaneamente, nada pode ser feito, dado que o grau de replicao apenas de k+1 N backup: O servio no interrompido N Primary: Um novo primary tem de ser eleito. Continua os pedidos depois de acabar o(s) actual(is) pedido(s) ou continua a partir do checkpoint $} # r  c!t :  Primary Site Approach$Partio da Rede: A partio com o n primary continua a servir pedidos originados nessa partio Pedidos feitos noutras parties no podem ser resolvidas Este mtodo s funciona se avarias de ns podem ser distinguidas de parties da rede tWV&/ !#$%&'()* + 12348(PK!V[Content_Types].xml (|N0H+8 (8ĪVEBpֻ3iVwbl VLly Ё9!u{yL IuF^k2#z cẽN`0[mb` \!#s,Hё9}~TU 6Ul¼;{-dۡx/ ftΓCR}o v|i@T;\/E_PK! K& _rels/.rels ( 0nS=H^DtiUۛc a)hěBUrdk)Dd gIDr*dS("QlT3Q4b̜'օ9I]e3\0ťQ.D=vtr5aƓI+D#V0;f[e!/PK!tableStyles.xml I0@Ὁwh}-CQ$ +w*!@he/?JXd45ݤ{c@qqi` yߥ?" dd@,?n<d@ `7 `2@`7``2 n?" dd@   @@``@n?" dd@  @@``PR    @ ` ` p>> [[ -[(    `/R?Rectangle 2#"PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK! drs/shapexml.xmlUn0?yQ$ӃkXSK_.In|(98+q,o﷕fki26g.2s6yAtzjF 댗VˉRVྚZ"V.ZNO*ۗ ;ĆH'< Fa%Vvt , 5CTR `ٔrG|jj _zye<+ i4Y-aJPPNi-*WIF8͍R JqkV+2lopDm^XΓYaHla $@rURM=g_77O\^;[Af#Ζ҆˅f> Ȩ׸5՛ZˆL1E䨃%{7NFߦ1~2&ޖVMO]- hZyQRFmO]`zǮ/^HH>dAfHO4}oPK!sdrs/downrev.xmlDAn0Ezk*uW 5!DB9I ۅpZ]dF\t`SXUa2kf ^͖/P1>'*6k۲:M!5u#I2j*jyQqq}kat/U:U~VC?܇[Msj%!D(EANPK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-! *drs/shapexml.xmlPK-!ssdrs/downrev.xmlPKy X      x7RZd?Rectangle 33" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!)h/]2drs/shapexml.xmlUMo0 t8iڵܡ AagZc-dHWHIHiX!r9|Iq\\<^Hw:{姻o> vqN Qպ޷YC rK0Qc,4`ëfYf)s9nop`'jq)[c*X_X_0k̡CZC6`Tu/O#/M_,МU%vɲa #*#x0ѻ$_nR(t__3Y9!ڟIE 6ӘS J P>kϥ@~Tkhs.#,Q{ս ԟmpFF_ Ǘ*]'pH( A=R.z۫sxf7& ix~Mŕl'0uGW6 ;uߩ5|Gt E ᪑ȳ}ȥJ4O{\gfa뿱Rդ”'6'ĸMK\T(ubǤ: SV4Q.sPɰ8]!pNa!uVتJ!,<tڗG 0tz_^¯?-֨Ŏ-e~`[%A&-Tf iW uc0%צŇׇى) lIҁ>py2#}yHG/,x_uQc[y/iaKu%s5ɽ"[]B@ }R&cq_Bhg 0 Jl%W 0M[bĆۂP*2%y1E_sKpQpڦ--߻_w7ûI^ /^Em<<_>qb$$D~PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!)h/]2*drs/shapexml.xmlPK-!?Ndrs/downrev.xmlPK X     `)R?Rectangle 4#"PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!E/Q drs/shapexml.xmlUN1}ZAn C"~Mx+۹ۛx*Rz9sa=r>r,9U1TZhmtKeTԂl}7&iUiELt YQt*@q]ޛb ?M`R@RF9gbal΅GH'V$XCAtQ'(x^t M AB'fWN>K]ͳҠf M2m 6A1^8$'\-§!%kf$1^s(Q?ޕ/ylEn#3]k3V/"b 5[*U*Rl<׍wZĈBOt25U>@:iNt4ckL/) Ƀo)ee5†U{Ǜg~WTYX RQW NyIx[g \aGꓓFEuPK!Gdrs/downrev.xmlDMO1E&晸!ҩёBt ƅ,/Lfiؙ| 0S$/BDq$\(lz{3\n鼋KrclsC`lJ }ŕ.MmZBS1Z\o>^?" PR7`x}ۜ?JIxY)C$/!]l>PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!E/Q *drs/shapexml.xmlPK-!Gxdrs/downrev.xmlPKU_ X      xMZd?Rectangle 53" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!S ]3drs/shapexml.xmlUMo0 t8iuܡAagZc-dHWHIHyX!r9|Iq\\<\Hw:{۷o> vqN Qպ޷YC rK0Qc,4`ūfYq3 ”bXZ-w"aLZ 2 pK9]~[k(#A! tD%b[=]sq=.J=e7h#] /o.3lB%pcb٘]ˀ]:a3H9t僱\ DI 82bNEWk@ָUO2fǷ +]2SBDT`5NѷrXwv[sn7& iryibv6B.UB΅Em&wrM{_)AQFn:qk$jrR4O{gfa뿱R$”'6GĸW`_Qj=`C5L}XDʻtAD$t1Ъ6[; <$[Ebf*u 臜Fpk߬ ƟN*;_%1z|4#]8l"OFe6 v kZ7 SbYxm-P|߈+:w}Yp~Ζ+ ܐ!ú8ѷʚgt:4̂NQGI55WQ_^GY2Z{;/Ҿ(7 Ek1!Dixq:@ž'mb?uPK!9ݟ6drs/downrev.xmlDQO0M5MYdP!1`b@y^nm';f^7B+kJe*_/|@# a1a.l sP&~d[2;Z1*.^#\7|$רL|UMy'C_b~W۸; q/v_ԫ&)c1􁜀e(PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!S ]3*drs/shapexml.xmlPK-!9ݟ6drs/downrev.xmlPK>& X      x`Md?Rectangle 63" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!a7drs/shapexml.xmlUMo7 x-Ɋ!gղ ϛٕTDir޼7e851 ya(:֯ ^/ `oIj4i YNkӨ!c Qq5hIgqpx;hWE, [r|=IU/Fq+[wB4u걨j!|Z#y1j>(ڀQzϠPߢ: -5WJft7@=l QBcvpF 6̈́1 U0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!#rdrs/shapexml.xmlUn0?_yQ$hڃ+YS@ү|}l'9E܋vSi+k2La ef5}<2ikdƷۛϟ롯6?3>v:^eEZi]En֩ (TN=T Qf5.Fi5vL?uPY `i.xMkv`X  }sή >bNBhyy럶֙-tձ9,& ׳U!`PnX.ΰ*zkwiAw&F>DF%b9o*4WA;"|oW%9[\36O$W*HǴ2~Kq)RJ Dh,A9Vd7ꭑHb 5*A挌[q\3_ڇIByGVI$XcQlQ1SW Pͤ ;a,O^p(#|I#sQ무&ܥM9yV]Ɩh!fRb,B3Y8d}n1ҰzW䵫nr h`qf,%M1&GxJUJh:~b/oNh$E-_0d54Ջ#Zů ҍ;kG|kiVwL,GjYֲ$@Sۊ8UGN՜iq^RI |aMb߉<PK!6c@drs/downrev.xmlDQk02fMD:He8TksmMRL[9|ou.伲F@:JT0nWSej!g( 8UCvdbwNc\:FnKLFeC Uݷ9 [r<ŭ~Z X>!q=%@N@ԋQPK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!#r*drs/shapexml.xmlPK-!6c@ndrs/downrev.xmlPKtp X      xMZd?Rectangle 83" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!JwY,drs/shapexml.xmlUMo7 x-}DN!r`u{PR,e%$_ٕ䤗 A%7of?~:4VtƻJqz"&r%YLuc;aL) Z7V;U>4փ6]@w"dK}-0LNFÉD} V;9ݺs6B? GC?2mNuEǗtDR4=TUW8Gz7hI(ߍ&[)sȅnLAXӠ][OWtP(u-\<ݜã/9@hN ~}#"#}IB6e:b$d뗱70ٰ;tĸZ&55g"J]X (B5cwAd~GFA[`MbݲUUlB&e˽pxՏ'CW~nŴLl]'qK&x̐+bmL3Lkbcfwb fp~ɖӆxi2']~yg&J7aFMy$35uk~/'0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!['drs/shapexml.xmlUo6 ~AK68m@VM{m$It0,{i"?~$?}3Zl>PtUk_ruxq#E`+Ϊ\U~S7 6̺\61v(2>NY<7ӿ:"&2z4GZ+0ݮ'|.h\NG),J29@ Wn +V7º/K07N{^U1ZJXF}0d!е"v ג/?dQ* }tHv7Bq\] ̟eדvuL(P#6!'$(w6*Ar鱗\)l!κVs)=7x'dٴQy[d/q3m.Zl,P[漮x\X-`{p՞*lTp)Ÿ=x%.f)NL)i^,%Fe!E2h .+0vap"[5Щh :UܣnI Ygv=ZJa{?(C L[[Ҳ 1i)!d}Ol+j7ʵ "沷%Om3*,t岌b N<T0:wӢkh>bǏ'|,pL-B%B=qܺ[RlgDUH#9d?t3gK\M6K rۊW!+ q^-l{/u!_؁ 6wJkcSOSO^(HN9(МO aq;_PK!:drs/downrev.xmlDJ1EB!R$)oH)u!W^E!5kuKzY6_PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!['*drs/shapexml.xmlPK-!:drs/downrev.xmlPK]} M @     P *M?Rectangle 12#"PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!7drs/shapexml.xmlUn6}/ Zd}MUl {EE)R%)_v(E]?Cr8sv1b}P m+jɯ맫[)B[qVg|Yh^af AUY|uzQcf@m=U$ҋd4Dbx5Zr+8NmB #aЩWN?xv"60#VP K[xhf=f-vE]3y_MhnEx00ۗ4RǛ!VɛLP0B#!'$hw1*A2鱞)l!Rb.ȝuO1c4R3bɻxʀ2Xba&CRl VP$crǨ/EY!L=8hi@NBUοIWp7L"/gO'kpUh5IG\)®ZEǶ[eݪVS$]n2bB\rDž)a[[3tpi n&4hsUdEvQ~iDt-xY<y !s%I_> t6>p9= $貳 * ZTQl~ƣ.= O4Ư:Lp.>9_ kJ*Cܧg ^K9s-l2W߹ZC 4OҐRoT_sSAΎ ǤwPK!vdrs/downrev.xmlDMK1E7bشHU‚ظ{ N!\>νgJg#P0SڶG`!U;K.`NX)w;ebCPwd0@6gc>}˕sB̹AmsC;?F8/ImEZKIO"x};w%y{V; e(/PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!7*drs/shapexml.xmlPK-!vdrs/downrev.xmlPK] }  M B  j    P-M?Rectangle 13#"nbPK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!" drs/shapexml.xmlVߏ6~kKtv -lgIqvS~cNUUo&x ?*vҺ8:3ySiqйPF˔H?zjMo'ݮ6Yal%<^sI텇Juzn%JoaJ’=yʓ~o̙> dzɶ# ܊="GPpjfSk~#E3v#V 0RScS!a)Ky!rjrX7Ȉ []1E\(Kʯ`DD<ˠ2h$'@HHbT ܢ!R;O}sAy(4!F/5)pD,W%JTY|Ŝ ̽΃2T:(<exLBESEvwB`,Pc_9[n8jəE~c|x =Ù=?Y覚%t)_sř5jzYgxl7aqؙ:mϗ5 WM ,0Ha@T>m W} 3ݜ3U 0Ka$qOPK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!e!drs/slideLayouts/slideLayout1.xmlPK0PK!M[Content_Types].xml|N0 EHC-jaj; +,Kq:=ig ,?ϵYD&oDzCwO-gkcg$./XQ{jsԈHt䒦AFP0skfx(壓8?.C(ũ{R(Mb˳7{-IF#{_R'dK0FFjr'"&@_'PK!p8ܾ8 _rels/.rels 0Dnz x%ٶ6 (тqLݾQ(NAU ioo'tGHL m^W16 AJMȅ8a22~`Or[;,lij@搛}YMGBh ]pϔ{J Loc!"rPK!X|O !drs/slideLayouts/slideLayout1.xmlr0;h|O͇LӯC>B`ETTIPS,H.ޖm6AtW̋q|Xr`Mp=yJF䷰kːQZv:&[̥TgKKS?vr ]NN Ey\(u+[C4`fU(T Ɲ>)+<`Pop+ &{69čXd9O?Y5ל}LM;|jVx3B3\t^lHn\AYaqAʷefvVfOXwxg#? gkB9~VIPoEMԊ" .#qYm$Q% EZ${(9QwI9iHFn?|GI]7jUXN@*ٝ@qވxĆX| q.IfnIS@tYF?ל)x^XL2nl!$;)Z͎$rA=;R4kK6NJ,h* !n*ʈG *q*6 sZ06UF jQ8|hI.8aMj,eLEVz0-xGx;-op#Dd亮A(?!q(88x< HLI^hE9GGA?9S>=#ܩe2's䚲%?1#Xoܖ—24=yPK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!X|O !drs/slideLayouts/slideLayout1.xmlPK@kPK!M[Content_Types].xml|N0 EHC-jaj; +,Kq:=ig ,?ϵYD&oDzCwO-gkcg$./XQ{jsԈHt䒦AFP0skfx(壓8?.C(ũ{R(Mb˳7{-IF#{_R'dK0FFjr'"&@_'PK!p8ܾ8 _rels/.rels 0Dnz x%ٶ6 (тqLݾQ(NAU ioo'tGHL m^W16 AJMȅ8a22~`Or[;,lij@搛}YMGBh ]pϔ{J Loc!"rPK!"#`8 !drs/slideLayouts/slideLayout1.xmlWr0w=1PB@%Uuz)/+/֕d!dIp0ݕԾ T\OkQ,>|H3<_v߿kD :!<1F&Q ->r6 ^8yEZ<*Hq5^3^FyJD:-(7DQF د'ԁM&@F?7%xkN.X8)'@WSɄPQj@u[3RQW0hDǁ$*mhhsA$3Rߙzl: 夰{ҝzpgx2S&P˃ OO tk;J0ZGHkPefE6ÿ$ f`:Ip9<`-I]bt{,5HErCj3i LFyԷ RI`R7M*67D$ e}YZmGFB%+*[6".[z-֢U5Zq ~lq/^O+4ں,v9Dցr ls9-Xk7u Kl̆.l|6{ m`?zu,0.`$e)tiYtڜυ=)BO%e{L T4WPeޒ}eo:}]ta&l-TldY(8{Y?Ͽ[.$[ 8"#kut:E)/\dn!U5TϝHN;)3̗EoeJEK%a2 Ö7a˕(foIosVf"~gI2ƒLs\ lgTєT8Bjթ^T0 φJw<Ȃm&@l4 ˇi|< ߝAw91gWdޮa -X&Rt@i`6th5./YX'•/#_WVz-r3q}|m܋!5J<ЛodE>7ńIgz@taNjXTFHpF^Afs%gCrx&ƠzvV_@\ån?*z.jM]#8֩QXJ@utIu'x]v5C9` 0Fvϣ OQ6 MIbk;3m4I/zx˿q8xF(߄/7}. aX2I˫PK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!Mǩ!drs/slideLayouts/slideLayout1.xmlPK:pzPK!M[Content_Types].xml|N0 EHC-jaj; +,Kq:=ig ,?ϵYD&oDzCwO-gkcg$./XQ{jsԈHt䒦AFP0skfx(壓8?.C(ũ{R(Mb˳7{-IF#{_R'dK0FFjr'"&@_'PK!p8ܾ8 _rels/.rels 0Dnz x%ٶ6 (тqLݾQ(NAU ioo'tGHL m^W16 AJMȅ8a22~`Or[;,lij@搛}YMGBh ]pϔ{J Loc!"rPK!AQYGt!drs/slideLayouts/slideLayout1.xmlRN0#)&=@RlKk7$&M@=gg;,ѬQjg3>%)+]QC?w/wx_7 ]A玑 )dѧBY)a漲+tă(hq$@mk,k<eHar׸yTlߑb)^laC\nu,VņF;Top4duGcc GK4*?ar- HXqVIj#'PQY/pe4TOk|n(i_}-80rQ=M#LE˱#(MˌrQc{;ym(ӝXkR%t쭴^O+VPFTĿ^&_.x/׬]֋"OO"]5djȯVy[ՅLƮnw[X`&<񌔴ĝ(5 ܳ%,HUsɘ_e5Ү}L%3pxG%`N/M YLni؃vE4a[Mz2}MW`g=$8l WFT'p_ E"Պй?E^Y:Q!$*a? #6?ı5s">m}BL8PDq&[|4 ytpm K95 X9wQ7\3RQI rM%)sal)PFcRcz`Sa2V;*S I2FB/|PN2u7~[5 >E<~!mE|*`\ƛ_7|źSm6EƋңӫY}mf݃_1⹎-SRJ]G^ņw"ؕ>"QzEw|M[>eO2LF 2p4'~ _䁂_>-݃Dz]qy#|>MDCqg]{Gn8,{`t lݵwu-O[ n8Ia 2 yxF.`EiRG6iWi~MmX"B˟_,,܇9ҏᲀYN#tn80v(ǒCy1b -7"b򭲳; ο ^LsfݜQZK_:\k7b jYdHƺ#7y^nx!ͭ >\&Q9f7THdB|!n*x؝ѭ(|1x:#ׯ|xţ^x5^?R8t iG5 x % .JԀkQInŐPep4BWx)OjFf>P`.$.zH 7uc4D(uhĊśg:!pc"աUQ_ŪRPJf4D~g=+גI4䖮"EMq>)bxMe1U`E2{o+eQr?0Z͞Ê~ɤ EX-}f=C!eM+"vUTsO=)WϤA ˉ>mvڃQi?UwRsH"".(xf9Q 7:zrv[F&7 mIK,@He ;Π-3k wq R _36|̷YKōGh~402L~m,ZYb@r=d%"cmҕvZU;wP? tUNxuWN}:fvKS `}̊ Ur77E(Mm fIq(/l4䞎yC7A/M.B!Z>GƍXbgz4>?MԠ?v]Ak jDbrʣ5q?TNI M,:D !e&Lk'cbL|bM'/CAbek'EGl* u8y'ޒ}ZAiov7>DIiOG߶4_e^GI{CCPK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!䄝!drs/slideLayouts/slideLayout1.xmlPKPK!M[Content_Types].xml|N0 EHC-jaj; +,Kq:=ig ,?ϵYD&oDzCwO-gkcg$./XQ{jsԈHt䒦AFP0skfx(壓8?.C(ũ{R(Mb˳7{-IF#{_R'dK0FFjr'"&@_'PK!p8ܾ8 _rels/.rels 0Dnz x%ٶ6 (тqLݾQ(NAU ioo'tGHL m^W16 AJMȅ8a22~`Or[;,lij@搛}YMGBh ]pϔ{J Loc!"rPK!ż?!drs/slideLayouts/slideLayout1.xmlUr wpO$qklgV{LP<9uLRwn$߷+FF˕4LjIj.czruDD(x,|1ҥ5٨C!mIx.%k=UI6W!fՆFd<5KC|){aEq]rm>Mf&x?Mm4T ĸ;^˺ZcM _ < LH[ trlT2y~0z&߶Sx:u:`/3EB"znɈ@Z1+8@4ScKXg)d cEK$V$V]ыʵ, JLJmp}>^(` JW4 D%oN(:|gb8(>tl0,._CA".7I}1#+`AP,`,5NZ#0znr%CX1H!fj8hz VzBI A!jޓgIb(A5CSe^MRa(rg0!о1(K x=p^@/hNv'Gax#Zl+Y+$-Rb2nЍ}\xpgq.r?>a0~NW6$c*i2⣉HWPK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!ż?!drs/slideLayouts/slideLayout1.xmlPK : Y PK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK! 9%theme/theme/theme1.xmlZnF;,xO,РEbMD&Iy yR\Qd[M}3q޼MV ~=+rMjnbE` kW?^m%]X)E6ˊݺmX3hzYanA׻rUVpVl٪Qg$šQVm!7A^;/7R1K)qO/k!C|v ޭKBǺ;v˔bcNUZ4O}i{q:zω.u:2}8EyA>/,o2X$ZCUmQoEh L`FiL#MlԁnxHT~R /IRz.d?A gݴ?e5Kx7UY}>SBE= +6~egUP4W)UV@T#Yc:]G=hMAȟɔn`~ Dk cHi UJ$aBvM1?kv'>% !-6)mHA?iP0U" ̨M%վew,5p*zERHu& ~ A1tfԐJ |G204-sǟkb7fpXx OTᑭVVVط@TQN|{SJ)Q~%" $$2(Z5 f}1j=g N#gqlaג!Z?``p* !<}yyMqoE\}|9J :>"ėB>?abåH JcY>^XFEp( hcA+~W]*ia M%q4<2x~PkسNP|XDj\OD8q8'48JSxSo sH_Ĝ T߃Nؐ?{4`zoBsf3B$8mU-U_e[>m0'awž {v']K:M_u'w; ibOٲvƇHߑŁ:FNH H2@wl?^};EA^d]L8թ30GCw6gA8K7ZNtp 20S_~p ܹt9si 4fp<N9p{l3^ƞ;:V@3RsNK';ǻr&?`Ch"pT^ PK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-! 9%theme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK] #$PK!(b[Content_Types].xmln0 EAkP }l} m $_tI$svs^챐KkH$Q -G$oo1# ɩ5 J# \Qg0?0omRo?Y8 Jm i|TX+N3tr@9>?4 ΠMfrAsѺo_p?yjŝ & Xg3PK!*8 _rels/.rels 0DnzЃXmlo0of5OIw AN{cݠv=m 838yG 6U} ShLq`L)d=Ҍ\@.;3, ;$e͂): vq}j:zɥ'k茜(f,ƁXA6\m>PK!h]M&!drs/slideMasters/slideMaster1.xmlZ]o0}ub@HS>i&8MVljӕk Z#9\)#+$vDMq㛖ORR1<, sVO@>9gSr@K2YJ˯YEYR iA)o;ND38d|EIȾe,eBI ƩqCf V4jڒyL}#QaQ~8qbѢxPQ&0%#VL=|h&Bp2XdF=ſҶ{]^v6?edSwanrMobx\I' C8XHC7sl:hSlgoqʬN}g:gLBCÔ,v߫mAa$¶+ a%lYA&cV,`0Fb,5겸ҦjϘNiQ٫]R>wu'~fcVwV:q?o1\]'}E, 'X,@m]+,@;*5)멒yCÑ*Mޡ|^f=Z*ͪ(`ÿPK-!(b[Content_Types].xmlPK-!*8 *_rels/.relsPK-!h]M&!drs/slideMasters/slideMaster1.xmlPKE H1_Modelo de apresentao predefinido{ ` 33PP` 13` 3333` Q_{` 333fpKNāvI` j@v۩ῑ΂H>?" dd@,?n<d@ `7 `2@`7``2 n?" dd@   @@``@n?" dd@  @@``PR    @ ` ` p>> K\C\P[(  (>| + C (Group 2#" +~ P@ C (Group 3"Dzog  Z:J?Rectangle 4"{uPK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!a"sdrs/shapexml.xmlUn0?IS#Jusp#v?`EQkj)+_%)IE{%.Ýl-S3;r&QB"+Μ,@Ioo>nFaݨx}3td 4i4Ovit=x*TN۽ԠQ5S"Z!TY BВ yMJ@ &F,]IaaCh֠3^.B]d_Є"ǵ2_u'Q;1Ń)&64ƛ)Kb(:V8,)oM rKo,rd͸6I*Q|k:;8)5MPXLsVr.71S e8+ %GTh(liKpr ߋ#qֈ5b*|aB$3e>7]׮+|iWC86OtxI0"6yE.C),k\ժ6U"zxϦsrGY߫8oՒ,F- %dL^N  ZH'e fj)C%=yPs Mʏb{QFZVlZqyw,A9TE5Z`n+NiIxKg{ \`G꓏F%UPK!Kdrs/downrev.xmlDMK1E!0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!I~ڵVltƻBNʸe!./n \;]Ƚ7IvqI Q5w^C ?rK0PkfЂqry7 dY*R -| ,r;e@SVG !` }6lPc:s./ G.w_!VX')dW\TtkC,)!X0ѻ$oD w. 8&.Uqfp AGci/yR:ˈ19Je8[oָUO2<1X̵u '3}ú9ODr[tִ 2Wl#tkRv.,*3i=3|%Ǿu lȳj|(J!i30IiX)kz av b\#MKVJ (X){k~w鞏 sxF)~-bݼS)vjRũh ']"E~nF-vLk?GL. JlD67_`+d + 7 73!"k3X../Xhw⒆MlDp(PAc_H,SW;o1=v2ϲ{ipzhUKas 2S*u}5>>4vo}+QZA~~9{K $T&PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!I0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!€cdrs/shapexml.xmlUn0?qԈ$AXQŚZ $GKR"nJ\rg;mZZ f|ϙDa ˌZLή8smPf|'ft&͸s5ϦHk5xz^cSZe2Ud|HPj$!Xjɾ^@LX †{yl* #6B^Ĵ.SXKs2ʸ{z|X"sFb}Qڲ5hU}JS |1͡ -DkeZꇿ|oXJ/,(bTX 7.?\G~c$kEelƅGHr'V$XCAe5i(x^p G A/4g,ϟzF#=f}ʖ0{ gA M2m @n1kQ8"\#f§ &$N1^os Q?ޕ/yjޒ$HkΟ8<<ҥv'˜xJ $3@٪Um~D*Ɵ߀Ɵ<18oՊ-ff)C%=yP+1 MŽb{QFZ)v\A]o]#KhFyQMV\0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!zR!drs/shapexml.xmlUMo7 x-}X1\!r`u{PR,e%$_ٕD>ȳ͛χƊx7C)S4n=o\I;=GNc+pi;uJt0 { %| :j(!PcnАqWݲ]lEH G bhkŽN?ܫM ) _jЏ!}`#G0<trtQ%6yDCkQ{|U'MM! ;)&cF.mo"E3PNv29:Pl6o|fRCQh=-Ď,W *;o/{wXwF 8qDTd5y1:Lq9y27& ifKFr%ۉl@.Ubka*^3|y }0[$xV3RncZ#(LiZ2֜unœ JMkS+EWw4@~"[=M֓K|*,q$&)\?bXlU[P/\Ǔ_v+ww-mu`Zl>#W]"`㥛e]@XmcHkb#_c'%[RltƋĐteUßtt:<}72 yiǼ24#~:7%smnʋtluE VThMR35bNUM!jV_ͩ?w"m?Qέ~jqPK! }drs/downrev.xmlDMO0DHkQ'A*ԭ|R!q[M#IšG3zXM#:V2ĕ-7 95vI ,;]lDp(Q/ !az[)Fj,^Zl9=Pu VA,Cy; zF?lM+(r۷z!WjPK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!zR!*drs/shapexml.xmlPK-! }drs/downrev.xmlPKP 0  R      r|Id?Rectangle 9#" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!H2iN#drs/shapexml.xmlUMo0 t$Za4ve9"K|׏iXzHik񮐣C)S2nQȟdz)bWNrtn;]wlRƃATn!vWBϰtAG$ px=h8yWԏ4S!R8h1V`a)x=$U cPED@i!x(7}Xa<mSQ=ŶX"9$P0$_\]Hp҅j2 A2`83XOb"!("@h=5i|eR3kCBs1&GX? ` Y.rL|<_Dc[ ~/Qԛ#}̺3:Odr[tִ@xN`l1kv*,*5= 4m|%3 tHj|(J!iv0IyX)k{ a’D CWc'3wty}(B&!,D]#%Dt6Ckr qX7a5::׾þqf_[Pt-Zf8|KMd)P iWM!.5m2.M!#l)4S0Kؒbh<'M Z w 2 yW57Ya5ZPK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!H2iN#*drs/shapexml.xmlPK-!Ůdrs/downrev.xmlPK a* R   d   \#?Rectangle 10"vpPK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!I? drs/shapexml.xmlUn0?IԈ$AXQŚZ $GKR"nJ\rg;mZZ f|pL0e-&gל9X6(3~tӌ]h3qf9Qܹi$Zil X$zTֽa?ՠQ73"Y Bj,!Xj} S#Vޠ`h+*"5JBB֋ॗG̎|Zo'oK[*cʒm3~٧QcLʐFo*2wiNAt5XO,KrhUL8JQ[|9;T %5Zm2jxCGvkeZDzoXJ,$bTX }0.?M[ǧ}cT$iEelƅGHn'V$MXCA`5ii)x^` 9K A/4g,_rQ;֧l S|nVqKdO-(f- :~GDkL4ÄI8f<}n$J%[[bi!P'n<$Sɷ"b5[oH3قs'oZ硙Lj3BNt15AEtg̬1e  {#w&ɱ_YQlu/HK;Ŏ63kd -25p(/ J^\RWX'$3 IE½[s#BPK!*$drs/downrev.xmlDQK0C87:D.CM`\bs)I\oAjcqtǭ5IDV%ӥ%*016d1@YŘGJ1e(Ŏo`S|>͆ѦiwܾR7D1/N?ܒ?o6wz!WrjF ?PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!I? *drs/shapexml.xmlPK-!*$cdrs/downrev.xmlPKe R      t+Zd?Rectangle 11#" PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!C%P'drs/shapexml.xmlU[<}G?X~EKۥRE~x8Ncؑ3]}N˜9s}kVh+P 픯[1z yQ~y}7.NB6)u F_N;\}h!cX v &jz8|=h8yW<S!wR8h1V`eߕy=(U PE@ !9"vQMXLuh/FU[}' tk'bC!1'pe2~Z k& =-]# % s J Pk/& äf@9*bNEO5OAl\]ͣ!E Gx+:% eQդ}ú z'ŭI:kBk'Wq#tklu),09>4|u%G9!pHY5>RmcZ,Lqf3VB0xnQu(*t]TRT^Bxc)0swaMzw閏 xέ)>"LSs{SH w}ﰗ1?쯧w>ׯrϴ)2N_%ABxc$HUszӚ4T]K7BKQfwsTNLqJ8HUÏ ųİ.>dͣD:: ~_ɐ'Eo O:> ˮ)\m}̝ZB[3I5KC~U5fuzѺ+ E*b3yՏgPK!drs/downrev.xmlDN0EH5Hlu(P@MI<#qj;iX,`9:suvb$Z f5vI' ̵;"6"I8Rʐ0s=qbc:}#CNγFZl9-P] VAYv4^žˠٴ~iϻUr~= RPK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!C%P'*drs/shapexml.xmlPK-!drs/downrev.xmlPK+) R     N#?Rectangle 9"  I Y%Clique para editar o estilo do ttulo& &Z  J-?Rectangle 10"   nClique para editar os estilos de texto do modelo global Segundo nvel Terceiro nvel Quarto nvel Quinto nvel8   o  P3?Rectangle 14#"PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK!}+drs/shapexml.xmlUn7?$Wqm!관jg\F\%# (8ir̛yq)ηF|n̙T3HW?H?^僝ypX-xF^4#XWQmFI/u@ZͯqޭEKUϧiA (&S>[?@R9zD~AAͼA8yyl$U>~FQwD4b  U@T͑9 Dz/ΟH GپvkSfu5C/ΧSȃfrj~<+ q=4Ew2%J1?# 1vDzǬ#*U P J'r#%Ѱ5!)rxoa{cgfL]W$H4p^/wt͍JJZւes|RXz79;pfՐߢ$&r?>ʒvj*NJ\I"oT[ݵJE-r/7yq[D?}ߎ"C22% )΀lM K.doI }붉pc@1#Q]^ \UT"+"L?5V_[qڽ eB4Rezz6O0ue#OĹ*jIb'l̗69܆:+$ +so_p r*Ym/[6& q2I7JO򏴌EWm|SG;2A3mbGfˋ6Eu %<֢_V}{mIКg U_JR%8g ՆܟJ%9Qny{/PK!>drs/downrev.xmlDMK0E!<6 u22`G7^6$%m\8˽L>hg%)m{ /7wBDpt$(n{yJ4c2Ć % 1N`Xl: }ϕ%EQAmÀ=~y-S{>yQ$)=H)ǺoC* X?5^C$/!eլ | PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-!}+*drs/shapexml.xmlPK-!>drs/downrev.xmlPK`p   D    P5?Rectangle 15#"PK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK! P2drs/shapexml.xmlUMo9 t-R&F'Ebl]왣xHq8bS#J|#>~ڵmʚ9FJu.9 LY 748M71`D#[ﭓj[2H!bVŠe5^eKd3U||Ιc>HZ9^ C_Ryxc"# jg 7FB3$xװwkT(q]?G?qL6`Ҭ|Vxh0վ}m:tkF'ybV,I8Sjr'i;!6T(q8MO̍ds:o0;<2 \Ŝ6?8sOH"aٖ(EIO `R?$`m}>zv"y Y.fM_PK-!Zf[Content_Types].xmlPK-!1_a /_rels/.relsPK-! P2*drs/shapexml.xmlPK-!Lkdrs/downrev.xmlPK`p   F  O   PX9?Rectangle 16#"OCPK!Zf[Content_Types].xmlMO &2WR=cJ`F0iK`#̼vLw 9uSq:w`G ^i ½KI)c/ $oVjTMRc|}042ҥCƔM̏P~*ka/8^DkHbL8e i"K\XN\6rco4y@_;oPK!1_a _rels/.relsj0 ѽqCNo^K [ILcX&m߾0XFo;>0xM e`|X}đ I`߽N4aG2$RKIZ)4(M9`ctB{m:f@`3n|O,ܗr޾jxR0T ,0@}WBLǬ5vPK! X drs/shapexml.xmlVMo6 x-XqUp#vHb5JEQ,y$o<}N9_Zềd6/}"R@&'mJ}glN6zl*l * xu)L* ~Eevznw+'<*y2 J 'y(6{(G7 qoqr>n?~w@j[j:m*97r9v[是G"}@M^DZE!pdz6 @x:|hAdp^ ΢C9؉[$Y;>+jT%ҁҘ)>pmGqڼEU .DrӅc@H2s̆͟N_Զ1rZ,ţ#FQR b8_" Rӕt4زd2DMd*Ek*UMaiuƎ&7_]pk[?QF2D~|X'L+Kc0Vf*Pg_VADD2)f1jOG]x6T0X@[[rø!z$} @t |%ZoEKs"5*nIs@9M-PаUc2oLs,Qgת0ΎWEn5m@fG*m/ xyM]ڎNxhV<,O}ozu1'p1MogOK'%j <4UYʖ+u6BYEڲM" }ȱhIߎ,"y=gc|etɷe\[9k K ͌nnn4׵8Ļ(:6Kչ؝& 6IQ!PUj1ڒ*vjdHɮ*S^b!۷*@K$OLL"G,sxҙgK +.>YJA Mrݞ( rv%j #cm:9;dA' nd  4&ϺoE\9?[^lWF!7pL9FQep=oJ3%3dBzL3Tn=8 OXU={/ enuhtYoCL p/{CXVOK\Zb Itjk] S1L] 0#=/TI@7Z]bG{}tDPb7˂*]k-7+XM72Wn|20oA>3 PK-!M[Content_Types].xmlPK-!p8ܾ8 ._rels/.relsPK-!KY!drs/slideLayouts/slideLayout1.xmlPK.: \ PK![Content_Types].xmlj0Eжr(΢Iw},-j4 wP-t#bΙ{UTU^hd}㨫)*1P' ^W0)T9<l#$yi};~@(Hu* Dנz/0ǰ $ X3aZ,D0j~3߶b~i>3\`?/[G\!-Rk.sԻ..a濭?PK!֧6 _rels/.relsj0 }Q%v/C/}(h"O = C?hv=Ʌ%[xp{۵_Pѣ<1H0ORBdJE4b$q_6LR7`0̞O,En7Lib/SeеPK!kytheme/theme/themeManager.xml M @}w7c(EbˮCAǠҟ7՛K Y, e.|,H,lxɴIsQ}#Ր ֵ+!,^$j=GW)E+& 8PK!3;9%theme/theme/theme1.xmlZnF;,xO,РEbMD&Iy yR\Qd[M}3q޼MV ~=+rMjnbE` kW?^m%]X)E6ˊݺmX3hzYanAw%Y1B5?_. ܭ:+Ui]c.x#I^_Ce$8(m2zs5˺zsA/C|1bX}9V2gC$`g(r0˾8mw;= ۤPdnYI^Nzš2Ii?-{#Sgw }-˺9.h mn#ei~( K4쿡iB]zh IJ=(ffyQ; [YuK~m̦̳U D; X¥ )%3uJ+p'l%zӐlH>([ n Pl$z`,. G80gRffjS=}8DI:> μ 7O,ja*嶂7"4HZQ0wa&쑦 6@U7ې:~Ӛߡ,aȎU" ̨M%վew,5p*zERHu& ~ A1tfԐJ |G204-sǟkb7fpXx OTᑭVVVط@TQN|{SJ)Q~%"$$2(Z5 f}1j=g N#gqlaג!Z?``p* !<}yyMqoE\}|9J :>"ėB>?abåH JcY>^XFEp( hcA+~W]*ia M%q4<2x~PkسNP|XDj\OD8q8'48JSxSo sH_Ĝ T߃Nؐ?{4`zoBsf3B$8mU-U_e[>m0'awž {v']K:M_u'w; ibOٲvƇHߑŁ:FNH H2@wl?^};EA^d]L8թ30GCw6gA8K7ZNtp 20S_~p ܹt9si 4fp<N9p{l3^ƞ;:V@3RsNK';ǻr&?`Ch"pT^ PK! ѐ'theme/theme/_rels/themeManager.xml.relsM 0wooӺ&݈Э5 6?$Q ,.aic21h:qm@RN;d`o7gK(M&$R(.1r'JЊT8V"AȻHu}|$b{P8g/]QAsم(#L[PK-![Content_Types].xmlPK-!֧6 +_rels/.relsPK-!kytheme/theme/themeManager.xmlPK-!3;9%theme/theme/theme1.xmlPK-! ѐ' theme/theme/_rels/themeManager.xml.relsPK] #$PK!(b[Content_Types].xmln0 EAkP }l} m $_tI$svs^챐KkH$Q -G$oo1# ɩ5 J# \Qg0?0omRo?Y8 Jm i|TX+N3tr@9>?4 ΠMfrAsѺo_p?yjŝ & Xg3PK!*8 _rels/.rels 0DnzЃXmlo0of5OIw AN{cݠv=m 838yG 6U} ShLq`L)d=Ҍ\@.;3, ;$e͂): vq}j:zɥ'k茜(f,ƁXA6\m>PK!h]M&!drs/slideMasters/slideMaster1.xmlZ]o0}ub@HS>i&8MVljӕk Z#9\)#+$vDMq㛖ORR1<, sVO@>9gSr@K2YJ˯YEYR iA)o;ND38d|EIȾe,eBI ƩqCf V4jڒyL}#QaQ~8qbѢxPQ&0%#VL=|h&Bp2XdF=ſҶ{]^v6?edSwanrMobx\I' C8XHC7sl:hSlgoqʬN}g:gLBCÔ,v߫mAa$¶+ a%lYA&cV,`0Fb,5겸ҦjϘNiQ٫]R>wu'~fcVwV:q?o1\]'}E, 'X,@m]+,@;*5)멒yCÑ*Mޡ|^f=Z*ͪ(`ÿPK-!(b[Content_Types].xmlPK-!*8 *_rels/.relsPK-!h]M&!drs/slideMasters/slideMaster1.xmlPKE H2_Modelo de apresentao predefinido60 F(    0  P    X*   0(H     Z* d  c $ ?  2  0R  0  nClique para editar os estilos de texto do modelo global Segundo nvel Terceiro nvel Quarto nvel Quinto nvel8   o  60 _P   X*   6pU _   Z* H  0޽h ? 3380___PPT10.@M XP0 (   Q   xlX0e0e?Rectangle 2 p   Data Replication and Resiliency   ,  W   xhl0e0e?Rectangle 3 `   A Trabalho realizado por: Rui Ferreira N 15039 Eng. InformticaB ZB H  0޽h ? 3333___PPT10i.`**+D=' D= @B +}  $(  r  S $    r  S t] i  H  0޽h ? 3333___PPT10i.~@ @+D=' D= @B +$  $(  r  S I   I r  S  SI  I H  0޽h ? 333380___PPT10.`< `E(     x40e0e ?Rectangle 2    EReplicao de Dados    x0e0e ?Rectangle 3 ,b >6___PPT9 Objectivo da replicao: suportar tolerncia a falhas (replicaes no devem ser visveis) Operaes nos dados lgicos so mapeados para as vrias cpias dos dados. Deve assegurar o critrio de one-copy serializable Isto ser garantido atravs dos algoritmos de controlo de replica Todas as cpias do mesmo dado lgico devem estar no mesmo estado mtuo de estado de consistncia Os algoritmos de controlo de replica so tambm denominados por algoritmos de controlo de consistncia. B  [ J 3B a h>|@ H  0޽h ? 3333___PPT10i.fP+D=' D= @B +" p (       r0e0e ?Ttulo 1    EReplicao de Dados ^   0e0e ?DMarcador de Posio de Contedo 2 Y z___PPT9\T >Tipos de avarias que tm de ser controladas pelos algoritmos de controlo de replica num sistema distribudo: Avarias nos ns Avarias de comunicao Como as avarias em ns afectam o comportamento do sistema? enquanto uma cpia do dado permanecer acessvel a operao pode ser terminada Ao que leva no caso de ocorrerem avarias na comunicao? Partio da rede: os ns restantes so particionados em grupos, onde s podem comunicar com os ns do mesmo grupo. Num grupo a consistncia das replicas pode ser preservado O critrio de one-copy serializable pode ser violado 6m ' < O 9   5  m' ;N 9s    <  4 >  H  0޽h ? 3333___PPT10i.@24+D=' 3= @B +"  $(  $ $  rȩ0e0e ?Ttulo 1    NMtodos de controlo de replicaF $  0e0e ?DMarcador de Posio de Contedo 2 v RJ___PPT9,$ $Para evitar esta violao necessrio que sejam impostas restries no processamento nas diferentes parties. Os mtodos de controlo de replica podem ser: Optimistas: sem restries, resolve as inconsistncias depois de voltar ao estado normal Pessimistas: restries no processamento q-  q- P H $ 0޽h ? 3333___PPT10i.q`Tv+D=' 3= @B +" (y(  (  (  r'0e0e ?Ttulo 1    FAbordagem Optimista  - (   0e0e ?DMarcador de Posio de Contedo 2 <` <4___PPT9 Durante uma partio de rede, se operaes so executadas independentemente, as cpias dos dados nas diferentes parties podem ficar inconsistentes Quando as parties se renem ,tais inconsistncias tm de ser detectadas e resolvidas, se possvel Uma aproximao usada para detectar tais inconsistncias a verso de vectores (version vectors) Version Vectors Ficheiros so tratados como os objectos de dados bsicos e so a unidade de replicao o X   d Q  X PL[H ( 0޽h ? 3333___PPT10i.'[+D=' 3= @B +" 5- (       x<0e0e ?Ttulo 1    FAbordagem Optimista     # 0e0e ?DMarcador de Posio de Contedo 2 <T <4___PPT9 CUm ficheiro f pode ter vrias cpias , todas em ns diferentes Quando actualizado o ficheiro f, todas as cpias acessveis a partir do n que fez o pedido so actualizadas Cada cpia de um ficheiro tem um vector verso associado com tamanho n, onde n o numero de locais onde o ficheiro foi guardado O vector verso de uma cpia do ficheiro representa o n de actualizaes originadas em diferentes ns que foram executadas nesta cpia l ? o   H   0޽h ? 3333___PPT10i.'[+D=' 3= @B +}  `d$(  dr d S O     r d S P    H d 0޽h ? 3333___PPT10i.פ+D=' 3= @B +  \(  \r \ S w     X \ 0A?Z r \ S  x  <  H \ 0޽h ? 3333___PPT10i.`ۥ+D=' 3= @B +}   h$(  hr h S D    I r h S     H h 0޽h ? 3333___PPT10i.ȕ } +D=' 3= @B +   p0(  px p c $     x p c $*  i  H p 0޽h ? 3333___PPT10i.ȕ } +D=' 3= @B +  x0(  xx x c $Dy     x x c $y  i  H x 0޽h ? 3333___PPT10i.ȕ } +D=' 3= @B +  |0(  |x | c $I    I x | c $XI  i I H | 0޽h ? 3333___PPT10i.ȕ } +D=' 3= @B +   0(  x  c $h     x  c $T  i  H  0޽h ? 3333___PPT10i.ȕ } +D=' 3= @B +}   $(  r  S XDR    R r  S M   R H  0޽h ? 3333___PPT10i.Vଡk+D=' 3= @B +o0 (  X  C      S = 0   Replicao de dados A replicao de dados fornece sobrevivncia dos dados contra avarias, contudo introduz novos problemas de consistncia e de gesto de replicas. Como o objectivo da replicao fornecer tolerncia a falhas, a replicao no deve ser visvel ao utilizador ou ao nvel da aco. Uma aco ir executar operaes nos dados lgicos e o sistema ir mapear estas operaes nas vrias cpias dos dados. Contudo, este mapeamento deve assegurar que execuo concorrente de aces nos dados replicados equivalente correcta execuo nos dados no-replicados, sendo esta propriedade denominada por critrio de one-copy serializable. Este critrio ser assegurado atravs de algoritmos de controlo de replica. Este critrio requer que as diferentes cpias de um objecto de dados devem estar no mesmo estado de consistncia mtua. Devido a este requerimento de consistncia, os algoritmos de controlo de replica so tambm denominados por algoritmos de controlo de consistncia. bm< t4 \H  0޽h ? 3380___PPT10.@P:0 J(  X  C    I  S  0  I L8Este trabalho relativo replicao de dados e sua adaptabilidade. Ao longo deste trabalho iremos abordar qual o significado de replicao de dados, sua importncia, a sua utilidade perante a existncia de avarias nos ns ou na comunicao na rede e as vrias estratgias existentes para a gesto de replicas. H  0޽h ? 3380___PPT10.@o0 ~v(  X  C    Mv  S |3 0  M Uma aco uma operao lgica que acede ou modifica objectos de dados. O objectivo de uma aco atmica assegurar que ou a aco executada com sucesso ou no executada de todo. O estado de aces parcialmente executadas no devem ser visveis, mesmo que ocorram falhas. Neste trabalho iremos falar onde uma aco completada com sucesso mesmo que ocorram falhas no sistema. Iremos abordar o facto de querermos que as aces sejam sobreviventes (resilient) a falhas.  H  0޽h ? 3380___PPT10.0;+0 NF (  X  C    F  S `Z 0   tExistem dois tipos de avarias que necessitam de ser controladas pelo algoritmo de controlo de replica: avarias de ns e de comunicaes. As avarias de ns causam inacessibilidade s copias dos dados nesse n. O resto da rede est conectada e as cpias restantes esto disponveis. Os algoritmos de controlo de replica devem assegurar que mesmo que alguns locais avariem, tornando algumas cpias inacessveis, enquanto houver alguma cpia do dado disponvel a operao possa ser terminada. As avarias na comunicao da rede levam ao particionamento da rede. Os ns restantes so divididos em grupos, onde cada n s pode comunicar com os ns do mesmo grupo. Ns de grupos diferentes no conseguem comunicar. Num grupo a consistncia mtua das replicas pode ser preservada, no entanto se no forem impostas restries no processamento nas diferentes parties esta consistncia no pode ser preservada quando a rede se reconectar. Isto porque, quando a rede volta a conectar-se, uma operao pode ter uma viso diferente do objecto de dados dependendo de quais cpias desse objecto acede, violando assim o critrio de one-copy serializable.Pr  H  0޽h ? 3380___PPT10.H% 0 00(  X  C      S  0   2Para evitar que este critrio seja violado necessrio que sejam impostas restries no processamento nas diferentes parties. Os mtodos de controlo de replica podem ser optimistas e pessimistas. Nas estratgias optimistas, se ocorre partio da rede no so impostas restries no processamento em qualquer partio, esperando que as operaes executadas nas diferentes parties no entrem em conflito. Nas estratgias pessimistas, so impostas restries, limitando o acesso aos dados prevenindo assim a ocorrncia de inconsistncias.H  0޽h ? 3380___PPT10.cD0  (  X  C      S Tc 0   " H  0޽h ? 3380___PPT10.7V0 @(  X  C      S  0   Durante uma partio da rede, se operaes so executadas em cada partio independentemente, as cpias dos dados das diferentes parties podem estar inconsistentes. Quando as parties se voltam a reunir tais inconsistncias tm de ser detectadas e resolvidas, se possvel. Uma estratgia usada para detectar tais inconsistncias a verso de Vectores. Nesta estratgia, ficheiros so tratados como os objectos bsicos de dados e so a unidade de replicao. Um ficheiro pode ter vrias copias, todas em diferentes ns. Sempre que uma operao de actualizao executada no ficheiro f, todas as copias que esto disponveis do n que fez o pedido so actualizadas. Nesta estratgia cada rplica est associada a um vector verso, de tamanho n, onde n o numero de locais onde esta replica guardada. Este vector representa o nmero de actualizaes originadas em diferentes ns que foram executadas nesta replica. H  0޽h ? 3380___PPT10.g 0 p-(  X  C      S  0   /Se a rede est completamente conectada, ou seja, no houve parties na rede, ento o vector verso do ficheiro ser o mesmo. Caso tenha ocorrido partio da rede, sinal que ocorreu uma avaria na comunicao, ento os vectores verses das diferentes copias nas diferentes parties podem divergir dependendo das operaes executadas em cada partio. Neste caso pode haver duas relaes entre os vectores, uma relao de dominncia de um vector perante outro e uma relao de conflito. Diz-se que existe uma relao de dominncia de um vector perante outro quando o vector que domina sofreu mais actualizaes que o outro vector, sendo o vector dominado um subconjunto das actualizaes feitas no Vector dominante. Isto representa que os estados das cpia no so iguais, revelando inconsistncia. Vectores esto em conflito quando nenhum dos vectores domina perante o outro. Isto representa que as copias sofreram actualizaes diferentes. No entanto, no caso de existir um vector dominante, o estado de inconsistncia pode ser revolvido, para isso basta copiar o vector dominante para o vector dominado, dado que o vector dominante possui uma copia mais recente do ficheiro que o vector dominado. No caso dos vectores entrarem em conflito cabe ao gestor do sistema fazer manualmente o que for necessrio. H  0޽h ? 3380___PPT10.X= 0 x(  X  C    Ix  S d 0  I Neste exemplo consideramos uma rede constituda por 3 (trs) ns com partio de rede. Os ns A,B e C tm inicialmente o mesmo vector, com cada entrada a 0. O sistema repartido em dois grupos, um contendo os ns A e B e o outro contendo o n C. O n A faz duas actualizaes no ficheiro, e como tem um vector verso atribudo e A e B esto conectados o vector verso ser <2,0,0> enquanto que o vector verso do n C fica <0,0,0>, dado que no fez nenhuma actualizao, nem se encontra no mesmo grupo que os ns A e B. de seguida o n B, separa-se do n A e junta-se ao n C, ficando um grupo com o n B e C e outro como o n A. Como o vector verso do n B domina o vector verso do n C, copiado o vector verso B para o C, resolvendo assim o problema de conflito. Em seguida o n A e C fazem pedidos de actualizaes. O vector verso de A ficar <3,0,0>, e o vector verso de B e C ser <2,0,1>. Agora, se estes dois grupos se unem os vectores verso entram em conflito, dado que nenhum vector domina o outro. Vectores verso apenas detectam inconsistncias devido a actualizaes num nico ficheiro. No detectam conflitos de read-write. Em aces ou transaces de mltiplos ficheiros, alm do conflito write-write tambm o conflito read-write tem de ser detectado por forma a detectar a violao do critrio de serializability. Assim, para estas aplicaes os vectores verses no so adequados dado que s funcionam para um ficheiro.Pp D  EmH  0޽h ? 3380___PPT10.'rO 0 $(  X  C      S h 0   nAgora quanto viso pessimista, iremos abordar trs estratgias de gesto de replicas: Primary Site Approach.,XH  0޽h ? 3380___PPT10.CRO0 _(  X  C    I  S t 0  I aEsta estratgia tem como objectivo continuar a fornecer acesso aos dados mesmo que ocorram falhas no sistema. isto , o objectivo suportar k-resilient objectos de dados. No entanto, para esta estratgia funcionar o sistema tem de ser capaz de distinguir, caso ocorra uma avaria se esta foi causada por avaria no n ou por avaria na comunicao. Para suportar k-resilient dados, os dados tm de ser replicados em pelo menos k+1 ns. Um dos ns que possui os dados designado por primary e os restantes por backups. Os ns esto logicamente organizados de uma forma linear, sendo o primary como o primeiro n. Todos os pedidos so enviados ao primary, caso seja enviado para um backup este envia o pedido para o primary.t  m_6>H  0޽h ? 3380___PPT10.7ݒx0 (  X  C      S T 0   &Uma alternativa encontrada para reduzir a computao nos backups de o primary fazer uma verificao (checkpoint) do estado dos objectos de dados nos backups. Neste caso, os backups apenas precisam de executar as operaes que foram executadas pelo primary aps a verificao feita por este. HH %H  0޽h ? 3380___PPT10.pv0 (  X  C    I  S  0  I Caso o pedido feito de leitura, o primary executa a operao e devolve o resultado. Se o pedido de actualizao, antes de executar a actualizao, o primary envia o pedido de actualizao a pelo menos k backups. Todos estes backups que receberem o pedido do primary executam a operao. Como o pedido chegou primeiro ao primary e depois este enviou para os backups, estes recebem na mesma ordem que recebeu o primary os pedidos. Assim, na execuo destes pedidos os dados nos backups sero os mesmos que no primary.t$nf7R[H  0޽h ? 3380___PPT10.=-0 0%(  X  C    R  S R 0  R 'Considerando que avariaram alguns locais (ns) e se mais de k locais falharam simultaneamente ento nada poder ser feito dado que o grau de replicao de apenas k +1 ns. Se falharam menos que k ns ento esta estratgia pode disfarar as falhas, dado que existem pelo menos um n com objecto de dados disponveis. Caso tenha ocorrido uma avaria em ns backups, o servio no interrompido dado que est disponvel o primary, obtendo assim o utilizador os resultados a partir do primary. Caso tenha ocorrido uma avaria no local primary, ter de ser eleito um novo primary. Aps a eleio do novo primary, caso se lembre das operaes nos backups, este continua os pedidos aps ter executado todas as operaes do primary anterior. Caso tenha sido usado verificaes, o backup comea a executar a partir da ultima verificao e primeiro executa todas as operaes executadas pelo anterior primary. 7*nH  0޽h ? 3380___PPT10.:T10 @A(  X  C    R  S ȍR 0  R CCaso tenham ocorrido avarias que tenham levado partio da rede, a partio com o n primary continua a servir os pedidos originados nessa partio, uma vez que apenas esta partio pode funcionar. Se o pedido foi originado numa partio diferente da do primary, este no poder ser executado dado que o pedido no pode ser enviado ao primary. Este mtodo s funciona se as avarias podem ser distinguidas, isto , pode ser identificado avaria por partio da rede ou por avaria de ns. >WJH  0޽h ? 3380___PPT10.pލP0 P,(  ^  S      c $ 0   " H  0޽h ? 3380___PPT10.gr@&0 g@pv~ pdz -^k`)mkqGo+PX1@[h7 ԋ 8tOh+'0' hp   $ Data Replication and Resiliency.taBlendsp Paula Prata279Microsoft Office PowerPoint@0~&@a@p j, G%g   *& &&#TNPP 2OMi & TNPP &&TNPP    --- !---&o& j=33--- !2. ---~w@' ww0- &G j=&--MM- $G Q Q=G=- $Q [ [=Q=- $[ e e=[=- $e j j=e=---&& &&,8zj--- !2,8,--- &S8yi&--8- $S8]8]iSi- $]8g8gi]i- $g8q8qigi- $q8y8yiqi---&& &&0;\&--&&- $<0<:DD- $<:<Dkk- $<D"<N- $<N",<X- $<X,6<b- $<b6@<l- $<l@J<v- $<vJT<- $<T\< $<\\<&&&- & $0\;\;0&&-&& &&-&&]<0&&- $<0<:DD- $<:<Dkk- $<D"<N- $<N",<X- $<X,6<b- $<b6@<l- $<l@J<v- $<vJT<- $<T\< $<\\<&- --&& --- !oC--- &!V\&--- $!V+V+\!\ - $+V5V5\+\###- $5V?V?\5\%%%- $?VIVI\?\(((- $IVSVS\I\+++- $SV]V]\S\...- $]VgVg\]\111- $gVqVq\g\333- $qV{V{\q\666- ${VV\{\:::- $VV\\===- $VV\\@@@- $VV\\CCC- $VV\\FFF- $VV\\JJJ- $VV\\MMM- $VV\\QQQ- $VV\\SSS- $VV\\WWW- $VV\\[[[- $VV\\^^^- $VV\\bbb- $VV\\eee- $VV\\iii- $VV\\mmm- $V%V%\\ppp- $%V/V/\%\ttt- $/V9V9\/\www- $9VCVC\9\{{{- $CVMVM\C\- $MVWVW\M\- $WVaVa\W\- $aVkVk\a\- $kVuVu\k\- $uVV\u\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $V V \\- $ VV\ \- $VV\\- $V)V)\\- $)V3V3\)\- $3V=V=\3\- $=VGVG\=\- $GVQVQ\G\- $QV[V[\Q\- $[VeVe\[\- $eVoVo\e\- $oVyVy\o\- $yVV\y\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $VV\\- $V#V#\\- $#V-V-\#\- $-V7V7\-\ $7VAVA\7\- $AVKVK\A\- $KVUVU\K\- $UV_V_\U\ $_ViVi\_\- $iVsVs\i\ $sV}V}\s\- $}VV\}\ $VV\\- $VV\\ $VV\\ $VV\\- $VV\\---&& &--Kh-- @Tahomaw@Z ww0- 33.2 Data (. 33.2  Replication%!  !. 33. 2 and  !. 33.2 9 Resiliency% !.--L-- 33@Tahomaw@ ww0- .*2 8Trabalho realizado por:    . .2 bRui Ferreira N    . . 2 b. .2 b15039. .2 V Eng. Inform   . . 2 . . 2 tica .--"System 0-&TNPP &՜.+,0    TOn-screen Show.-s: TahomaArial WingdingsCalibri%1_Modelo de apresentao predefinido%2_Modelo de apresentao predefinido Data Replication and ResiliencyAspectos Gerais)Aces Atmicas em Sistemas DistribudosReplicao de DadosReplicao de DadosMtodos de controlo de replicaAbordagem Optimista Abordagem Optimista Abordagem OptimistaExemplo de Verso de VectoresAbordagem pessimistaPrimary Site ApproachPrimary Site ApproachPrimary Site ApproachPrimary Site ApproachPrimary Site Approach  Fonts UsedDesign Template Slide Titles#_ Paula Prata Paula Prata  !"#%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./013456789;<=>?@AFRoot EntrydO)PicturesTFCurrent User:SummaryInformation(0'PowerPoint Document($DocumentSummaryInformation82