8 citations · 16 across the 7 of their papers we have counts for
5 papers · 2 filters
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…
Quality of Service of an Asynchronous Crash-Recovery Leader Election Algorithm
Vinícius A. Reis, Gustavo M. D. Vieira
In asynchronous distributed systems it is very hard to assess if one of the processes taking part in a computation is operating correctly or has failed. To overcome this problem, d…
A Rollback in the History of Communication-Induced Checkpointing
Islene C. Garcia, Gustavo M. D. Vieira, Luiz E. Buzato
The literature on communication-induced checkpointing presents a family of protocols that use logical clocks to control whether forced checkpoints must be taken. Efficiency of thes…