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