redis

Table of Contents

1 简介

主页是http://redis.io/. redis(REmote DIctionary Server)是kv数据库,对于k来说的话允许是binary,而对于v来说的话可以支持很多数据结构。 作者的主页是http://antirez.com/, http://invece.org/. github是https://github.com/antirez/. 推荐这些的原因主要是因为作者真的是非常非常强的人。 redis的代码在2w左右,但是包含的内容非常多包括精巧的数据结构设计,主从同步,虚拟内存控制,网络服务,事务支持等等。代码使用C进行开发, 基本上没有任何封装,作者所写的代码都是用来直接解决具体问题的。针对redis从下面几个方面入手:

  • data-type.数据结构
  • command.命令
  • virtual-memory.虚拟内存
  • disk-storage.磁盘存储
  • network-server.网络服务
  • high-availability.HA

了解了上面几个方面的知识之后看代码的话会比较方便(至少是有头绪).通过如果大家想尝试redis的话甚至可以不用搭建redis server, 这里有个website可以尝试在线使用http://try.redis-db.com/. 界面和交互效果非常漂亮。另外这里有一些参考资源的汇总http://blog.nosqlfan.com/html/3537.html. 不过我觉得redis本身就不是非常复杂,所以阅读文档足够了解其功能以及大致的内部实现。

#note: redis可能是单CPU线程程序。之所以猜测这点主要是从事务以及scripting(完成事务)的实现考虑的。如果scripting需要完成事务的话, 外围是没有办法来进行log的。但是又需要保证scripting是原子操作完成的话,那么只能够是单CPU线程来实现。不过好像之前也记得同学提到过这个问题, 对于并发的话redis是通过进程来完成的。不过其实这非常现实,多线程来操作对象让每个对象上面都带上一把mutex的话,无疑会让代码更加混乱。bravo,antirez.

2 数据结构

相关资源:

redis本身是kv数据库,k来说的话支持string(not c-style string.可以支持binary).而对于v来说的话支持下面几种数据结构:

  • string.上限521M,可以从来当做bitmap使用。但是命令上支持整数操作比如INCR只要string内容本身可以被解析为整数。
  • list.提供的接口和linked-list类似,不支持遍历也没有索引,对于value只允许是string.可以push/pop/slice.
  • hash.对于kv也都必须是string,不支持遍历。
  • set.对于value只允许是string.命令上支持集合之间的并交叉运算(union/intersect/diff).
  • sorted-set.和set差不多但是对于每个value来说还有一个float number的attribute(score).这样对于value来说可以进行排序,同时针对score进行范围查询。

对于每种数据结构,redis仅仅是规定其语义但是内部实现的话却非常灵活,因为redis为了尽可能地将内容存放到内存中,针对这些数据结构实现做了内存大小优化(同时在性能上不会牺牲很多). 这里有必要提一下sorted-set实现,将score放在skip-list里面,将value放在hashtable里面。这样可以针对value进行去重和查找,同时可以针对score进行范围查询和扫描。

3 命令

Commands. http://redis.io/commands official very comprehensive.

命令包括下面几个部分:

  • key操作
  • 数据结构操作
  • pub/sub
  • transaction
  • scripting
  • connection
  • server

key操作

  • DEL key. 删除key.
  • KEYS pattern. 返回匹配pattern的所有key.
  • PEXPIRE key millseconds. 设置key的毫秒超时时间。
  • RENAMENX key newkey. 重命名key为newkey如果newkey不存在的话。这里NX(Not eXist).
  • DUMP key. 返回key所对应的object二进制表示
  • MIGRATE host port key dest-db timeout. 迁移key到另外机器的db上。
  • PEXPIREAT key millseconds-timestamp. 设置key的毫秒超时时间点。
  • RESTORE key ttl serialized-value. 其中serialized-value为DUMP产生的内容,来恢复/创建key并且设置超时时间。
  • EXISTS key. key是否存在
  • MOVE key db. 将key移到db
  • PTTL key. key剩余存活时间(in millseconds).
  • SORT key […]. key对应的value只允许是list,set和sorted-set,针对value按照不同策略进行排序。
  • EXPIRE key. 设置key的秒级超时时间。
  • OBJECT subcommand […] 查看key对应object的meta信息。
  • RANDOMKEY 从keyspace返回一个随机key.
  • TTL key. key剩余存活时间(in seconds).
  • EXPIREAT key timestamp. 设置key的秒级超时时间点。
  • PERSIST key. 取消key超时。
  • RENAME key newkey. 重命名key为newkey.
  • TYPE key. key对应object的类型。

