Publisher's Synopsis
A formal specification of primary-backup is presented. We then prove lower bounds on the degree of replication, failover time, and worst-case response time to client requests assuming different failure models. Finally, we outline primary-backup protocols and indicate which of our lower bounds are tight. Budhiraja, Navin and Marzullo, Keith and Schneider, Fred B. and Toueg, Sam Unspecified Center N00014-91-J-1219; NSF CCR-87-01103; NSF CCR-90-14363; NSF CCR-89-01780; NSF CCR-91-02231; NAG2-593...