Zab C++: High-performance broadcast for primary-backup systems