redis协议规范

好多年前看过redis的代码，那个时候还是2.6的版本，集群和哨兵还没加入正式代码，这几年redis发展的好快。简略翻译一篇文章redis的https://redis.io/topics/protocol

redis的客户端和服务器通过一种叫RESP (REdis Serialization Protocol)协议进行通讯。虽然他是为redis设计的协议，但是也可以用到其他的CS架构软件里。

RESP的设计主要考虑了以下几个要求：

• 容易实现
• 快速解析
• 人类可读

RESP能够序列化不同的数据类型像整型，字符串，数组。还有一种专门为错误设计的类型。从客户端发给服务器的请求是一个代表命令参数的数组。Redis返回一个该命令指定的数据类型。

RESP是二进制安全的而且从一个进程发块数据给另一个进程的时候不需要做转换，因为他会在块数据之前加上长度。

注意：这个协议只用于redis的客户端和服务器的信息交互。redis集群的node之间使用另一种二进制协议来交换信息。

网络层

redis的客户端和服务器通过6379端口建立连接。

虽然RESP是不依赖TCP协议的，但是这个协议只用在TCP连接上（或者是其他的流协议，比如unix套接字）。

请求-应答模型

 redis能够接收带各种类型参数的命令。处理收到的命令并且返回应答。这是最简单的模型，但是有两个例外：

• redis支持管道，所以客户端可能一次发送多个命令然后等待应答。
• 如果redis客户端使用了发布/订阅模式（Pub/Sub），这个协议就变成了推送协议（push protocol），也就是说客户端不用再发命令了，服务器收到相应消息的时候会自动发给客户端。

除了以上两种情况，redis协议是一个简单的请求应答协议。

RESP协议描述

RESP协议是在redis的1.2版本引入的，之后在2.0版本成为标准协议，需要在客户端实现。

RESP是一种序列化协议，支持以下类型：简单字符串（sample strings），错误（Errors），整型（integers），块字符串（bulk strings）和数组（arrays）。

在RESP里，数据类型是第一个字节决定的：

• 第一个字节是“+”代表简单字符串类型。
• 第一个字节是“-”代表错误类型。
• 第一个字节是“:”代表整型。
• 第一个字节是“$”代表块字符串。
• 第一个自己是“*”代表数组。

RESP能用一个特殊的块字符串代表NULL。RESP协议不同的部分用“ ”(CRLF)结尾。

RESP简单字符串

简单字符串用如下方法编码：一个“+”号后面跟字符串，最后是“ ”，字符串里不能包含" "。简单字符串用来传输比较短的二进制安全的字符串。例如很多redis命令执行成功会返回“OK”，用RESP编码就是5个字节：

"+OK
"

想要发送二进制安全的字符串，需要用RESP的块字符串。当redis返回了一个简单字符串的时候，客户端库需要给调用者返回“+”号（不含）之后CRLF之前（不含）的字符串。

RESP错误

RESP有一种专门为错误设计的类型。实际上错误类型很像RESP简单字符串类型，但是第一个字符是“-”。简单字符串类型和错误类型的区别是客户端把错误类型当成一个异常，错误类型包含的字符串是异常信息。格式是：

"-Error message
"

有错误发生的时候才会返回错误类型，例如你执行了一个对于某类型错误的操作，或者命令不存在等。当返回一个错误类型的时候客户端库应该发起一个异常。下面是一个错误类型的例子

-ERR unknown command 'foobar'
-WRONGTYPE Operation against a key holding the wrong kind of value

“-”号之后空格或者换行符之前的字符串代表返回的错误类型，这只是惯例，并不是RESP要求的格式。例如ERR是一般错误，WRONGTYPE是更具体的错误表示客户端的试图在错误的类型上执行某个操作。这个称为错误前缀，能让客户端更方便的识别错误类型。

客户端可能为不同的错误返回不同的异常，也可能只提供一个一般的方法来捕捉错误并提供错误名。但是不能依赖客户端提供的这些特性，因为有的客户端仅仅返回一般错误，比如false。

RESP整型

