10 citations · 33 across the 11 of their papers we have counts for
11 papers
Design and Reliability of a User Space Write-Ahead Log in Rust
Vitor K. F. Pellegatti, Gustavo M. D. Vieira
Write-ahead logs (WALs) are a fundamental fault-tolerance technique found in many areas of computer science. WALs must be reliable while maintaining high performance, because all o…
Characterizing Synchronous Writes in Stable Memory Devices
William B. Mingardi, Gustavo M. D. Vieira
Distributed algorithms that operate in the fail-recovery model rely on the state stored in stable memory to guarantee the irreversibility of operations even in the presence of fail…
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…
UEFI BIOS Accessibility for the Visually Impaired
Rafael R. Machado, Gustavo M. D. Vieira
People with some kind of disability face a high level of difficulty for everyday tasks because, in many cases, accessibility was not considered necessary when the task or process w…
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…
Transparent Replication Using Metaprogramming in Cyan
Fellipe A. Ugliara, Gustavo M. D. Vieira, José de O. Guimarães
Replication can be used to increase the availability of a service by creating many operational copies of its data called replicas. Active replication is a form of replication that…
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…
The Performance of Paxos and Fast Paxos
Gustavo M. D. Vieira, Luiz E. Buzato
Paxos and Fast Paxos are optimal consensus algorithms that are simple and elegant, while suitable for efficient implementation. In this paper, we compare the performance of both al…