从零开始写redis客户端（deerlet-redis-client）之路——第一个纠结很久的问题，restore引发的血案
引言
正如之前的一篇博文，LZ最近正在从零开始写一个redis的客户端，主要目的是为了更加深入的了解redis，当然了，LZ也希望deerlet客户端有一天能有一席之地。在写的过程当中，LZ遇到了一个非常奇葩的问题。虽然现在看起来是一个非常低级的错误，但是在未打开这个谜底之前，着实让LZ抓耳挠腮了一番，毕竟难者不会嘛。
接下来，大家就来一起看下到底是什么问题吧。
restore命令的奇葩之处
刚开始写redis客户端时，LZ只支持了一些常用的命令，比如get，set。初次写这个客户端时，LZ采取的办法就是使用Socket和服务器进行TCP通信，传输的内容就是模拟在telnet端输入的命令。比如在telnet端使用set和get命令时，是如下的方式。
因此在写deerlet时，LZ也是模仿的这种方式。比如在往服务器发送set命令时，LZ会采取以下的方式。
if (command.name().indexOf(COMMAND_SEPARATOR) > 0) {
String[] commands = command.name().split(COMMAND_SEPARATOR);
outputStream.writeObject(commands[0]);
outputStream.writeSpace();
outputStream.writeObject(commands[1]);
} else {
outputStream.writeObject(command.name());
}
if (arguments != null) {
for (int i = 0; i < arguments.length; i++) {
outputStream.writeSpace();
outputStream.writeObject(arguments[i]);
}
}
outputStream.writeEnter();
outputStream.flush();
这段代码的逻辑很简单，也是LZ目前deerlet客户端当中统一的发送命令的方法。这段代码的逻辑如下。
1，如果命令不包含下划线（_），则直接写入命令。否则的话，将下划线分割的两个命令依次写入，中间加一个空格（'\r'），比如script_flush命令。
2，写入命令后，如果参数不为空，则循环写入参数，每个参数用空格隔开。
3，结束时，写入一个回车符（'\n'）。
所以，如果是set命令的话，假设我们设置someKey的值为value，那么这段代码写入的实际内容就是如下这个字节数组。
['s', 'e', 't', '\r', 's', 'o', 'm', 'e', 'K', 'e', 'y', '\r', '\'', 'v', 'a', 'l', 'u', 'e', '\'', '\n']
实践证明，这种方式支持很多redis的命令，比如get，set，flushall等等。这些命令，LZ的单元测试都完美通过。
但是，问题来了，当LZ试图加入restore命令的支持时，竟然不管怎样都不行。这对于初次研究redis的LZ来说，真的是一个梦魇。因为尝试了各种办法，都无法让restore的单元测试通过，而且最要命的是，因为restore命令的参数中有字节数组，因此LZ无法在telnet端进行测试。
求助于“专业人士”
LZ最后实在没办法了，只能求助于“专业人士”。只不过不同的是，这个“专业人士”并不是某一个人，而是jedis。是的，LZ去翻阅了jedis的源码。
jedis作为redis比较知名的java客户端，对于LZ来说，肯定是有一定的参考价值的。只不过为了保证deerlet是纯净的，因此LZ一开始没有去翻阅jedis的源码，避免思维受到影响，最终把deerlet写的和jedis如出一辙。
不过现在遇到了这么奇葩的问题，而且迟迟没有解决，LZ也就顾不上那么多了。在深入研究了jedis的源码之后，LZ发现jedis发送命令的核心代码是以下这段代码。
try {
write(ASTERISK_BYTE);
writeIntCrLf(args.length + 1);
write(DOLLAR_BYTE);
writeIntCrLf(command.length);
write(command);
writeCrLf();
for (final byte[] arg : args) {
write(DOLLAR_BYTE);
writeIntCrLf(arg.length);
write(arg);
writeCrLf();
}
} catch (IOException e) {
throw new RuntimeException(e);
}
同样的，假设还是set命令，同样的参数，jedis发送的数据是以下这种形式的。
*3
$3
set
$7
someKey
$5
value
以上的数据，如果转换成字节数组的话，是如下的形式。
['*', '3', '\r', '\n', '$', '3', '\r', '\n', 's', 'e', 't', '\r', '\n', '$', '7', '\r', '\n', 's', 'o', 'm', 'e', 'K', 'e', 'y', '\r', '\n', '$', '5', '\r', '\n', 'v', 'a', 'l', 'u', 'e', '\r', '\n']
LZ这里对以上的数据格式做一个简单的介绍。星号（＊）后面的3代表的是有三个参数。第一个美元符号（$）后面的3是代表的set的长度，以此类推，第四行的美元符号后面的7代表的是someKey的长度。jedis就是把这么一个字符串发送给了服务器，让LZ惊讶的是，使用这种方式去进行restore命令的操作，服务器竟然正确的返回了响应。
为什么这么一大串看似规整但又看似杂乱的命令，redis服务器会正确的返回结果呢？
从问题的本质出发
因为LZ实在想不通为什么redis会接受两种形式的命令，而且就算是redis接受，LZ也不明白为什么偏偏restore就不行。
无奈之下，LZ只好从问题的本质出发。是的，LZ去翻阅了redis的源码。为此，LZ还专门在自己的Mac上面下载了xcode，学习了一番lldb，去尝试跟踪redis的服务器代码。
经过一番折腾，LZ终于找到了根源。请看如下的代码，以下代码来自于networking.c。
void processInputBuffer(redisClient *c) {
server.current_client = c;
/* Keep processing while there is something in the input buffer */
while(sdslen(c->querybuf)) {
/* Return if clients are paused. */
if (!(c->flags & REDIS_SLAVE) && clientsArePaused()) break;
/* Immediately abort if the client is in the middle of something. */
if (c->flags & REDIS_BLOCKED) break;
/* REDIS_CLOSE_AFTER_REPLY closes the connection once the reply is
* written to the client. Make sure to not let the reply grow after
* this flag has been set (i.e. don't process more commands). */
if (c->flags & REDIS_CLOSE_AFTER_REPLY) break;
/* Determine request type when unknown. */
if (!c->reqtype) {
if (c->querybuf[0] == '*') {
c->reqtype = REDIS_REQ_MULTIBULK;
} else {
c->reqtype = REDIS_REQ_INLINE;
}
}
if (c->reqtype == REDIS_REQ_INLINE) {
if (processInlineBuffer(c) != REDIS_OK) break;
} else if (c->reqtype == REDIS_REQ_MULTIBULK) {
if (processMultibulkBuffer(c) != REDIS_OK) break;
} else {
redisPanic("Unknown request type");
}
/* Multibulk processing could see a <= 0 length. */
if (c->argc == 0) {
resetClient(c);
} else {
/* Only reset the client when the command was executed. */
if (processCommand(c) == REDIS_OK)
resetClient(c);
}
}
server.current_client = NULL;
}
请注意循环当中的一句注释“Determine request type when unknown”，处在它下面的if判断，判断了命令的开头是否是星号（＊）开头，并根据判断的结果，赋予了相应的类型——inline和multibulk。接下来，程序会根据命令的类型，分别调用相应的处理方法processInlineBuffer和processMultibulkBuffer。
知道这个以后，LZ去翻阅了redis的官方文档，找到这样一句话，是用来解释inline格式的。
Sometimes you have only telnet in your hands and you need to send a command to the Redis server. While the Redis protocol is simple
to implement it is not ideal to use in interactive sessions, and redis-cli may not always be available. For this reason Redis also
accepts commands in a special way that is designed for humans, and is called the inline command format.
这段话简单翻译过来就是：有时你可能只有telnet，并且你需要给redis服务器发送命令。redis的协议在交互式会话当中使用起来并不理想，而且redis-cli也不总是好用的。因此redis就专门为此设计了一套特殊的命令方式，称之为inline命令格式。
总的来说，这下LZ总算是彻底明白了。inline协议，也就是deerlet客户端之前所使用的协议是redis为交互式会话提供的（比如telnet），主要目的是为了操作方便。如果要想做应用之间的交互，还是要使用multibulk协议，比如jedis在发送命令时，格式就是遵循multibulk协议的。如果大家想了解更多关于resp（即redis序列化协议）的内容，可以翻阅官方文档（地址：http://www.redis.io/topics/protocol），LZ这里就不再多做介绍了，只是起到一个抛砖引玉的作用。
水落石出
知道了以上内容，就不难去测试为什么restore命令不能使用了。我们可以猜想出来，之前restore单元测试失败的原因大概是因为dump后的字节数组中包含了空格字符。为了确认我们的猜测是正确的，LZ将dump命令执行后的数组在程序中打印了出来，如下。
['', ' ', 'T', 'e', 's', 't', 'V', 'a', 'l', 'u', 'e', '', '', '(', 'B', 'ﾢ', 'ﾖ', 'ￌ', 'ﾑ', 'ￊ', '!']
可以看到，第二个字符是一个空格字符，因此在使用inline格式发送时，会导致redis服务器进行错误的解析，它会把一个参数当作两个参数去解析，最终导致参数的数量不符合命令要求。
这里也能够看出来，inline协议的好处在于方便简单，但是坏处也很明显，就是在某些情况下会导致出错，比如当传输的参数内容当中包含空格时就会导致redis解析失败。
小结
经过这一番问题的查找，可以看出，翻阅源码（如果有的话）是最有效直接的问题解决方式。LZ也建议大家，在遇到问题的时候，不要着急着百度，尝试去翻阅一下源码，这样能够帮助你对遇到的问题有一个比较深入的了解，以后再遇到的话，你将会游刃有余。
好了，本文就到此结束，感谢大家的收看，如果deerlet再遇到问题的话，LZ再来与大家一起分享，也非常欢迎有志之士为deerlet贡献源码。
