8 citations · 16 across the 7 of their papers we have counts for
4 papers · 1 filter
Decentralized Validation for Non-malicious Arbitrary Fault Tolerance in Paxos
Rodrigo R. Barbieri, Enrique S. dos Santos, Gustavo M. D. Vieira
Fault-tolerant distributed systems offer high reliability because even if faults in their components occur, they do not exhibit erroneous behavior. Depending on the fault model ado…
Hardened Paxos Through Consistency Validation
Rodrigo R. Barbieri, Gustavo M. D. Vieira
Due to the emergent adoption of distributed systems when building applications, demand for reliability and availability has increased. These properties can be achieved through repl…
On the Coordinator's Rule for Fast Paxos
Gustavo M. D. Vieira, Luiz E. Buzato
Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value that is consistent with all past rounds. Rounds are star…
Seamless Paxos Coordinators
Gustavo M. D. Vieira, Islene C. Garcia, Luiz E. Buzato
The Paxos algorithm requires a single correct coordinator process to operate. After a failure, the replacement of the coordinator may lead to a temporary unavailability of the appl…