cap理论中，redis不是根据部署情况来区分的吗：单机符合C，哨兵集群符合CA，分片集群符合PA