MP2-replica manager of state machine Distributed System-sp2013