Lendo dados temporais de forma consistente em Broadcast Disks José Flávio M. V. Júnior Baseado no artigo: Reading Temporally Consistent Data in Broadcast.

Apresentação em tema: "Lendo dados temporais de forma consistente em Broadcast Disks José Flávio M. V. Júnior Baseado no artigo: Reading Temporally Consistent Data in Broadcast."— Transcrição da apresentação:

1 Lendo dados temporais de forma consistente em Broadcast Disks José Flávio M. V. Júnior Baseado no artigo: Reading Temporally Consistent Data in Broadcast Disks, Victor C. S. Lee, Joseph K. Ng, Jo Y. P. Chong, Kwork-Wa Lam

2 Sumário Introdução Conceitos relacionados Protocolos de controle de concorrência Protocolo BCC-TI Variações do Protocolo BCC-TI Experimentos Resultados Conclusões

3 Introdução Muitas aplicações para dispositivos móveis possuem restrições de tempo para transações e dados Informações sobre bolsa de valores Condições do tempo Tráfego nas estradas Os dados podem se tornar inválidos com o passar do tempo; Para refletir o estado atual do mundo real, os dados devem ser periodicamente atualizados.

4 Introdução Transações devem ler dados temporais consistentes a fim de produzir resultados corretos; Os dados devem estar suficientemente atualizados; As transações devem ser completadas em tempo hábil;

5 Introdução Em ambiente de broadcast é mais difícil manter a consistência dos dados; pode levar tempo para as versões mais recentes dos dados alcançarem os clientes; dificulta a confirmação das transações a validade dos dados expiram; Protocolos especias foram desenvolvidos;

6 Conceitos relacionados Broadcast Disks Uma abordagem cliente-servidor para ambientes móveis; Explora a vantagem de largura de banda do servidor para transmitir dados para múltiplos clientes através de difusão; Continuamente e repetidamente transmite dados para os clientes; O canal utilizado para broadcast se torna um disco em que os clientes podem recuperar dados enquanto se movem;

7 Conceitos relacionados Broadcast Disks

8 Conceitos relacionados Dado temporal Dado temporal possui informação temporal associada a cada nova versão É atualizado periodicamente para refletir o estado atual do mundo real Dado não temporal não existe nenhuma restrição sobre o tempo Pode ser escrito aperiodicamente

9 Conceitos relacionados Consistência Temporal O valor atual de um item de dado do ambiente deve ser próximo o bastante do valor armazenado no banco de dados; Mecanismos para verificação de consistência temporal baseados em: rótulo de tempo (timestamp): indica o tempo quando o valor do dado foi gravado; controle de versão (versioning): a idade e dispersão da idade dos dados; intervalo de validade absoluta (avi): por quanto tempo o valor do dado é válido;

10 Protocolos de controle de concorrência A consistência do banco de dados pode ser violada quando ele é acessado concorrentemente; Abordagem comum baseada em locking é impraticável Requer comunicação bi-direcional; Sobrecarga de requisições de lock.

11 Protocolos de controle de concorrência Optimistic concurrency control (OCC) Evita o reinicio das transações pelo atraso na resolução de conflitos; Transações podem executar até o ponto de commit; Elevado consumo de largura de banda dos clientes ; Possui variantes (OCC-BC, OCC-FC, OCC-TI, entre outras).

12 Protocolos de controle de concorrência Optimistic concurrency control with broadcast commit (OCC-BC); As transações podem ser processadas sem espera na fase de leitura; Somente o conjunto de operações de escrita é verificado; Quando uma transação é confirmada, uma verificação é executada frente as outras transações ativas para determinar se houve conflitos;

13 Protocolos de controle de concorrência OCC-BC Se uma transação Ti ativa leu dados escritos pela transação em validação, Ti é reiniciada; As transações de somente leitura (ROT) não precisam ser verificadas; As ROTs podem fazer commit de forma independente; Sofre com o reinicio tardio das ROT;

14 Protocolos de controle de concorrência Datacycle Ler todos os dados em um único ciclo; Durante a execução das transações de leitura o stream é escaneado; É muito caro em termos de conexão.

15 Protocolo BCC-TI Broadcast concurrency control using timestamp interval (BCC-TI); Oferecer autonomia entre clientes móveis e servidores; Leitura de dados consistentes sem contatar o servidor; Reduzir o número de reinícios desnecessários das transações.

16 Protocolo BCC-TI A idéia básica: Ajustar dinâmicamente a posição (ordem de serialização) das ROTs; Intervalo de tempo (timestamp) é associado a cada ROT; O conflito de dados é verificado pelo fechamento do intervalo;

17 Protocolo BCC-TI Do lado do servidor: Armazena informações das transações de atualização; Possui uma estrutura de dados chamada control information table (CIT); A CIT é transmitida periodicamente pelo servidor, junto com os dados; O tamanho das informações de controle é proporcional ao número de itens de dado atualizados no último ciclo.

