Distributed System implementation with paxos, consensus algorithm, locking, failure detection, group view and RPCs