分布式系统（一）分布式一致性：CAP理论