Redis奇幻之旅(三)4. 淘汰策略

4. 淘汰策略

4.1 过期键删除

4.1.1 过期策略

​ 在《1.1 redisObject》章节中我们看到“lru:LRU_BITS”字段记录了一个24bits的时间信息,当我们给一个Key设置过期时间的时候就会在这个地方记录上时间信息,那么当这个Key过期了,它会什么时候被删除呢?

可以想到的有三种删除方案:

  • 定时删除:设置键的过期时间的同时,创建一个定时器,然后在键过期的时候触发删除操作。
  • 惰性删除:在获取键的时候,检查键是否过期,如果过期的话,执行删除操作。
  • 定期删除:每隔一段时间,检查数据库中的键是否过期,如果过期的话,执行删除操作。

而Redis考虑CPU和内存空间的平衡采用了惰性删除和定期删除。

​ 惰性删除很好理解,在每次访问到一个带有过期时间的Key时,都检查一下这个key的时间是否过期,如果过期则将这个数据删除并返回空,如果未过期则执行实际的命令流程。但是有个问题,当一个Key被访问一次后,再也不被访问了,那岂不是这个Key永远存在了Redis里?所以,除了惰性删除,Redis还加了定期删除策略,默认100ms执行一次过期检测,从设置了过期键的dict里抽出一定数据(默认20个),删除已过期的数据,如果有大于25%的数据过期,则重复执行。

​ 乍看好像定期删除这个策略毫无破绽,但是我们思考一个特殊的场景:Redis库里大量的Key都在同一个时间过期,这时调起了定期删除任务,第一次执行完之后发现超过25%的数据过期,又调起第二次定期删除任务......一直循环直到某次删除的过期数据小于25%,Redis服务器才开始执行别的任务,这对于Redis来说就很可能造成服务不可用,引发一次严重的线上事故!所以当我们在设置过期时间的时候一定要注意,避免大量Key被设置到同一时间过期,而是平滑地将Key的过期时间分布在不同的时间段内。

4.1.2 从节点的过期策略

​ Redis的从节点不会删除过期Key,只会通过主节点同步的del指令来删除这个key(主从模式下,主节点在删除过期Key时会在AOF文件中显性写入一条del命令同步给从节点)。值得注意的是,在Redis 3.2版本之前,如果一个键已经过期了,并且主节点并未删除这个数据,那么你可以在从节点继续正常访问这个Key。

​ 在Redis 3.2-rc1版本中,Redis加入了一个新特性来解决主从不一致导致读取到过期数据的问题(好吧,虽然这个新特性我们一直觉得是个bug fix),在源码db.c文件中,作者对lookupKeyReadWithFlags(读命令)做了相应的修改,增加了key是否过期以及对主从库的判断(代码如下),如果key已过期,当前访问的是master则返回null;当前访问的是从库,且执行的是只读命令也返回null(老版本从库真实的返回该操作的结果,如果该key过期后主库没有删除),源码如下:

robj *lookupKeyReadWithFlags(redisDb *db, robj *key, int flags) {
    robj *val;

    if (expireIfNeeded(db,key) == 1) {
        /* Key expired. If we are in the context of a master, expireIfNeeded()
         * returns 0 only when the key does not exist at all, so it's safe
         * to return NULL ASAP. */
        if (server.masterhost == NULL) {
            server.stat_keyspace_misses++;
            notifyKeyspaceEvent(NOTIFY_KEY_MISS, "keymiss", key, db->id);
            return NULL;
        }

        /* However if we are in the context of a slave, expireIfNeeded() will
         * not really try to expire the key, it only returns information
         * about the "logical" status of the key: key expiring is up to the
         * master in order to have a consistent view of master's data set.
         *
         * However, if the command caller is not the master, and as additional
         * safety measure, the command invoked is a read-only command, we can
         * safely return NULL here, and provide a more consistent behavior
         * to clients accessign expired values in a read-only fashion, that
         * will say the key as non existing.
         *
         * Notably this covers GETs when slaves are used to scale reads. */
        if (server.current_client &&
            server.current_client != server.master &&
            server.current_client->cmd &&
            server.current_client->cmd->flags & CMD_READONLY)
        {
            server.stat_keyspace_misses++;
            notifyKeyspaceEvent(NOTIFY_KEY_MISS, "keymiss", key, db->id);
            return NULL;
        }
    }
    val = lookupKey(db,key,flags);
    if (val == NULL) {
        server.stat_keyspace_misses++;
        notifyKeyspaceEvent(NOTIFY_KEY_MISS, "keymiss", key, db->id);
    }
    else
        server.stat_keyspace_hits++;
    return val;
}

4.2 异步删除

​ 我们常用的删除命令del,正常情况下使用这个命令我们不会有任何感知,它也会立即释放对象的内存。但是当我们del一个非常大的对象时,这时就会造成主线程卡顿,引起服务延迟。

​ 所以在Redis4.0之后,作者引入了另一个删除命令:unlink,就如这个名字一样,它实际做的事情是断开连接。就比如我们有一串葡萄,unlink做的事情就是将其中一颗摘下来。内部实现来说,unlink其实是对删除操作进行懒处理,将对象丢给后台线程来异步回收内存,这样主线程就能继续对外提供服务了。

​ 当然除了unlink命令,还有flushdb、flushall、Key的过期、LRU淘汰、rename指令过程中,也会实施回收内存,这些想要异步删除就需要额外的一些操作。

  • 手动执行flushdb/flushall时想要异步删除,需要在后面加个async
  • slave-lazy-flush:从节点接受完rdb文件后的flush操作
  • lazyfree-lazy-eviction:内存达到maxmemory时进行删除
  • lazyfree-lazy-expire key:过期删除
  • lazyfree-lazy-server-del rename:指令删除destKey

4.3 内存超出策略

​ 当实际内存超出maxmemory时,Redis 提供了几种可选策略( maxmemory-policy)来让用户自己决定该如何腾出新的空间以继续提供读写服务。

  1. noeviction:不会继续服务写请求(del 请求可以继续服务),读请求可以继续进行。这样可以保证不会丢失数据,但是会让线上的业务不能持续进行。这是默认的淘汰策略。
  2. volatile-lru:尝试淘汰设置了过期时间的key, 最少使用的key优先被淘汰。没有设置过期时间的key不会被淘汰,这样可以保证需要持久化的数据不会突然丢失。
  3. volatile-ttl:跟上面几乎一样,不过淘汰的策略不是LRU, 而是比较key的剩余寿命ttl的值,ttl 越小越优先被淘汰。
  4. volatile-random: 跟上面几乎一样, 不过淘汰的key是过期key集合中随机的key。
  5. allkeys-lru:区别于volaile-ru, 这个策略要淘汰的key对象是全体的key集合,而不只是过期的key集合。这意味着一些没有设 置过期时间的key也会被淘汰。
  6. allkeys-random:跟上面几乎样,不过淘汰的key是随机的key.

volatile-xxx策略只会针对带过期时间的key进行淘汰,allkeys-xxx策略会对所有的key进行淘汰。如果你只是拿Redis做缓存,那么应该使用allkeys-xxx策略,客户端写缓存时不必携带过期时间。如果你还想同时使用Redis的持久化功能,那就使用volatile-xxx策略,这样可以保留没有设置过期时间的key,它们是永久的key, 不会被LRU算法淘汰。

注意:Redis4.0之后,又添加了2个选项,分别是volatile-lfu和allkeys-lfu。逻辑和前面的配置几乎相同,只是将算法换成了LFU

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

推荐阅读更多精彩内容