paxos是要说细节么还是只要说个大概