Redis原理

主要介绍多路复用、RESP协议、持久化、管道、事务等原理。

多路复用

Redis是单线程程序，支持高并发，谨慎使用时间复杂度O(n)的指令。

事件轮询

客户端对服务端的每次调用都经历了发送命令，执行命令，返回结果三个过程。其中执行命令阶段，由于Redis是单线程来处理命令的，所有到达服务端的命令都不会立刻执行，借助操作系统提供的事件轮询API来快速将所有的命令放入一个队列中，然后逐个执行。

事件轮询API有select、epoll、kqueue

Redis协议：RESP

RESP是Redis序列化协议(Redis Serialization Protocol)的简写。它将传输的结构数据分为5种最小单元类型，单元结束时统一加上回车换行符号\r\n。

1. 单行字符串以“+”符号开头。+hello world\r\n
2. 多行字符串以“$”符号开头，后跟字符串长度。 $11\r\nhello world\r\n
3. 整数值以“:”符号开头，后跟整数的字符串形式。:1024\r\n
4. 错误消息以“-”符号开头。-WRONGTYPE Operation against a key holding the wrong kind of value\r\n
5. 数组以“*”号开头，后跟数组的长度。*3\r\n:1\r\n:2\r\n:3\r\n
6. NULL。 $-1\r\n
7. 空串。 $0\r\n\r\n

客户端->服务端

客户端向服务端发送的指令只有一种“多行字符串数组”的格式。

• 命令：set author codehole

*3\r\n$3\r\nset\r\n$6\r\nauthor\r\n$8\r\ncodehol\r\n

// 格式化
*3
$3
set
$6
author
$8
codehole

服务端->客户端

服务端向客户端回复的响应要支持多种数据结构，所以消息响应在结构上要复杂不少。不过都是以上5种基本类型的组合。

持久化

RDB

Redis是单线程，所以在持久化时会调用glibcd的fork函数产生一个子进程。

配置

以下为默认配置，可以自行调整

# 表示15分钟（900秒钟）内至少1个键被更改则进行快照。
save 900 1

# 表示5分钟（300秒）内至少10个键被更改则进行快照。
save 300 10

# 表示1分钟（60秒）内至少10000个键被更改则进行快照。
save 60 10000

# RDB快照文件的位置默认在bin下面的dump.rdb
# 文件名
dbfilename dump.rdb

# 快照路径
dir ./

# yes代表当使用bgsave命令持久化出错时候停止写RDB快照文件,no表明忽略错误继续写文件。
stop-write-on-bgsave-error yes 

#在写入文件和读取文件时是否开启rdb文件检查，检查是否有无损坏，如果在启动是检查发现损坏，则停止启动。
rdbchecksum yes

工作机制

1. 根据配置尝试去生成快照文件
2. 从进程中fork一个子进程，父进程使用COW机制，复制一份数据进行修改，子进程只要遍历数据进行持久化
3. 快照文件的生成之后，就替换旧的快照文件

AOF

配置

# 开启AOF
appendonly yes

# AOF 文件名称，默认是： appendonly.aof
appendfilename appendonly.aof

# 路径，和rdb同一个参数
dir ./

#aof持久化策略的配置
#no表示不执行fsync，由操作系统保证数据同步到磁盘，速度最快。默认30s一次
#always表示每次写入都执行fsync，以保证数据同步到磁盘。
#everysec表示每秒执行一次fsync，可能会导致丢失这1s数据。
appendfsync everysec 

# aof自动重写配置。
# 当目前aof文件大小超过上一次重写的aof文件大小的百分之多少进行重写。
# 当前AOF文件大小是上次日志重写得到AOF文件大小的二倍（设置为100）时，自动启动新的日志重写过程。
auto-aof-rewrite-percentage 100

# 设置允许重写的最小aof文件大小，避免了达到约定百分比但尺寸仍然很小的情况还要重写
auto-aof-rewrite-min-size 64mb

工作机制

在收到客户端的修改指令后，进行参数校验和逻辑处理，没问题后存在日志中。再利用fsync将内容从内核缓存刷到磁盘。

混合模式

因为RDB数据不完整，AOF加载满，所以redis4.0开始支持混合模式。该模式先加载RDB的内容，然后再重放增量的AOF日志，代替之前的AOF全量文件重放，大幅提升重启效率。

配置

# 启用混合模式
aof-use-rdb-preamble true

管道

事务

• multi：表示开始事务
• exec：表示执行事务
• discard：表示丢弃事务

Redis的事务不具备原子性，而是满足事务的隔离性。当前执行的事务有着不被其它事务打断的权利。

watch

PubSub