我们这里稍微看看超时命令的实现机制。http://redis.io/commands/expire. 实现上是一个概率算法, 每隔100ms会扫描可能出现expire key的keyspace,选择其中100个出来进行检查,如果出现25个以上expire的话 那么进行重新检查否则停止等待100ms之后下一轮检查。expire内部实现是按照unix timestamp来存储的, 所以dump rdb是没有关系的。对应replication以及AOF应对expire的话,不管对于replication还是AOF 本身并不会执行expire算法,而是等待master节点发出一个DEL并且确认返回(否则非常容易出现状态不一致).


了解数据类型之后, 数据结构操作就显而易见.


Pub/Sub. http://redis.io/topics/pubsub.

redis提供了pub/sub机制可以使得应用很方便地做message queue工作。但是这种message queue是种在线方式的message queue. 如果subscribe在publish之后发起的话那么会丢掉数据。如果希望工作方式是离线的话,可以使用list来模拟message queue. 我猜想resque(http://rubygems.org/gems/resque)应该是用离线方式工作的。

  • PSUBSCRIBE pattern [pattern…] 订阅某些pattern(匹配channel)的信息
  • PUNSUBSCRIBE [pattern…] 取消某些pattern(匹配channel)的订阅
  • UNSUBSCRIBE channel [channel…] 取消订阅某些channel.
  • PUBLISH channel message 向channel发布消息
  • SUBSCRIBE channel [channel…] 订阅某些channel.

Transaction. http://redis.io/topics/transactions.

关于transaction主要是为了解决在client端发起多个操作的需求,而redis scripting功能现在也能够满足transaction功能并且实现得更加优雅。 用户可以通过向redis提交lua script到服务器端进行原子计算(如果是这样推断的话,那么可能redis是单CPU线程程序,通过进程来增加并发). 感觉redis的transaction设计得恰到好处,在实现简单和功能足够的之间达到了折衷。

  • DISCARD. 放弃事务。
  • MULTI. 发起事务。
  • WATCH key [key..]. 监控键值,通常在发起事务之前执行。WATCH机制的引入主要就是为了提供类似于CAS(check-and-set)语义,这个在文档里面介绍得很清楚。
  • EXEC. 执行之前发起的事务。
  • UNWATCH. 删除所有的监控键值。

Scripting. http://redis.io/commands/eval.

有了scripting可以通过提交lua script到redis server上面然后在服务端进行计算。同时redis保证只有一个lua interpreter在执行lua script所以可以实现事务功能。 script可以在redis server进行缓存,用户也可以强制server将script全部删除掉。对于cache住的script,用户可以通过这个script的SHA1来访问。

  • EVAL script numkeys key [key …] arg [arg …]. 执行script并且这个script会在server缓存。
  • EVALSHA sha1 numkeys key [key …] arg [arg …]. 这个和EVAL一样,但是可以通过sha1来调用已经缓存住的script.
  • SCRIPT FLUSH. 移除所有的script cache.
  • SCRIPT LOAD script. 将script放到server端进行cache但是不执行。
  • SCRIPT EXISTS scriptc [script…] 检查多个sha1 script是否存在。
  • SCRIPT KILL. 终止当前执行的script.

connection

  • AUTH password. 进行身份验证。
  • PING. 对server进行ping操作。
  • SELECT index. 其中index为数字,默认为0.使用DB index.
  • ECHO message. server做echo服务。
  • QUIT. 断开连接。断开连接之后server会将所有的pending replies都返回给client.

server

  • BGREWRITEAOF. background重写AOF,这样可以缩小日志部分。关于AOF会在磁盘存储部分说明。
  • DBSIZE. number of keys.
  • INFO. information about server.
  • SLAVEOF host port. 这台redis-server作为host/port的slave.SLAVEOF NO ONE可以让这台机器变成master.
  • BGSAVE. background进行dump保存为dump.rdb.
  • DEBUG OBJECT key. #todo:
  • LASTSAVE. 最后完成SAVE的unix timestamp.
  • SLOWLOG subcommand [argument]. 关于慢日志的控制和查询。
  • CONFIG GET parameter. 获取redis参数配置。
  • DEBUG SEGFAULT. 让redis server主动crash(SIGSEGV).
  • MONITOR. 监控到所有发送给redis server的command.通常是telnet登陆上去然后执行monitor来进行观察。
  • SYNC. 触发sync操作让slave和master进行同步。
  • CONFIG SET parameter value. 对redis进行参数配置。
  • FLUASHALL. 从所有db中删除所有的key.
  • SAVE. 前台进行dump保存为dump.rdb.
  • TIME. 当前server的unix timestamp.
  • CONFIG RESETSTAT. 重新按照INFO的配置来进行设置。(这里可以猜想INFO配置应该从配置文件来的,而没有包含动态配置修改).
  • FLUSHDB. 从当前db中删除所有的key.
  • SHUTDOWN [NOSAVE] [SAVE]. 关闭redis sever,之前可选地会进行SAVE并且flush AOF,同时断开所有的客户端连接。

4 虚拟内存

相关资源:

关于虚拟内存,redis网站的文档讲解得是非常的详细,而且似乎为了这个功能的实现作者应该也下来不少功夫。首先redis是一个kv数据库, 但是对于底层存储的话kv都表示成为redisObject存在,但是key永远不会swap出去只会将value swap出去。swap实现方面也借鉴了OS, 按照page进行swap.redis-server允许配置page size以及swap page number.对于触发swap条件是在主线程定期会判断当前占用内存大小, 如果占用内存过多的话,那么会开始将部分redisObject swap到disk上面去直到满足条件。对于这个object会扫描整个keyspace,权重按照下面公式

swappability = age*log(size_in_memory)

其中age是距离上次访问的时间,size_in_memory是一种快速计算占用内存大小的估值。每个换出的对象都会计算出序列化成为.rdb格式的大小, 实现上还是非常有意思的,实际上并没有真实地进行序列化,而是将其序列化到/dev/null文件里面然后ftell看看大小多少。得到object rdb size 之后就可以计算占用的page number.redis-server找出连续page number的文件空间,然后将这个object swap到这些块上面。至于这个swap block的 管理是通过bitmap来完成的。

对于redis来说包含两种VM机制,blocking和threaded vm.其实关系非常简单,threaded vm就是通过增加io thread然后在thread里面执行blocking vm. 文档里面作者提到了当时考虑解决blocking vm的问题,包含三种方式:

  • 将redis修改成为multi-thread工作方式。
  • 将swap io部分修改成为nonblocking方式,和io thread工作方式一样只不过这个thread是kernel thread.
  • io thread但是线程是userspace thread.这也是redis采用的方式。

threaded vm还有两个需要注意的地方。1)就是redis针对操作必须首先判断这个操作所涉及的所有的keys是否都已经在memory了,如果有一个key 依然是被swap的话,那么需要首先block这个请求,将这个请求里面放到io thread里面先将所有的key全部swap出来。但是与此同时必须防止swap线程 与此同时将这些key swap出去,所以可以先做一个标记/或者是lock方式swap out线程工作。2)一旦swap in之后的话那么通过pipe方式通知CPU线程所有 的key都已经load into memory.

