分布式系统的基本问题：可用性与一致性(CAP)