分布式系统基础概念：一致性，共识算法，FLP不可能性原理，CAP原理，ACID原则，Paxos与Raft，拜占庭将军问题