Rollup: Non-Disruptive Rolling Upgrade with Fast Consensus-Based Dynamic Reconfigurations
Impossibility of distributed consensus with one faulty process