Qu'est-ce que « Replicated state machine, primary–backup replication » ?

A replicated state machine is a deterministic program run as several copies (replicas) that apply the same sequence of inputs and therefore pass through the same states and produce the same outputs. Primary–backup replication runs one replica as the primary, whose outputs are sent, and others as backups, whose outputs are computed and discarded, ready to replace the primary.