5.1.3 CAP:分布式系统的挑战