RESP只是用一个CRLF结尾的字符串代表整型，第一个自己是“:”，例如":0 "或者":1000 "是整型返回。有很多redis命令返回整型，比如INCR，LLEN和LASTSVAE。返回的整型没有特定的意义，对于INCR就是一个增长后的值，对于LASTSAVE就是一个UNIX时间戳。虽然没什么意义，但是还是给他分配了一个64位的有符号的空间。整型返回值还可以用于返回true或者false，比如命令EXISTS或者SISMEMBER会返回1来代表true，返回0来代表false。其他命令比如SADD，SREM和SETNX如果执行了会返回1，没执行就返回0。如下命令也会返回整型SETNX, DEL, EXISTS, INCR, INCRBY, DECR, DECRBY, DBSIZE, LASTSAVE, RENAMENX, MOVE, LLEN, SADD, SREM, SISMEMBER, SCARD。

RESP块字符串

块字符串用来代表二进制安全的字符从，长度可达512M。块字符串用如下方式编码：

• “$”开头，跟着数字代表字符串长度，最后是CRLF。
• 字符串。
• 最后CRLF。

所以“foobar”会编码成如下方式：

"$6
foobar
"

空字符串如下：

"$0

"

RESP块字符串还能用一个特殊的格式来表示一个不存在的值，代表NULL值。在这个特殊的格式里长度是-1，不带数据。所以NULL用如下格式表示：

"$-1
"

这个被称为空块字符串（NULL BULK STRING）。客户端库API不能返回空字符串，当服务端返回空块字符串的时候客户端需要返回nil。例如RUBY库需要返回‘nil’，C库需要返回NULL（或者在返回值里设置一个特殊的标志）。

RESP数组

redis客户端用RESP数组给服务器发命令。一些命令的返回值也是RESP数组类型，比如LRANGE。RESP数组使用如下格式：

• “*”号作为第一个字符，跟着一个数字代表元素个数，后面一个CRLF。
• 每个元素是一个RESP类型。

空数组如下：

"*0
"

包含两个块字符串“foo”，“bar”的数组如下：

"*2
$3
foo
$3
bar
"

*<count>CRLF在数组前面，其他的就是一个接一个的元素。例如三个整数组成的数组如下：

"*3
:1
:2
:3
"

数组的元素不必是同样的类型，可以是混合的，例如包含一个包含四个整数一个块字符串的数组如下：

*5

:1

:2

:3

:4

$6

foobar

服务器第一行发送*5 代表后面跟着5个元素，之后传送每一个元素。空数组是存在的，也可以用来表示空值（一般情况下用空块字符串，但是因为历史原因两种都可以用）。例如BLPOP命令超时，他会返回一个空数组，如下：

"*-1
"

当服务器返回空数组以后客户端的库API应该返回一个空对象而不是空数组，区分不同状态下的空数组是有必要的。在RESP里包含数组的数组是合法的。如下，一个数组包含两个数组

*2

*3

:1

:2

:3

*2

+Foo

-Bar

上面是一个包含三个整数的数组和一个简单字符串数组组成的数组。

包含空元素的数组

数组里的一个元素可以为空。可以用在应答里来表明这个元素丢失了。如下数组包含一个空元素：

*3

$3

foo

$-1

$3

bar

第二个元素是空，客户端库应该返回如下：

["foo",nil,"bar"]

注意这不是上一节说的异常，而是为了进一步说明RESP协议。

给REDIS服务器发命令

现在你熟悉了RESP序列化，写一个REDIS客户端库应该不难。我们来进一步说明客户端和服务器是怎样交互的：

• 客户端给服务器端发送只包含块字符串的数组。
• 服务器会给客户端发送任何合法的RESP数据类型。

一个典型的交互是下面这样的，客户端为了获取mylist链表的长度发送LLEN mylist命令给服务器，服务器返回一个整数作为应答：

C: *2

C: $4

C: LLEN

C: $6

C: mylist


S: :48293

为了清楚我们把每一部分写在了一行，实际上客户端发送的是*2 $4 LLEN $6 mylist 。

多命令和管道

如果你需要给redis服务器发命令，但是手头只有telnet工具怎么办呢？尽管redis协议是很容易实现的，但是用这种交互型的工具实现redis协议也不是理想的工具。因此redis也可以用一种特殊的方式接受人类可读的命令，称为内联格式（inline command）。如下是客户端服务器用内联格式的例子：

C: PING
S: +PONG

下面是另一个内联格式，返回一个整数：

C: EXISTS somekey
S: :0

其实就是简单的把参数用空格分开，因为命令都不是“*”开头的，redis就会检测这种形式并且解析。

redis协议的高性能解析器

略吧，这一段没什么意思。