Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T15:32:39Z (GMT). No. of bitstreams: 1
240531.pdf: 1093650 bytes, checksum: ef430f683f0d7629c04d7c621f0ecd3a (MD5) / A manutenção da disponibilidade e da integridade das informações é um requisito fundamental em sistemas de armazenamento de dados. Muitos destes sistemas devem manter estas propriedades mesmo em face à ocorrência de faltas acidentais ou intencionais (maliciosas), sendo que estas últimas são particularmente preocupantes uma vez que se originam de ataques bem sucedidos que levam a intrusões no sistema de armazenamento. A fim de prover armazenamento que tolere faltas acidentais e maliciosas, podemos considerar que o sistema está sujeito a faltas bizantinas (a classe mais abrangente de faltas) e, então, empregar
técnicas de tolerância a faltas bizantinas em sua concretização. Duas abordagens podem ser utilizadas para implementar sistemas de armazenamento tolerantes a faltas bizantinas: a Replicação Máquina de Estados e os Sistemas de Quóruns Bizantinos. Sistemas de Quóruns Bizantinos (BQS) têm sido apresentados como uma boa abordagem para se construir armazenamento confiável distribuído, havendo muitas propostas para sua implementa\-ção. Escolher a melhor abordagem que satisfaça os requisitos de um ambiente de execução esperado exige uma avaliação minuciosa, que compreende o uso de ferramentas adequadas para modelagem e prototipação tanto do sistema de quóruns como do seu ambiente de execução. Apesar da boa quantidade de trabalhos sobre algoritmos de BQS, não existe uma ferramenta apropriada que viabilize um ambiente de testes para facilmente realizar tal tarefa de análise; ademais, não existem trabalhos que contemplem comparações e discussões entre os algoritmos propostos. Esta dissertação tem como objetivo principal a implementação de um arcabouço de avaliação de algoritmos de Sistemas de Quóruns Bizantinos, denominado BQSNeko. Para mostrar como este arcabouço pode ser usado para avaliação desta classe de algoritmos, o presente trabalho ainda apresenta e analisa casos de experimentos envolvendo algoritmos de BQS usando o próprio BQSNeko, sobretudo em um ambiente de rede local. Estas análises, ao mesmo tempo em que comprovam a utilidade do BQSNeko, servem como meio para discussão e um melhor entendimento dos algoritmos experimentados.
Availability and consistency are essencial requirements of data storage systems. Most of such systems must maintain reliable and safe storage despite arbitrary faults (accidental or malicious faults). Malicious faults are particulary most critical than arbitrary ones since successful atacks may appear and cause intrusions on the storage system. In these scenario of faults it is tipical to considerate systems subjected to Byzantine Faults (a broader class of faults) and to employ techniques of byzantine fault-tolerance. Two techniques can be used for implementing data storage systems with byzantine fault tolerate: the Replication State-Machine and the Byzantine Quorum Systems. Byzantine Quorum Systems (BQS) have been presented like a good choice to build reliable distributed storage systems, existing many approaches for implementing them. Choosing the best approach that satisfies the requirements of an expected execution environment requires a careful evaluation which involves the use of adequate tools for modeling and prototyping both the Byzantine quorum system and its associated environment. However, to the best of our knowledge, there is no tool in which these task of analysis can be easily perfomed. In addiction there is no work that presents comparisons or that discusses the existing algorithms. This dissertation mainly aims to present BQSNeko, an useful framework for evaluating algorithms for Byzantine Quorum Systems. To show how BQSNeko can be used for evaluating Byzantine quorum protocols, it will be described results of some experiments envolving algorithms for BQS using the BQSNeko, especially as an execution environment of local network is regarded. At the moment such analyses show how useful the BQSNeko is, they enable also discussions and a better understanding of the experimented algorithms.
| Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufsc.br:123456789/88981 |
| Date | January 2006 |
| Creators | Dantas, Wagner Saback |
| Contributors | Universidade Federal de Santa Catarina, Fraga, Joni da Silva |
| Publisher | Florianópolis, SC |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | xv, 105 f.| tabs., grafs. |
| Source | reponame:Repositório Institucional da UFSC, instname:Universidade Federal de Santa Catarina, instacron:UFSC |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds