a strong consistency synchronization framework based on paxos algorithm