分布式系统

待补充：CAP 理论、一致性协议（Paxos/Raft）、分布式事务、共识算法等。