Redis源码分析之请求处理过程

本篇我们来看一下Redis命令的执行过程,入口是networking.c的processCommandAndResetClient方法。

int processCommandAndResetClient(client *c) {
    int deadclient = 0;
    server.current_client = c;
    if (processCommand(c) == C_OK) {
        commandProcessed(c);
    }
    if (server.current_client == NULL) deadclient = 1;
    server.current_client = NULL;
    return deadclient ? C_ERR : C_OK;
}

先看processCommand:

processCommand比较长,我们提取关键的部分解析:

  1. moduleCallCommandFilters(c);
    

    将命令交给加载了的模块(或者叫插件)的CommandFilter做前置处理,插件可以修改命令,比如插件可以做前置处理把set xxx x修改为set x xxx。

  2. if (!strcasecmp(c->argv[0]->ptr,"quit")) {
        addReply(c,shared.ok);
        c->flags |= CLIENT_CLOSE_AFTER_REPLY;
        return C_ERR;
    }
    

    处理quit命令。

  3. c->cmd = c->lastcmd = lookupCommand(c->argv[0]->ptr);
    

    查找命令表,找到命令处理函数。命令包含插件调用RM_CreateCommand注册的命令,和Redis本身的命令。Redis本身的命令表位于server.c下的redisCommandTable,所有命令都可以在https://redis.io/commands找到,主要分为以下几类:

    1. 模块相关命令,如module list、module load等。
    2. 普通键操作类,如get、set、incr、stralgo等。
    3. 位图相关操作类,如getbit、setbit等。
    4. 列表键操作类,如lpush、lpop等。
    5. 集合键操作类,如sadd、srem等。
    6. 有序集合键操作类,如zadd、zrem等。
    7. 哈希表键相关操作类,如hget、hset等。
    8. 数据库相关操作类,如select、swapdb、move、flushall等。
    9. 日志相关操作类,如save、bgsave、bgrewriteaof等。
    10. 事务相关操作类,如multi、exec、watch、discard等。
    11. 同步相关操作类,如slaveof、sync、psync等。
    12. 调试相关操作类,如debug object、script debug、slowlog、latency等。
    13. 配置相关操作类,如config get、config set、replconf等。
    14. 发布订阅相关操作类,如subscribe、unsubscribe、publish等。
    15. 脚本相关操作类,如eval、evalsha等。
    16. 地理位置相关操作类,如geoadd、georadius、geohash等。
    17. HyperLogLog相关操作类,如pfadd、pfcount、pfmerge等。
    18. 消息队列(Stream)相关操作类,如xadd、xread、xgroup、xack等。
  4. int is_write_command = (c->cmd->flags & CMD_WRITE) || (c->cmd->proc == execCommand && (c->mstate.cmd_flags & CMD_WRITE));
    int is_denyoom_command = (c->cmd->flags & CMD_DENYOOM) || (c->cmd->proc == execCommand && (c->mstate.cmd_flags & CMD_DENYOOM));
    int is_denystale_command = !(c->cmd->flags & CMD_STALE) || (c->cmd->proc == execCommand && (c->mstate.cmd_inv_flags & CMD_STALE));
    int is_denyloading_command = !(c->cmd->flags & CMD_LOADING) || (c->cmd->proc == execCommand && (c->mstate.cmd_inv_flags & CMD_LOADING));
    

    提取命令的相关执行特性标志,is_denyoom_command代表服务器内存超过最大值是不能执行命令,is_denystale_command代表master宕机时不能执行命令,is_denyloading_command代表服务器加载日志期间不能执行命令。is_write_command在磁盘没有空间或没有足够多的slave或当前节点是只读的slave时不能执行。

  5. 检查是否需要认证。

  6. 检查ACL。

  7. 集群模式下,如果键不在本节点上,返回键所在节点的地址,让客户端去键所在的节点请求数据。

  8. lua脚本超时时,只能执行指定的部分命令。

  9. if (c->flags & CLIENT_MULTI && c->cmd->proc != execCommand && c->cmd->proc != discardCommand && c->cmd->proc != multiCommand && c->cmd->proc != watchCommand)
    {
        queueMultiCommand(c);
        addReply(c,shared.queued);
    } else {
        call(c,CMD_CALL_FULL);
        c->woff = server.master_repl_offset;
        if (listLength(server.ready_keys))
            handleClientsBlockedOnKeys();
    }
    

    如果客户端在一个事务上下文下,将请求入队,等待exec的时候一起执行,否则调用call执行命令。

