《Redis设计与实现》4.独立功能的实现
一、发布与订阅
通过PUBLISH发布、SUBSCRIBE订阅、PSUBSCRIBE模式订阅组成。
1.频道订阅与退订
-
虚线为新增订阅，如果channel已经存在，则直接添加到对应链表尾端，如果不存在，则现在pubsub_channels中添加新channel，然后添加节点。
-
与订阅相反，退订时如果去掉该客户端节点后，channel没有其他订阅者，则将该channel从pubsub_channels中删除。
2.模式订阅与退订
在redisServer中存在一个链表pubsub_patterns，存放模式订阅，如下图
-
订阅时，生成一个pubsubPattern结构，包含模式pattern与客户端client，将该节点添加到pubsub_patterns链表的尾部
-
退订时，从链表中删除节点
3.发布消息：从pubsub_channels中找出对应的channel订阅链表，发送消息；找出pubsub_patterns中匹配的模式，发送消息。
二、事务
1.通过MULTI、EXEC、WATCH实现
-
MULTI：开启事务，标记客户端为事务状态。客户端在非事务状态时，命令会立即执行；当在事务状态时，EXEC、DISCARD、WATCH、MULTI会被立即执行，而其他命令则会放入事务队列，并返回QUEUED。
-
事务队列：FIFO队列，将命令封装成multiCmd，包含参数argv、参数个数argc、命令指针cmd。
-
EXEC：服务器收到EXEC，执行事务队列命令，并将客户端恢复到非事务状态，返回执行结果。
-
WATCH：是一个乐观锁，执行EXEC时判断监视的key是否被修改过，修改过则拒绝执行。通过修改客户端的REDIS_DIRTY_CAS标识。watched_keys队列保存了监视的key，以及客户端列表。
2.事务的ACID
-
原子性：要么都执行，要么都不执行，不存在回滚。
-
一致性：一致性是指符合数据库本身的定义和要求，不存在非法或者无效的错误数据。入队错误拒绝执行事务；执行错误不中断，继续执行之后命令；服务器停机AOF、RDB恢复。
-
隔离性：redis单线程，符合隔离性。
-
持久性：内存模式，不具备持久性；RDB模式，会丢失部分数据，不具备持久性；AOF模式下，appendfsync设置为always时，具备持久性；AOF模式appendfsync设置为everysec或no，会丢失部分数据，不具备持久性。
-
no-appendfsync-on-rewrite设置为no，在做bgrewriteaof时，正常的AOF操作不会停止，会产生I/O阻塞；设置为yes时，正常的AOF只会写入缓冲区，从而不会产生I/O阻塞，但同时也不具有耐久性。
三、Lua脚本
四、排序
五、二进制位图
六、慢查询日志
slowlog-log0-shower-than：指定实行时间超过多少微秒的命令记录到日志。
slowlog-max-len：最多记录多少条慢查询日志。
SHOWLOG_GET：查看慢查询日志。
SHOWLOG_RESET：重置慢查询日志。
七、监视器
MONITOR：将客户端设置为监视器，可以收到服务器当前处理的命令相关信息。