分布式架构中常见理论以及如何才能设计出高可用的分布式架构?