接下来看call函数的逻辑:

  1. if (listLength(server.monitors) && !server.loading && !(c->cmd->flags & (CMD_SKIP_MONITOR|CMD_ADMIN)))
    {
        replicationFeedMonitors(c,server.monitors,c->db->id,c->argv,c->argc);
    }
    

    将命令发给执行了monitor命令的客户端。

  2. c->cmd->proc(c);
    

    调用命令的处理函数。

  3. if (flags & CMD_CALL_SLOWLOG && !(c->cmd->flags & CMD_SKIP_SLOWLOG)) {
        char *latency_event = (c->cmd->flags & CMD_FAST) ? "fast-command" : "command";
        latencyAddSampleIfNeeded(latency_event,duration/1000);
        slowlogPushEntryIfNeeded(c,c->argv,c->argc,duration);
    }
    

    记录latency和slowlog,slowlog只记录客户端命令,latency除了客户端命令还记录fork和删除过期键等消耗的时间,可以认为latency是slowlog的超集。

  4. if (flags & CMD_CALL_PROPAGATE && (c->flags & CLIENT_PREVENT_PROP) != CLIENT_PREVENT_PROP)
    {
        int propagate_flags = PROPAGATE_NONE;
        if (dirty) propagate_flags |= (PROPAGATE_AOF|PROPAGATE_REPL);
        if (c->flags & CLIENT_FORCE_REPL) propagate_flags |= PROPAGATE_REPL;
        if (c->flags & CLIENT_FORCE_AOF) propagate_flags |= PROPAGATE_AOF;
        if (c->flags & CLIENT_PREVENT_REPL_PROP || !(flags & CMD_CALL_PROPAGATE_REPL))
                propagate_flags &= ~PROPAGATE_REPL;
        if (c->flags & CLIENT_PREVENT_AOF_PROP || !(flags & CMD_CALL_PROPAGATE_AOF))
                propagate_flags &= ~PROPAGATE_AOF;
        if (propagate_flags != PROPAGATE_NONE && !(c->cmd->flags & CMD_MODULE))
            propagate(c->cmd,c->db->id,c->argv,c->argc,propagate_flags);
    }
    

    传播命令,包括写入AOF日志缓冲区和发送命令给slave。

  5. if (server.also_propagate.numops) {
        int j;
        redisOp *rop;
        if (flags & CMD_CALL_PROPAGATE) {
            int multi_emitted = 0;
            if (server.also_propagate.numops > 1 && !(c->cmd->flags & CMD_MODULE) && !(c->flags & CLIENT_MULTI) && !(flags & CMD_CALL_NOWRAP))
            {
                execCommandPropagateMulti(c);
                multi_emitted = 1;
            }
            for (j = 0; j < server.also_propagate.numops; j++) {
                rop = &server.also_propagate.ops[j];
                int target = rop->target;
                if (!(flags&CMD_CALL_PROPAGATE_AOF)) target &= ~PROPAGATE_AOF;
                if (!(flags&CMD_CALL_PROPAGATE_REPL)) target &= ~PROPAGATE_REPL;
                if (target)
                    propagate(rop->cmd,rop->dbid,rop->argv,rop->argc,target);
            }
            if (multi_emitted) {
                execCommandPropagateExec(c);
            }
        }
        redisOpArrayFree(&server.also_propagate);
    }
    

    传播alsoPropagate,alsoPropagate是一种机制,使得命令可以自己决定自己被执行后需要传播哪些命令。以spop为例,spop会随机弹出集合中的n个元素,这样的随机命令要是被传播,会导致数据不一致现象的出现。为了解决这样的问题,alsoPropagate出现了,在alsoPropagate的情况下,spop不传播spop命令本身,而是传播几条srem命令。

  6. if (c->cmd->flags & CMD_READONLY) {
        client *caller = (c->flags & CLIENT_LUA && server.lua_caller) ? server.lua_caller : c;
        if (caller->flags & CLIENT_TRACKING && !(caller->flags & CLIENT_TRACKING_BCAST))
        {
            trackingRememberKeys(caller);
        }
    }
    

    更新TrackingTable,Tracking是一个新特性,它可以通知key被修改的事件。如果我们打开了Tracking,然后执行了get a读取了a的值,那么在a的值被修改后,当前客户端或者说连接会收到一个相关的事件,事件实际上由signalModifiedKey(set、del等修改key的命令会调用该方法)触发。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 201,468评论 5 473
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 84,620评论 2 377
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 148,427评论 0 334
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,160评论 1 272
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,197评论 5 363
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,334评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,775评论 3 393
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,444评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,628评论 1 295
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,459评论 2 317
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,508评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,210评论 3 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,767评论 3 303
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,850评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,076评论 1 258
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,627评论 2 348
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,196评论 2 341

推荐阅读更多精彩内容