gestão de dados partilhados em ambientes de computação móvel

More documents

Recommendations

Info

208 APÊNDICE A. DOORS situação e pode informar os coobjectos. Para que estas condições se verifiquem foi adoptada a seguinte estratégia para a remoção forçada de um servidor: 1. Um qualquer servidor pode efectuar o pedido de remoção forçada de um outro servidor j. No caso de mais do que um servidor pedir concorrentemente a remoção do mesmo servidor j, apenas o pedido que é executado primeiro (segundo uma ordem total definida entre estes pedidos) é considerado. 2. Cada servidor indica a sua concordância (ou discordância) na remoção do servidor (no caso da remoção ser motivada pela inacessibilidade ao servidor, cada servidor pode tomar a sua decisão em função de conseguir aceder ao servidor ou não). A partir do momento em que um servidor i concorda com a remoção forçada do servidor j, i não pode executar mais nenhuma comunicação (sessão de sincronização) com j. Se qualquer servidor mostrar a sua discordância na remoção do servidor j, o pedido de remoção forçada é abortado (e todos os servidores podem voltar a comunicar com j). 3. Concorrentemente, força-se a disseminação entre todos os servidores do estado actual de todos os coobjectos (por forma a que sejam conhecidas todas as operações identificadas pelo servidor a remover). 4. Em cada momento, define-se um número de ordem para cada servidor que replica um dado volume (definido pela ordem de entrada no volume segundo a ordem total definida para as operações de filiação e considerando apenas os servidores que actualmente replicam o volume). 5. A remoção forçada de um servidor j pode prosseguir se o servidor com menor número de ordem verificar que: (1) todos os servidores do volume, com excepção do servidor j, concordaram com a remoção (ou seja, mais nenhuma servidor aceitará comunicações de j); e (2) o estado actual do servidor reflecte os estados de todos os servidores no momento em que eles executaram a operação de concordância com a remoção (ou seja, o estado actual reflecte todas as operações submetidas por j conhecidas nos servidores que continuarão a replicar o volume — dado que mais nenhuma comunicação com origem em j é aceite pelos servidores após declararem a sua concordância com a remoção). Neste caso, no servidor com menor número de ordem, informam-se todos os coobjectos da remoção de j (de forma a que os coobjectos tomem as medidas necessárias à remoção segura do servidor), após o que se submete a operação de remoção de j no coobjecto de filiação (durante a execução destas acções, o servidor não efectua comunicações com outros servidores ou clientes). Podem existir situações em que mais do que um servidor necessite de ser removido simultaneamente ou que o servidor com menor número de ordem seja um dos servidores a remover. Para considerar
A.1. FILIAÇÃO 209 estas situações, a última condição expressa anteriormente é generalizada para (considerando a remoção conjunta de um conjunto R de servidores, sendo que o conjunto S de servidores não removidos — com U = R∪S, o conjunto de servidores que replica o volume — define um quorum (neste caso, uma maioria) no sistema U): • A remoção forçada de um conjunto R de servidores pode prosseguir se o servidor com menor nú- mero de ordem, não contido em R, verificar que: (1) todos os servidores do volume, com excepção dos servidores incluídos em R, concordaram com a remoção de todos os servidores em R (convém realçar que é possível que alguns servidores em R tenham concordado com a remoção de outros servidores presentes em R e tenham posteriormente sido alvo de remoção forçada); (2) o estado actual do servidor reflecte os estados de todos os servidores no momento em que eles executaram a última operação de concordância com a remoção de um servidor pertencente a R (ou seja, o estado actual reflecte todas as operações submetidas pelos servidores em S). Implementação Para implementar a estratégia descrita anteriormente, definiram-se as seguintes ope- rações no coobjecto de filiação: askRemove(uid,i) Pede a remoção do servidor i do grupo de replicadores, usando o identificador único uid para identificar univocamente o pedido. Esta operação, quando executada, coloca o estado do servidor i como a_remover(uid) (no caso de o estado já ser a_remover(uid0), a operação falha e é submetida a operação rollbackRemove(uid)) 5 . agreeRemove(j,uid) Indica a concordância do servidor j com o pedido de remoção (do servidor i) com identificador uid. O coobjecto de filiação mantém, para cada pedido de remoção de um servidor, a lista de servidores que afirmaram a sua concordância com essa remoção. Após a submissão desta operação, o servidor j não pode retroceder na sua intenção de remover i, nem estabelecer qualquer sessão de sincronização com i, a menos que seja executada uma operação de rollbackRemove noutro servidor. Um servidor l que inicie a replicação de um volume deve executar a acção agree- Remove(l,uid) se o seu patrocinador, o servidor j, tiver executado a operação agreeRemove(j,uid) 5 A execução optimista das operações no coobjecto de filiação pode levar a que a primeira execução da operação askRe- move(uid,i) coloque o estado do servidor i como a_remover(uid), enquanto na execução definitiva se verifique que já existe outro pedido anterior para a remoção do mesmo servidor i — esta situação não afecta a correcção do funcionamento do sistema, devendo em cada execução serem executadas as acções indicadas. Quando a execução optimista da operação é desfeita, o estado associado ao servidor i é reposto no estado anterior, mas as operações submetidas em consequências da primeira exe- cução não são removidas (uma optimização possível é submeter a operação de rollbackRemove apenas uma vez). A correcção de funcionamento do sistema também não é afectada se aquando da execução definitiva, ao contrário do que aconteceu numa execução optimista, o estado do servidor i não for activo — as operações de rollbackRemove(uid) encarregam-se de abortar este pedido. Neste caso, um novo pedido deve ser efectuado posteriormente.
Page 1 and 2:
Universidade Nova de Lisboa Faculda
Page 3:
Agradecimentos Para a realização
Page 7 and 8:
Abstract The widespread use of mobi
Page 9 and 10:
Conteúdo 1 Introdução 1 1.1 Moti
Page 11 and 12:
CONTEÚDO xi 5 Avaliação do model
Page 13 and 14:
CONTEÚDO xiii 10 Sistema de reconc
Page 15 and 16:
Lista de Figuras 3.1 Arquitectura d
Page 17 and 18:
Lista de Tabelas 8.1 Tabela de comp
Page 19 and 20:
Capítulo 1 Introdução Os avanço
Page 21 and 22:
1.2. SISTEMAS DISTRIBUÍDOS DE GEST
Page 23 and 24:
1.3. VISÃO GERAL E CONTRIBUIÇÕES
Page 25 and 26:
1.3. VISÃO GERAL E CONTRIBUIÇÕES
Page 27 and 28:
Capítulo 2 Princípios gerais No c
Page 29 and 30:
2.2. MOTIVAÇÃO - ALGUMAS APLICAÇ
Page 31 and 32:
2.3. PRINCÍPIOS 13 garantir a disp
Page 33 and 34:
2.3. PRINCÍPIOS 15 obter o estado
Page 35 and 36:
2.3. PRINCÍPIOS 17 sobre a evoluç
Page 37 and 38:
2.3. PRINCÍPIOS 19 2.3.6 Invocaç
Page 39 and 40:
2.3. PRINCÍPIOS 21 solúveis). As
Page 41 and 42:
Capítulo 3 Apresentação do siste
Page 43 and 44:
3.1. MODELO GERAL 25 para a activid
Page 45 and 46:
3.1. MODELO GERAL 27 Aplicação At
Page 47 and 48:
3.2. FRAMEWORK DE COMPONENTES: PRIN
Page 49 and 50:
Page 51 and 52:
Page 53 and 54:
Page 55 and 56:
3.3. FRAMEWORK DE COMPONENTES: COMP
Page 57 and 58:
Page 59 and 60:
Page 61 and 62:
Page 63 and 64:
Page 65 and 66:
3.4. FRAMEWORK DE COMPONENTES: IMPL
Page 67 and 68:
3.4. FRAMEWORK DE COMPONENTES: IMPL
Page 69 and 70:
Capítulo 4 Descrição das funcion
Page 71 and 72:
4.1. RECONCILIAÇÃO 53 Segundo, um
Page 73 and 74:
4.1. RECONCILIAÇÃO 55 4.1.3 Ordem
Page 75 and 76:
4.1. RECONCILIAÇÃO 57 4.1.4.2 Ver
Page 77 and 78:
4.1. RECONCILIAÇÃO 59 No decurso
Page 79 and 80:
4.3. INVOCAÇÃO CEGA 61 4.3 Invoca
Page 81 and 82:
4.4. INTEGRAÇÃO DE SESSÕES SÍNC
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Capítulo 5 Avaliação do modelo d
Page 89 and 90:
5.1. EDITOR MULTI-SÍNCRONO DE DOCU
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
5.2. AGENDA PARTILHADA 77 Figura 5.
Page 97 and 98:
5.2. AGENDA PARTILHADA 79 de awaren
Page 99 and 100:
Capítulo 6 Núcleo do sistema DOOR
Page 101 and 102:
6.1. COOBJECTOS 83 o mesmo estado i
Page 103 and 104:
6.2. SERVIDORES 85 global a associa
Page 105 and 106:
6.2. SERVIDORES 87 segundo servidor
Page 107 and 108:
6.2. SERVIDORES 89 6.2.2 Sincroniza
Page 109 and 110:
6.2. SERVIDORES 91 6.2.3 Serviço d
Page 111 and 112:
6.2. SERVIDORES 93 ao cliente compl
Page 113 and 114:
6.2. SERVIDORES 95 • Emulação d
Page 115 and 116:
6.3. CLIENTES 97 do coobjecto consi
Page 117 and 118:
6.3. CLIENTES 99 seguinte informaç
Page 119 and 120:
6.3. CLIENTES 101 A propagação as
Page 121 and 122:
Capítulo 7 Apresentação do siste
Page 123 and 124:
7.1. MODELO GERAL 105 encomenda de
Page 125 and 126:
7.2. ARQUITECTURA 107 BD réplica C
Page 127 and 128:
7.2. ARQUITECTURA 109 O subsistema
Page 129 and 130:
7.3. TRANSACÇÕES MÓVEIS 111 7.3
Page 131 and 132:
7.3. TRANSACÇÕES MÓVEIS 113 abor
Page 133 and 134:
Capítulo 8 Reservas Neste capítul
Page 135 and 136:
8.1. TIPOS DE RESERVAS 117 8.1.4 Re
Page 137 and 138:
8.2. CONCESSÃO E GARANTIA DE RESPE
Page 139 and 140:
8.2. CONCESSÃO E GARANTIA DE RESPE
Page 141 and 142:
8.3. PROCESSAMENTO DAS TRANSACÇÕE
Page 143 and 144:
8.4. PROCESSAMENTO DAS TRANSACÇÕE
Page 145 and 146:
8.5. EXEMPLOS 127 id tipo tabela co
Page 147 and 148:
8.5. EXEMPLOS 129 1 ------ COMPRA 1
Page 149 and 150:
Capítulo 9 Avaliação do modelo b
Page 151 and 152:
9.1. APLICAÇÕES 133 1 ------ REMO
Page 153 and 154:
9.2. RESERVAS 135 dentemente em dif
Page 155 and 156:
9.2. RESERVAS 137 seguinte forma. P
Page 157 and 158:
9.2. RESERVAS 139 Commit (% total)
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
9.2. RESERVAS 147 Por exemplo, no c
Page 167 and 168:
Capítulo 10 Sistema de reconcilia
Page 169 and 170:
10.2. RELAÇÕES ESTÁTICAS 151 10.
Page 171 and 172:
10.3. ALGORITMO DE RECONCILIAÇÃO
Page 173 and 174:
10.3. ALGORITMO DE RECONCILIAÇÃO
Page 175 and 176: 10.3. ALGORITMO DE RECONCILIAÇÃO
Page 177 and 178: 10.4. OPTIMIZAÇÃO DA RECONCILIAÇ
Page 179 and 180: 10.5. EXTRACÇÃO AUTOMÁTICA DE RE
Page 191 and 192: Capítulo 11 Trabalho relacionado A
Page 193 and 194: 11.1. REPLICAÇÃO 175 11.1.2 Arqui
Page 195 and 196: 11.1. REPLICAÇÃO 177 a unidade de
Page 197 and 198: 11.1. REPLICAÇÃO 179 O mecanismo
Page 199 and 200: 11.1. REPLICAÇÃO 181 dade 3 . Est
Page 201 and 202: 11.1. REPLICAÇÃO 183 e ser propag
Page 203 and 204: 11.1. REPLICAÇÃO 185 ordem de exe
Page 205 and 206: 11.1. REPLICAÇÃO 187 execução d
Page 207 and 208: 11.2. INFORMAÇÃO SOBRE A EVOLUÇ
Page 209 and 210: 11.3. INTEGRAÇÃO DE SESSÕES SÍN
Page 211 and 212: Capítulo 12 Conclusões A generali
Page 213 and 214: 12.1. SUMÁRIO 195 é executado no
Page 215 and 216: Apêndice A DOORS Este apêndice ap
Page 217 and 218: A.1. FILIAÇÃO 199 A operação de
Page 219 and 220: A.1. FILIAÇÃO 201 anterior à de
Page 221 and 222: A.1. FILIAÇÃO 203 associados e o
Page 223 and 224: A.1. FILIAÇÃO 205 Actualização
Page 225: A.1. FILIAÇÃO 207 • Periodicame
Page 229 and 230: A.1. FILIAÇÃO 211 2. Um servidor
Page 231 and 232: A.2. SINCRONIZAÇÃO EPIDÉMICA 213
Page 239 and 240: Apêndice B Mobisnap B.1 Transacç
Page 241 and 242: Bibliografia [1] S. Agarwal, D. Sta
Page 243 and 244: BIBLIOGRAFIA 225 [22] Michael J. Ca
Page 245 and 246: BIBLIOGRAFIA 227 [45] Sérgio Duart
Page 247 and 248: BIBLIOGRAFIA 229 [67] Jörg M. Haak
Page 249 and 250: BIBLIOGRAFIA 231 [92] David Lacey,
Page 251 and 252: BIBLIOGRAFIA 233 [120] Vern E. Paxs
Page 253 and 254: BIBLIOGRAFIA 235 [139] David Ratner
Page 255: BIBLIOGRAFIA 237 third internationa
show all

gestão de dados partilhados em ambientes de computação móvel

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

Delete template?

Save as template?