18 Protocolo BCC-TI Do lado do servidor: Para todo objeto de dado d o servidor armazena junto o último timestamp de gravação WTS(d); Registra na CIT o timestamp TS(U) quando a transação é confirmada; As operações de escrita WS(U) também são armazenadas na CIT;

19 Protocolo BCC-TI Do lado do cliente: Quando ele inicia uma ROT um intervalo de tempo é associado; Limite inferior (LB) e limite superior (UB); O intervalo é ajustado para induzir a ordem serial das transações de leitura (ROT) e de atualização (WT). A CIT e o WTS(d) são utilizados;

20 Protocolo BCC-TI Ajustando o intervalo de tempo de uma transação ROT O cliente lê a tabela de controle (CIT) 1. UB(Q) = min i ( TS(U i ), UB(Q) ) 2. Se LB(Q) >= UB(Q) a transação é reiniciada; Quando a transação Q ler o objeto de dado d os seguintes passos são executados: 1. LB(Q) = max( LB(Q), WTS(d) ) 2. Se LB(Q) >= UB(Q) a transação é reiniciada;

21 Protocolo BCC-TI Primeiro ciclo de transmissão Y X Z WTS(x) = 3 WTS(y) = 3 RS(Q) = {x, y, z} WTS(z) = 3 WS(U) = {}

22 Protocolo BCC-TI Segundo ciclo de transmissão Y X Z WTS(x) = 5 WTS(y) = 3 WTS(z) = 5 RS(Q) = {x, y, z} WS(U) = {x, z}

23 Protocolo BCC-TI Apenas um tipo de conflito pode acontecer entre ROT e WT WS(U) ∩ RS(Q) != {} A ordem de serialização deve ser Q → U

24 Protocolo BCC-TI O custo desses benefícios manter e fazer broadcast da CIT; gerenciamento de intervalo de tempo; pode ser feito através de uma tabela de transações nos clientes

25 Variações do Protocolo BCC-TI BCC-TI com controle de versão (Versioning) Objetos de dados temporais são tratados de forma diferente; Um número de versão é associado ao objeto de dado temporal; Utiliza limiar absoluto e relativo para definir a consistência temporal dos dados;

26 Variações do Protocolo BCC-TI BCC-TI com controle de versão (Versioning) Consistência absoluta: a t (x) = 0), onde A é o limiar absoluto Consistência relativa: Dada sobre a dispersão temporal dos dados: d t (x, y) = | a t (x) - a t (y) | d t (x, y) = 0), onde R é o limiar relativo

27 Variações do Protocolo BCC-TI BCC-TI com intervalo de tempo válido (TVI) objetos de dados temporais são tratados de forma diferente; um intervalo de tempo é associado ao objeto de dado temporal (data deadline); se o deadline do dado for perdido uma inconsistência temporal é detectada e a transação é reiniciada;

28 Experimentos Os seguintes protocolos foram analisados Datacycle Puro BCC-TI BCC-TI Versioning 0 BCC-TI Versioning 1 BCC-TI Versioning 2 BCC-TI TVI

29 Experimentos

30 300 objetos de dados sendo 30 dados temporais Cada objeto de dado possui igual chance de ser acessado;

31 Experimentos Avaliação do desempenho Os principais números avaliados: miss rate: % de transações que perderam seus deadlines restart rate: número médio reinicio de transações transaction response time: tempo decorrido do início até o final da transação

32 Resultados Gráfico 1: Taxa de perda de transações Gráfico 2: Média de reinício de transações P V0 V1 V2 TVI D P V0 V1 V2 TVI D

33 Resultados Gráfico 3: Tempo de resposta Gráfico 4: Taxa de reinício por inconsistência nos dados P V0 V1 V2 TVI D P V0 V1 V2 TVI

34 Resultados Gráfico 5: Taxa de reinício por inconsistência temporal V0 V1 V2 TVI

35 Conclusões O ajuste dinâmico reduz significativamente o número de reinícios das transações; Em particular, o desempenho desses protocolos melhoram quanto menos severa é a restrição temporal; Os requisitos de consistência temporal e a semântica dos dados podem melhorar o desempenho do sistema;

36 Bibliografia Victor C. S. Lee, Joseph K. Ng, Jo Y. P. Chong, Kwork-Wa Lam: “Reading temporally consistent data in broadcast disks”, 2004. Victor C. S. Lee, Kwok-Wa Lam, and Sang H. Son. “Concurrency control using timestamp ordering in broadcast environments”. The Computer Journal, 2002. Sanjay Kumar Madria and Mukesh Mohania. “Mobile data and transaction management”. Inf. Sci. Inf. Comput. Sci., 2002. Swarup Acharya, Rafael Alonso, Michael Franklin, and Stanley Zdonik. "Broadcast Disks : Data Management for Asymmetric Communication Environments"