分布式系统 - CAP、BASE原理以及ACID