Persisting stateful services with synchronization and replication