一、CAP理论

C：Consistency   一致性

A：Availability  可用性

P：Partition tolerance   分区容错性

Redis主从同步是异步进行，保证主从节点的最终一致性，主从网络故障时，主节点依旧可正常对外提供服务，所以Resis满足CAP理论的可用性。像Eureka也跟redis一样，满足AP理论。（zookeeper则是满足CP理论）

二、Redis同步机制

指令流同步（增量同步）

主库中，对数据状态可能产生修改的指令都记录在内存数组中（一个定长的环形数组），从库从主库同步指令，执行并报告同步的位置（offset）。由于主库指令路数组是定长环形数组，所以达到上线后会覆盖之前的指令记录，如果从库因为网络原因同步滞后，则可能造成部分数据未同步，这种情形下，Resis提供了更为可靠的同步机制——快照同步

Redis指令流同步

快照同步（全量同步）

主节点将内存数据通过bgsave快照到磁盘文件，再将文件同步给从节点，从节点清空内存数据，全量加载快照文件进行同步，同步完成后再通知主节点进行指令流同步（增量同步）

Redis快照同步

但是这样会有一个问题，如果通过快照同步完成进行增量同步时，发现环形数组中的数据又有覆盖，则继续进行快照同步，这样容易形成死循环，这就需要根据经验设置合适的内存Buffer大小，尽量避免频繁的快照同步。

无盘同步

Redis为解决快照同步效率低问题，推出了无盘复制技术

1、主节点读取内存数据进行序列化

2、将序列化内容通过socket同步给从节点

3、从节点加载同步内容进行数据同步

无盘同步

三、两种不同的持久化进制

RDB

RDB是指在指定间隔时间将内存数据快照写入磁盘的.rdb二进制文件中，也是redis默认的持久化方式。

RDB三种触发机制

1、save：阻塞式持久化内存数据

2、bgsave：后台异步持久化

3、自动触发：redis.conf提供可配置方式

比如save 10 100表示10秒内有n次修改时，自动触发bgsave，还有其他配置。

stop-writes-on-bgsave-error：设置yes表示bgsave失败时redis停止接收数据

rdbcompression：是否压缩

rdbchecksum：持久化时是否进行数据校验

AOF

AOF是指Redis将每一条指令（这里指可能对数据状态产生变化的写指令）通过write写入到AOF文件中。为了解决aof文件越来越大问题，redis提供bgrewriteaof命令，将内存数据先写入到内存文件，再fork线程将文件重写到新的aof文件。

AOF的三种触发机制

1、always：每次修改立即写入磁盘，性能最差数据完整性最好

2、everysec：每秒将内存指令写入磁盘，可能会造成数据丢失

3、no：由操作系统决定将内存指令写入磁盘