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

More documents

Recommendations

Info

142 Anais apresentando anteriormente, há uma alternativa de complexidade O(n 2,376 ). Obtemos resultados similares para as transformadas MDCT/IMDCT, como apresentado na Figura 2(b). O percentual de acréscimo no tempo total de execução obtido foi de ∼ 30% para 128 ≤ n ≤ 2048. Como discutido anteriormente, o cálculo do cosseno demanda ∼ 60% do tempo total de execução, o que faz que a técnica de fingerprinting tenha gasto de tempo percentual linear com o aumento de n. Isso é explicado pelo fato de as Equações 6 e 7 operarem sobre vetores. Assim, o custo de execução aumenta quadraticamente em relação a n, não cubicamente como em Huffman. 5.2.3. Desempenho de Fingerprinting e de Duplicação com Comparação Mensuramos o acréscimo em tempo de execução de Duplicação com Comparação (DwC) relativamente a fingerprinting. Em ambas as técnicas, injetamos um elemento errôneo em cada matriz computada pelos algoritmos, sendo necessário corrigir esse elemento. Para DwC, calculou-se duas vezes a função, comparou-se seus valores de retorno e, se diferentes, computou-se essa função pela terceira vez. A Figura 3 apresenta os resultados. Devido à alta influência das operações de matrizes no tempo total de execução de Huffman, DwC é muito inferior em relação a desempenho quando comparado a Freivalds, como pode ser observado na Figura 3(a). Quando 16 ≤ n ≤ 64, o acréscimo no tempo de execução incorrido por DwC é ∼ 200%, podendo alcançar até 300% para n ≥ 128 quando comparado proporcionalmente a fingerprinting. Apesar do alto acréscimo no tempo total de execução ao se proteger as transformadas MDCT/IMDCT com DwC, esse permaneceu constante com o acréscimo em tamanho do problema, como pode ser visto na Figura 3(b). O acréscimo oscilou entre 200% e 250% do tempo total de execução relativamente a fingerprinting, o que nos mostra a superioridade da técnica de fingerprinting em termos de desempenho, dando suporte à abordagem proposta neste trabalho. 5.2.4. Análise do Tamanho Total de Programa Mensuramos o acréscimo em tamanho de programa imposto pelo uso de matrizes e de Freivalds. Para tal, codificamos Huffman em C e o compilamos com o gcc com a opção de otimização de código -O3, tendo como alvo a arquitetura x86. Para mensurar o tamanho de cada função codificada, criamos um arquivo .c para cada função compondo cada algoritmo, e utilizamos a ferramenta do Unix size para contar o tamanho em bytes de cada função. A Tabela 1 apresenta os resultados para Huffman. A biblioteca de matrizes causou o acréscimo mais significativo em tamanho de programa, tanto para a versão protegida quanto para a desprotegida (27% e 37%, respectivamente). A biblioteca de Freivalds incorre em aumento de somente 8% em tamanho de programa. Note que o tamanho em bytes de cada função das bibliotecas é constante, independente do tamanho da aplicação. Assim, se a aplicação fosse maior, os tamanhos das bibliotecas seriam eficientemente amortizados. Na realidade, a biblioteca de Freivalds foi codificada com somente 246 bytes, sendo perfeitamente implementável em qualquer sistema embarcado com fortes
XI Workshop de Testes e Tolerância a Falhas 143 Tabela 1. Impacto das Operações sobre Matrizes e da Técnica de Freivalds em Tamanho de Programa para Huffman Função Nome Tamanho (bytes) % do tamanho total a Main 132 4% (6%) Huffman Protegido 1838 61% (n/a) Huffman Desprotegido 1249 n/a (57%) Tamanho Total de Biblioteca Nome Tamanho (bytes) % do tamanho total a Biblioteca de Matrizes 806 27% (37%) Biblioteca de Freivalds 248 8% (n/a) Versão Tamanho Total de Programa Huffman Protegido 3024 Huffman Desprotegido 2187 Tamanho (bytes) a % da versão protegida (% da versão desprotegida). restrições de recursos, seja ele crítico ou não. O incremento em tamanho de programa obedece a mesma tendência (pois as bibliotecas possuem tamanho constante independentemente do algoritmo que as utilizem) para qualquer algoritmo e é corroborado pelos resultados das transformadas MDCT/IMDCT. 6. Conclusões e Trabalhos Futuros Neste artigo, propusemos descrever programas completamente com matrizes e realizar a correção e a detecção de falhas transitórias utilizando a técnica de Freivalds. Utilizamos Huffman e as transformadas MDCT/IMDCT completamente escritos com operações sobre matrizes, mensuramos os tempos de execução e calculamos a porcentagem das operações sobre matrizes no tempo de execução. Mostramos que as operações sobre matrizes são um componente importante nesses estudos de caso (sendo a maioria em Huffman), demonstrando a importância e a adequação da abordagem proposta para a realização de tolerância a falhas em nível de sistema. No caso de Huffman, a implementação baseada em matrizes não é a mais comum, a qual é baseada em programação procedural sobre árvores. Essa implementação com matrizes é orientada a fluxo de dados, permitindo a aplicação da técnica de Freivalds de maneira extremamente eficiente para a proteção contra falhas transitórias. Isso é claramente benéfico, dado que a proteção de aplicações orientadas a controle utilizando a análise estática e de criticidade das variáveis é consideravelmente menos eficiente que Freivalds, como discutido nos trabalhos relacionados. Demonstramos que o acréscimo no tempo de execução incorrido devido a Freivalds decresce com o aumento do tamanho do problema para Huffman, sendo de 5% quando n = 256. No caso das transformadas MDCT/IMDCT, como as operações sobre
Page 1 and 2:
XXVIII Simpósio Brasileiro de Rede
Page 3 and 4:
XI Workshop de Testes e Tolerância
Page 5 and 6:
Page 7 and 8:
Page 9 and 10:
Page 11 and 12:
Page 13:
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 22 and 23:
10 Anais cada partição síncrona,
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:
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: XI Workshop de Testes e Tolerância
Page 153: XI Workshop de Testes e Tolerância
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?