Primary-Backup Protocols: Lower Bounds and Optimal Implementations
Abstract
We present a formal specification of primary-backup. 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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 30, 1992
- Accession Number
- ADA245746
Entities
People
- Fred B. Schneider
- Keith Marzullo
- Navin Budhiraja
- San Toueg
Organizations
- Cornell University