Primary-Backup Protocols: Lower Bounds and Optimal Implementations
Navin Budhiraja, Keith Marzullo, Fred B. Schneider, San Toueg · 1992
We present a formal specification of primary-backup.We then prove lower bounds on the degree of replication, failover time, and worstcase response time to client requests assuming different failure models.Finally, we outline primary-backup protocols and indicate which of our lower bounds are tight.