Viewstamped replication: a general primary copy | Synapse