There are basically three main ways to turn the blocking VM into a non blocking one. - 1: One way is obvious, and in my opionion, not a good idea at all, that is, turning Redis itself into a theaded server: if every request is served by a different thread automatically other clients don't need to wait for blocked ones. Redis is fast, exports atomic operations, has no locks, and is just 10k lines of code, because it is single threaded, so this was not an option for me. - 2: Using non-blocking I/O against the swap file. After all you can think Redis already event-loop based, why don't just handle disk I/O in a non-blocking fashion? I also discarded this possiblity because of two main reasons. One is that non blocking file operations, unlike sockets, are an incompatibility nightmare. It's not just like calling select, you need to use OS-specific things. The other problem is that the I/O is just one part of the time consumed to handle VM, another big part is the CPU used in order to encode/decode data to/from the swap file. This is I picked option three, that is… - 3: Using I/O threads, that is, a pool of threads handling the swap I/O operations. This is what the Redis VM is using, so let's detail how this works.

在进行磁盘存储比如BGSAVE或者是BGREWRITEAOF的时候,child process会得到一个parent process的内存镜像。但是注意这个内存镜像里面的一些 value可能还在swap file上面,child process需要将这些value swap in.但是如果这个时候parent process的swap out线程依然在工作的话, 那么相当于出现同时操作swap file.所以在进行BGSAVE或者是BGREWRITEAOF的时候会将parent process的swap out工作停止。

