XI Workshop de Testes e TolerÃ¢ncia a Falhas (WTF) - SBRC 2010

More documents

Recommendations

Info

10 Anais cada partição síncrona, quando o de menor identificação entre estes for escolhido como líder, será obtida uma estabilidade no sistema, havendo então apenas um líder indicado por todos os processos corretos do sistema. 4.3. O Algoritmo de Consenso no Modelo Spa com Recuperação de Defeitos Nesta seção apresentamos um algoritmo de consenso que executa sobre o modelo Spa, com recuperação. O consenso assume que o modelo Spa com uma das propriedades Weak Partitioned Synchrony ou Strong Partitioned Synchrony como válidas, e a existência de um oráculo que indica quais processos pertencem a partições síncronas e quais não pertencem (utilizado caso existam processo não síncronos). O algoritmo também assume a existência de um detector de defeitos (classe P ou xP , dependendo da propriedades que é satisfeita pelo sistema), que indica para cada processo p i ∈ Π, através do conjunto faulty i , que processos membros de partições síncronas falharam e permanecem com falha. Este algoritmo também utiliza um mecanismo para eleição de líder baseado no detector de defeitos utilizado, o qual é descrito na subseção 4.2. Este protocolo de consenso executa sem modificações com um detector de defeitos de qualquer uma das classes definidas. A estrutura básica deste algoritmo é baseada no algoritmo Paxos, apresentado por Lamport em [Lamport 1998, Lamport 2001]. O consenso é realizado em 2 fases, identificadas como PREPARE-REQUEST (preparação da rodada) e ACCEPT-REQUEST (rodada para proposição e aceitação de valor). O algoritmo é dividido em cinco tarefas, e cada processo executa dividido em três agentes: Proposer, Acceptor e Learner. A tarefa T 0 é executada sempre que um novo processo é indicado como líder do grupo, pelo mecanismo de eleição de líder, e neste caso a tarefa T 1 passa a ser executada pelo agente Proposer deste processo. As tarefas T 2 e T 3 são executadas pelos agentes Acceptor de todos os processos, e são iniciadas pela recepção das mensagens PREPARE-REQUEST e ACCEPT-REQUEST, respectivamente. A tarefa T 4 é executada pelos agentes Learner dos processos, o tempo todo. A tarefa T 1 é executada pelo agente Proposer do processo líder do grupo e coordenador da rodada. Esta tarefa é dividida em duas fases: na primeira fase uma nova rodada é proposta e na segunda fase um valor é proposto para o consenso. Na F ase1 o Proposer propõe a nova rodada realizando um broadcast da mensagem PREPARE-REQUEST com o número da nova rodada proposta (linha 5 do algoritmo), e esperando por mensagens ACK-PREPARE-REQUEST de todos os processos membros de partições síncronas que não tenham falhado (linha 6). Como já foi definido anteriormente, assumimos como processo correto aquele que não falha, ou que após ter falhado e se recuperado, se mantenha em execução estável. As mensagens ACK-PREPARE-REQUEST apresentam a última rodada na qual cada processo participou (r j ), e qual foi o valor proposto nesta rodada (v j ). Na F ase2 um valor é escolhido entre aqueles informados nas mensagens ACK-PREPARE-REQUEST recebidas, sendo relativo à rodada mais recente na qual os processos tenham participado. É realizado um broadcast da mensagem ACCEPT-REQUEST, com a rodada em execução e o valor escolhido.
XI Workshop de Testes e Tolerância a Falhas 11 Function Consensus (v i ) Task T 0: (1) r i ← 0; lr i ← 0; (2) Every time Leader = p i (3) Task T1 -Proposer; Task T 1 - Proposer: (4) r i ← max(r i , lr i ) + n; ————————Fase 1 da rodada r: PREPARE-REQUEST————————————— (5) broadcast PREPARE-REQUEST(r i ); (6) wait until ( (ACK-PREPARE-REQUEST(r i , r j , v j ) has been received from every correct process which is a member of a synchronous partition) ∨ (lr i > r i ) ) ; ————————Fase 2 da rodada r: accept request————————————— (7) if ( (r i ≥ lr i ) ∧ (¬∃(ACK-PREPARE-REQUEST(r i , r j , v j ) received from p j ) such that r j > r i ) ) then (8) if ( ∃ ACK-PREPARE-REQUEST(r i , r j , v j ) received from p j such that ∀k: (ACK-PREPARE-REQUEST(ri , r k , v k ) have been received from p k : r j ≥ r k ) ∧ ((r k = r j ) → (v k = v j )) ) then (9) v i ← v j ; (10) broadcast ACCEPT-REQUEST(r i , v i ); Task T 2 - Acceptor: (11) upon the reception of PREPARE-REQUEST(r c ) from p c do (12) if r c > max(r i , lr i ) then (13) send ACK-PREPARE-REQUEST(r c , r i , v i ) to p c ; (14) lr i ← r c ; Task T 3 - Acceptor: (15) upon the reception of ACCEPT-REQUEST(r c , v c ) from p c do (16) if r c ≥ max(lr i , r i ) then (17) lr i ← r c ; v i ← v c ; r i ← r c (18) broadcast ACK-ACCEPT-REQUEST(r i , v i ); Task T 4 - Learner: (19) wait until ACK-ACCEPT-REQUEST(r j , v j ) have been received from every correct process p k which is a member of a synchronous partition, for the same round r j or a DECISION-MESSAGE (v) is received (20) broadcast DECISION-MESSAGE(v); (21) return (v j ) Figure 2. Algoritmo de consenso A tarefa T 2 é executada pelos agentes Acceptors de todos os processos. Um processo inicia a execução desta tarefa ao receber uma mensagem PREPARE-REQUEST de um Proposer, sendo que a rodada proposta deve ser mais recente do que qualquer rodada na qual o processo esteja participando ou tenha participado (verificado pelo if da linha 12). Nesta tarefa o processo informa o seu valor atual e a última rodada na qual participou, através da mensagem ACK-PREPARE-REQUEST, enviada ao Proposer. A tarefa T 3 é executada pelos agentes Acceptors de todos os processos. Um processo inicia a execução desta tarefa ao receber uma mensagem ACCEPT-REQUEST de um Proposer, sendo que a rodada referenciada na mensagem deve ser mais recente do que qualquer outra rodada na qual o processo esteja participando ou tenha participado. O processo atualiza o seu valor proposto e o seu número de rodada, e realiza um broadcast com mensagem ACK-ACCEPT-REQUEST, com o número de rodada atual, e o valor proposto.
Page 1 and 2: XXVIII Simpósio Brasileiro de Rede
Page 3 and 4: XI Workshop de Testes e Tolerância
Page 13: XI Workshop de Testes e Tolerância
Page 16 and 17: 4 Anais tais problemas. Portanto, h
Page 18 and 19: 6 Anais consenso para o modelo ass
Page 20 and 21: 8 Anais em andamento (por exemplo,
Page 24 and 25: 12 Anais A tarefa T 4 é executada
Page 26 and 27: 14 Anais • Assumimos que o proces
Page 28 and 29: 16 Anais Veríssimo, P. and Casimir
Page 30 and 31: 18 Anais Entretanto, em caso de fal
Page 32 and 33: 20 Anais à aplicação: SafeSendT
Page 34 and 35: 22 Anais Na fase de inicialização
Page 36 and 37: 24 Anais acesso a C e nem a C d . E
Page 38 and 39: 26 Anais Prova. 1. Se t + 1 /∈ C
Page 40 and 41: 28 Anais algoritmo de término. Vá
Page 42 and 43: 30 Anais instantânea. Além disso,
Page 44 and 45: 32 Anais [Chandra and Toueg 1996].
Page 46 and 47: 34 Anais Every JXTA-FD instance exe
Page 48 and 49: 36 Anais 3.4. GossipTask A rotina G
Page 50 and 51: 38 Anais mecanismo foi adotado para
Page 52 and 53: 40 Anais Tempo de Detecção e Recu
Page 54 and 55: 42 Anais nout em relação à exati
Page 56 and 57: 44 Anais Fischer, M. J., Lynch, N.
Page 58 and 59: 46 Anais 1. Introdução Sistemas d
Page 60 and 61: 48 Anais canais de comunicação co
Page 62 and 63: 50 Anais Figura 1. Interface do QoS
Page 64 and 65: 52 Anais onde as aplicações solic
Page 66 and 67: 54 Anais • QOSP _REGIST ER: Esta
Page 68 and 69: 56 Anais O DSCP utilizado para o Se
Page 70 and 71: 58 Anais seu destino, enquanto que
Page 73 and 74:
XI Workshop de Testes e Tolerância
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101:
Page 104 and 105:
92 Anais geralmente baseados nos gr
Page 106 and 107:
94 Anais Os parâmetros podem repre
Page 108 and 109:
96 Anais Um exemplo de configuraç
Page 110 and 111:
98 Anais E. Evolução O Módulo Ev
Page 112 and 113:
100 Anais Tabela 1: Cobertura obtid
Page 114 and 115:
102 Anais ineditismo, o que parece
Page 116 and 117:
104 Anais Evaluation of Novel Appro
Page 118 and 119:
106 Anais protocolo; (2) verificaç
Page 120 and 121:
108 Anais Uma MEF pode ser represen
Page 122 and 123:
110 Anais se dá em uma seqüência
Page 124 and 125:
112 Anais 1 2 3 4 5 Data: MEF M e C
Page 126 and 127:
114 Anais (a) Variação do número
Page 128 and 129:
116 Anais Fujiwara, S., Bochman, G.
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Page 149 and 150:
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Page 167 and 168:
Page 169 and 170:
Page 171 and 172:
Page 173 and 174:
Page 175 and 176:
Page 177 and 178:
Page 179 and 180:
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Page 187 and 188:
Page 189:
show all

XI Workshop de Testes e TolerÃ¢ncia a Falhas (WTF) - SBRC 2010

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?