dc.contributor.author | Barbieri, Rodrigo Rocco | |
dc.date.accessioned | 2017-06-01T17:23:13Z | |
dc.date.available | 2017-06-01T17:23:13Z | |
dc.date.issued | 2016-08-04 | |
dc.identifier.citation | BARBIERI, Rodrigo Rocco. Achieving non-malicious arbitrary fault tolerance in Paxos through hardening techniques. 2016. Dissertação (Mestrado em Ciência da Computação) – Universidade Federal de São Carlos, Sorocaba, 2016. Disponível em: https://repositorio.ufscar.br/handle/ufscar/8809. | * |
dc.identifier.uri | https://repositorio.ufscar.br/handle/ufscar/8809 | |
dc.description.abstract | Due to the widespread adoption of distributed systems when building applications, demand for reliability and availability has increased. These properties can be achieved through replication techniques using algorithms that must be capable of tolerating faults. Certain faults such as arbitrary faults, however, may be more difficult to tolerate, resulting in more complex and resource intensive algorithms that end up being not very practical to use. Using an existing benign fault-tolerant middleware based on Paxos, we propose and experiment with the usage of consistency validation techniques and a distributed validation mechanism to harden it, thus allowing any application built on top of this hardened middleware to tolerate non-malicious arbitrary faults. | eng |
dc.description.sponsorship | Não recebi financiamento | por |
dc.language.iso | por | por |
dc.publisher | Universidade Federal de São Carlos | por |
dc.rights.uri | Acesso aberto | por |
dc.subject | Sistemas operacionais distribuídos (Computadores) | por |
dc.subject | Distributed operating systems (Computers) | eng |
dc.subject | Algorítmos computacionais | por |
dc.subject | Computer algorithms | eng |
dc.subject | Fault tolerance | eng |
dc.subject | Paxos | por |
dc.title | Achieving non-malicious arbitrary fault tolerance in Paxos through hardening techniques | eng |
dc.type | Dissertação | por |
dc.contributor.advisor1 | Vieira, Gustavo Maciel Dias | |
dc.contributor.advisor1Lattes | http://lattes.cnpq.br/9020007815886406 | por |
dc.description.resumo | Devido a crescente adoção de sistemas distribuídos ao se desenvolver aplicações, a demanda por confiabilidade e disponibilidade tem aumentado. Essas propriedades podem ser alcançadas através de técnicas de replicação que utilizam algoritmos capazes de tolerar falhas. Alguns tipos de falhas como falhas arbitrárias, porém, podem ser mais difíceis de tolerar, resultando em algoritmos mais complexos e custosos que acabam não sendo tão viáveis de serem usados. Utilizando um middleware tolerante a falhas benignas já existente baseado em Paxos, nós propomos e experimentamos o uso de técnicas de validação de consistência e um mecanismo de validação distribuída para fortalecê-lo, permitindo então que qualquer aplicação desenvolvida em cima deste middleware fortalecido tolere falhas arbitrárias não-maliciosas. | por |
dc.publisher.initials | UFSCar | por |
dc.publisher.program | Programa de Pós-Graduação em Ciência da Computação - PPGCC-So | por |
dc.subject.cnpq | CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO | por |
dc.ufscar.embargo | Online | por |
dc.publisher.address | Câmpus Sorocaba | por |
dc.contributor.authorlattes | http://lattes.cnpq.br/9446450974583992 | por |