针对当前大多数Paxos实现和分布式业务处理实现之间存在耦合度高、关系复杂、不易分析等缺点,设计一种轻量级Paxos系统。在分析分布式一致性实践中存在问题的基础上,提出选主和成员变更算法,制定了保序准则,并给出两种优化措施。实验结果表明,该设计能够满足进一步研究和应用的需求。