5.1 分布式系统的几个理论