数据一致性-分区可用性-性能——多副本强同步数据库系统实现（转载）