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

More documents

Recommendations

Info

124 CAPÍTULO 8. RESERVAS mesmo caminho de execução, mesmo que a alternativa preferida pelo utilizador seja possível. Uma aplicação pode modificar o processamento descrito usando as opções descritas na secção 7.3.2. Primeiro, é possível abortar a execução da transacção se uma condição não puder ser garantida. Segundo, é possível solicitar a execução do melhor caminho possível no servidor, independentemente do caminho garantido no cliente. A aproximação usada para garantir as instruções if pode ser igualmente usada para garantir o valor de outras condições, como por exemplo as condições especificadas nas instruções de ciclo. Resultado da execução Se um programa executa até uma instrução commit, o seu resultado é reservation commit. Neste caso, diz-se que o resultado da transacção é garantido independentemente no cliente. No entanto, dependendo das instruções que foi possível garantir, é atribuído um dos seguintes níveis de garantias: • Full (completo), se todas as instruções no caminho de execução são garantidas por reservas. Note- -se que, mesmo neste caso, é incorrecto aplicar, no servidor, o conjunto de escrita (write set) obtido aquando da execução da transacção no cliente, porque os elementos de dados fungíveis devem ser actualizados usando instruções de adição e remoção. • Read (leitura), se for possível garantir todas as instruções com excepção das instruções de escrita. Neste caso (e nos seguintes), quando a transacção móvel é executada no servidor, a execução das escritas não garantidas pode ser bloqueada por uma reserva value-change, value-lock ou slot. • Pre-condition (pré-condição), se é possível garantir todas as condições que determinam o caminho de execução. Neste caso, o sistema penas garante que a execução do programa de uma transacção seguirá o mesmo caminho de execução no servidor. • Alternative pre-condition (pré-condição alternativa), se, pelo menos, uma condição que determina o caminho de execução não foi garantida. Neste caso, a aplicação pode forçar a execução do mesmo caminho de execução ou não no servidor (como se explicou anteriormente). Como se exemplifica na secção 8.5, uma aplicação deve utilizar informação adicional (do domínio da semântica da aplicação) para interpretar o significado dos diferentes níveis de garantias. Por exemplo, os níveis de garantia completo e leitura são equivalentes se se souber que é impossível obter uma reserva que impeça a execução das instruções de escrita. Os resultados obtidos devem ser apresentados aos utilizadores utilizando esta informação adicional conhecida. Se um programa executa até uma instrução rollback, o sistema aborta a execução, desfazendo todas as modificações efectuadas. O processamento da transacção móvel prossegue no segundo passo descrito no início desta secção.
8.4. PROCESSAMENTO DAS TRANSACÇÕES MÓVEIS NO SERVIDOR 125 Quando o resultado de uma transacção é reservation commit, o cliente associa automaticamente a informação sobre a execução do programa (reservas usadas, caminho de execução e valores lidos nas instruções de leitura) com a transacção. O cliente propaga esta informação para o servidor, o qual a usa durante a execução da transacção. 8.4 Processamento das transacções móveis no servidor A execução de uma transacção móvel no servidor consiste na execução do programa da transacção móvel na base de dados central. Transacção não garantida Se o resultado da transacção não foi garantido no cliente, o código da transacção deve fazer respeitar as intenções do utilizador através da especificação de regras de detecção e tratamento de conflitos apropriadas. Durante a execução de uma transacção móvel no servidor, as escritas bloqueadas por reservas podem ser tratadas pela transacção (independentemente da transacção ter sido garantida no cliente ou não). Para tal, o código da transacção móvel deve apanhar a excepção lançada pelo gatilho que protege os elementos de dados reservados. Caso a excepção lançada não seja tratada, a transacção é abortada e as aplicações podem posteriormente verificar a causa do insucesso. As transacções abortadas podem ser reexecutadas usando o mecanismo de reexecução mencionado na secção 7.3.1. Transacção garantida Se o resultado da transacção foi garantido no cliente, o interpretador que executa o programa da transacção móvel deve executar o seguinte conjunto de acções adicionais (para que as garantias fornecidas sejam respeitadas). Antes de executar a transacção, para cada reserva usada para garantir o seu resultado no cliente, é necessário desfazer temporariamente (até à conclusão da execução da transacção) as acções que garantem o respeito por essas reservas. Dois casos especiais existem. Para uma reserva escrow é adicionado ou subtraído ao valor actual dos dados a quantidade de recursos usados na execução da transacção no cliente. Como estas reservas são parcialmente consumidas com a execução das transacções, nenhuma acção é executada no fim do processamento da transacção. Para uma reserva value-use, o valor actual dos dados é substituído pelo valor da reserva — após a execução da transacção o valor inicial é reposto. Durante a execução da transacção, para cada instrução de leitura garantida no cliente, o interpretador devolve o valor relativo ao mesmo registo lido no cliente. Assim, esta propriedade estabelece uma ordem no conjunto de resultados obtidos na execução de uma instrução de leitura. No caso de a leitura ter sido garantida por uma reserva value-use, value-change, value-lock ou slot, esta propriedade garante que o mesmo valor é obtido no cliente e no servidor.
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: 5.1. EDITOR MULTI-SÍNCRONO DE DOCU
Page 93 and 94: 5.1. EDITOR MULTI-SÍNCRONO DE DOCU
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: 8.3. 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 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 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 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 and 232:
A.2. SINCRONIZAÇÃO EPIDÉMICA 213
Page 233 and 234:
Page 235 and 236:
Page 237 and 238:
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?