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

More documents

Recommendations

Info

214 APÊNDICE A. DOORS Em resposta a esta operação deve ser emitida a operação (sync,...), (askstate,...) ou (removed,...). (sync,id,l,a,l0,ops) Envia o conjunto de operações conhecidas localmente, ops, com sumário l, e que não estão reflectidas no sumário l0. Ao receber esta operação, o servidor entrega as operações recebidas ao coobjecto e actualiza o sumário das operações conhecidas (com base no sumário do parceiro, l, e no sumário, l0, usado para gerar ops). O servidor actualiza também a informação sobre as operações conhecidas noutros servidores. Em resposta a esta operação deve ser emitida a operação (sync,...), (askstate,...) ou (removed,...). (askstate,id) Pede o envio do estado de um coobjecto (usado para propagar novos coobjectos). Em resposta a esta operação deve ser emitida a operação (newstate,...). (removed,id) Indica que o servidor obteve informação suficiente para remover definitivamente o coobjecto id. O servidor que recebe esta operação remove igualmente os recursos relativos ao coobjecto. (newstate,id,o) Envia o estado de um coobjecto. Ao receber esta operação, o servidor cria a cópia local do coobjecto, caso ela ainda não exista. O estado de um coobjecto transmitido entre servidores inclui os atributos do sistema e uma sequên- cia opaca de bytes obtida através dum método definido na interface do coobjecto. Os atributos do sistema especificam a fábrica do coobjecto — esta fábrica é usada para criar uma cópia do coobjecto a partir da sequência de bytes recebida. Nas figuras A.1 e A.2 apresentam-se, de forma simplificada, as funções usadas no protocolo de sin- cronização. O protocolo consiste numa sequência de passos executados assincronamente — em cada um dos passos um servidor processa as mensagens recebidas (usando a função receive) e envia mensagens para o seu parceiro (usando a função send). A sequência de mensagens enviadas pode ser propagada conjuntamente usando qualquer transporte, síncrono ou assíncrono. O protocolo é iniciado executando a função initBiE pidemic, em que o servidor i pede que o servidor j lhe envie, para todos os coobjectos a sincronizar, as operações desconhecidas em i (usando a opera- ção (asksync,...)). Os passos seguintes do protocolo, executados alternadamente pelos servidores j e i, consistem na execução da função stepBiE pidemic. Nesta função, um servidor processa as operações submetidas pelo parceiro, como se explicou anteriormente (i.e., enviando e/ou recebendo operações ou pedindo/recebendo o estado de um novo coobjecto). Adicionalmente, o servidor pode submeter ope- rações relativas a coobjectos não referenciados pelo parceiro. No início de cada passo do protocolo, o
A.2. SINCRONIZAÇÃO EPIDÉMICA 215 Variáveis globais para um dado volume vol U ← todos os coobjectos Del ← identificadores dos coobjectos removidos view_id ← identificador da vista actualmente instalada no servidor srv ← identificador do servidor na vista instalada memb ← coobjecto de filiação Variáveis definidas para um coobjecto o o.id ← identificador do coobjecto no volume Id_local o.l ← sumário das operações conhecidas em o o.a ← informação sobre operações conhecidas noutro servidores o.ops ← conjunto de operações conhecidas em o Variáveis usadas para identificar uma operação op op.srv ← identificador do servidor op.nseq ← número de sequência da operação Variáveis usadas durante o protocolo lastStep ← define se se está no último passo do protocolo Funções auxiliares function exists( id): boolean (1) return {o ∈ U : o.id = id} = /0 function removed( id): boolean (1) return {id0 ∈ Del : id0 = id} = /0 function getCoobject( id): coobject (1) return o ∈ U : o.id = id function unknowOps( o, l): set (1) return {op ∈ o.ops : op.nseq > l[op.srv]} function unknowMembOps( l): set (1) return {op ∈ memb.ops : op.nseq > l[op.srv] ∨ op.srv não representado em l} procedure send0( msg) (1) if NOT lastStep then send msg end if procedure updateLogged(o,l_0,l) (1) ∀ n, o.l[n] ≥ l_0[n] ⇒ o.l[n] := max(o.l[n],l[n]) procedure updateClock( o) (1) o.l[srv] := max{o.l[n] : ∀ n} procedure updateAck( o, a) // Golding (1) o.a[srv] := min{o.l[n] : ∀ n} (2) o.a[n] := max(o.a[n],a[n]), ∀ n, n = srv procedure updateAck( o, a) // Matriz (1) o.a[srv][n] := o.l[n] : ∀ n (2) o.a[m][n] := max(o.a[m][n],a[m][n]), ∀ n,m, m = srv Figura A.1: Funções básicas e informação usada no protocolo de sincronização bilateral (simplificado).
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:
Page 175 and 176:
Page 177 and 178:
10.4. OPTIMIZAÇÃO DA RECONCILIAÇ
Page 179 and 180:
10.5. EXTRACÇÃO AUTOMÁTICA DE RE
Page 181 and 182: 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 and 226: A.1. FILIAÇÃO 207 • Periodicame
Page 227 and 228: A.1. FILIAÇÃO 209 estas situaçõ
Page 229 and 230: A.1. FILIAÇÃO 211 2. Um servidor
Page 231: A.2. SINCRONIZAÇÃO EPIDÉMICA 213
Page 235 and 236: A.2. SINCRONIZAÇÃO EPIDÉMICA 217
Page 237 and 238: A.2. SINCRONIZAÇÃO EPIDÉMICA 219
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

Create successful ePaper yourself

Delete template?

Save as template?