Practical Considerations for Implementing State Machine Replication in the Cloud | Synapse