5 磁盘存储

相关资源:

当前redis磁盘存储方式有两种,一种是RDB(redis db),一种是AOF(append-only file).可以看到磁盘存储上redis并没有非常方便的查找结构, 这也和redis的初始定位有关,redis一开始定位就是内存kv数据库。

RDB相当于redis的一个checkpoint,但是存储格式是二进制。工作方式非常简单,就是当需要BGSAVE/SAVE的时候(如果是BGSAVE的话那么会fork进程出来), 然后将redis server里面所有的对象都dump成为dump.rdb文件。优势非常明显,二进制文件占用空间很少,并且只有一个文件非常容易恢复,并且磁盘 操作相对较少只有当需要SAVE时候才有(子进程dump时候父进程不会fork新的进程),但是劣势也很明显。因为dump是整个server的数据,所以非常耗时, 那么这段时间数据如果是写内存的话如果server crash的话,那么会有数据丢失。同时fork可能也非常耗时(linux下面实现是COW方式,所以时间相对还好).

AOF则类似于redo-log的工作方式,所有对于server数据的修改都会作为log记录下来,然后有几个策略来进行刷新. 1)每次写log都会进行fsync. 2)每秒都会将收集的log进行fsync. 3)不调用fsync让OS操作。不同的策略在crash情况下面会造成不同比率数据的丢失,作者推荐使用2方法。 AOF都会写到appendonly.aof文件里面,我们可以看看一个aof的example.很显然这是一个human-readable的格式(但是我没有兴趣分析其格式).

dirlt@dirlt-virtual-machine:~/utils/redis/bin$ cat appendonly.aof
*2
$6
SELECT
$1
0
*3
$5
RPUSH
$1
c
$1
e

如果system crash的话,那么我们可以拿这个AOF进行恢复。相比RDB的方式因为使用的是文本表示所以占用空间大很多,同时恢复时间因为是redo所以相对较长。

另外需要注意的一个问题是就是如果存在删除操作或者是INCR这样的update-inplace的操作的话,AOF很快就会变大。redis提供了压缩AOF的方式(从命令上来看是需要进行手动触发).压缩原理很简单, 就是保存最后的值但是依然是以AOF格式来保存的。AOF工作原理和RDB非常类似,首先fork子进程出来,然后再child process里面去产生新的AOF文件,成功之后parent process 将这段时间的AOF全部追加到新的AOF文件里面,然后将原来的AOF文件删除进行切换。

6 网络服务

相关资源:

关于网络服务不打算详细分析。

7 HA方案

相关资源:

现在redis的replication方式只有master/slave方案(one master and serveral slaves).slave可以进行级联但是不允许作为多个master的slave. (这个在SLAVEOF命令里面有说明,如果原来已经是slave如果使用SLAVEOF的话,那么就不会follow原来的master而会follow新的master,同时将原来 的数据全部discard).replication不会阻塞master也不会阻塞slave,对于master的更新都会通过异步数据的方式传递给slave节点。master如果检测到 有多个slave连接上来的话(SYNC),那么首先会做background saving然后将rdb文件传送给所有的slave,并且将这段时间的commands也传给slave. (可以通过telnet/SYNC来查看传输结果,同时也可以看到master会隔断时间发送PING来做心跳检测).

8 sentinel

http://redis.io/topics/sentinel

sentinel功能是为了解决redis在分布式使用场景中主从automatic failover的情况, 包括下面这几个功能:

  • Monitoring. Sentinel constantly check if your master and slave instances are working as expected.(监控redis node是否正常工作)
  • Notification. Sentinel can notify the system administrator, or another computer program, via an API, that something is wrong with one of the monitored Redis instances.(如果node没有正常工作那么可以通知)
  • Automatic failover. If a master is not working as expected, Sentinel can start a failover process where a slave is promoted to master, the other additional slaves are reconfigured to use the new master, and the applications using the Redis server informed about the new address to use when connecting.(如果master节点没有正常工作的话,可以选择启动新的slave来作为master,完成故障的自动恢复。自己实现了一个agreement protocol来完成选主)

#todo: 考虑到redis的代码质量比较高,对于redis的automatic failover实现机制可以好好分析并且阅读代码。

comments powered by Disqus