详解分布式系统本质："分治" 和 "冗余"