Rollup: Non-Disruptive Rolling Upgrade with Fast Consensus-Based Dynamic Reconfigurations
Zab: High-performance broadcast for primary-backup systems