Achieving non-malicious arbitrary fault tolerance in Paxos through hardening techniques

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...

Descripción completa

Detalles Bibliográficos
Autor: Barbieri, Rodrigo Rocco
Tipo de documento: Tesis de maestría
Estado:Published version
Fecha de publicación:2016
País:Brasil
Institución:UFSCAR
Repositorio:Repositório Institucional da UFSCAR
Lenguaje:Portugués
OAI Identifier:oai:repositorio.ufscar.br:20.500.14289/8809
Acceso en línea:https://repositorio.ufscar.br/handle/20.500.14289/8809
Nivel de acceso:Acceso abierto
Palabra clave:Sistemas operacionais distribuídos (Computadores)
Algorítmos computacionais
Paxos
Distributed operating systems (Computers)
Computer algorithms
Fault tolerance
CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Descripción
Sumario: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.