The State Machine Approach: A Tutorial.
Abstract
The state machine approach is a general method for achieving fault tolerance and implementing decentralized control in distributed computing systems. This paper reviews the approach and identifies abstractions needed for coordinating ensembles of state machines. Implemenations of these abstractions for two different failure models--Byzantine and fail-stop--are discussed. The state machine approach is illustrated by programming several examples. Optimization and system reconfiguration techniques are explained.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 23, 1986
- Accession Number
- ADA175575
Entities
People
- Fred B. Schneider
Organizations
- Cornell University