缓存一梭子,程序员的快乐就是这么简单

334f00459df64481d7812fe46ef1e1c9.gif

缓存也是一把梭项目的标配,从业多年,有事无事set/getCache来一梭子。

夜深人静的时候,头脑里冷不丁出现一些问题,我竟一时无法自圆其说5bbe99331328a944aee59587d31ee2ea.png

  1. 1. 已经有cpu多级缓存、操作系统page cache,那为什么还需要定义应用缓存?

  2. 2. 应用的多个副本缓存了同一份数据库数据, 怎么保证这些多副本的缓存一致性?

  3.                      9ceabc26cd5ef5e945648bc50387b996.jpeg

  1. 1. 缓存在计算机体系中的地位

  2. 2. 缓存和缓冲的区别

  3. 3. 使用缓存时的业务考量?

  • • 数据一致性要求不那么严格的场景

  • • 设计模式:惰性、直写

  1. 4. 使用缓存时的技术考量?

  • • 缓存与数据库一致性

  • • 过期策略

  • • 驱逐策略


1.缓存在计算机体系中的定位

内存层次结构[1]

  1. 1. 寄存器

  2. 2. CPU Cache(L1,L2,L3)

  3. 3. RAM (内存/主存)

  4. 4. Disk or SSD(外存/辅助存储)

7232e0076e20074f28e7fbd643af1284.png

静态体系架构

  • • 低级的缓存包含更多的存储空间,高级的缓存有更好的存取速度(低延迟)。

  • • RAM Page cache作为磁盘缓存,CPU cache是RAM的缓存, 寄存器数据来自CPU Cache。

动态逻辑流程

  • • 在搜索内存数据, 自上向下搜素(CPU、内存、磁盘),当在某层找到数据时,将在该层的较高层级保存一份副本, 以便将来可以迅速找到该内容。

    如果在CPU Cache中没找到数据,我们叫Cache miss;如果在RAM内存中没找到数据,我们叫Page miss/Page fault
  • • 根据数据传输的时间/空间局部性原理,一次传输整个块(而不是单个字节或内存字)时的数据传输效率更高 。根据这个设计:

    • • 硬盘一次只能传输一个磁盘块,而不是单个字节, 页通常是磁盘块的软件视图,磁盘块、页通常是4KB

    • • CPU缓存的数据块通常只有32B

Q:已经有cpu cache, page cache, 为什么我们还需要自定应用义程序cache。

A:不管是cpu级别的cpu cache,还是操作系统维护的page cache,都是对于最近访问数据的缓存, 不针对特定的应用程序,机制对于程序员是透明的。

程序员日常工作的背景是快速灵活的利用内存数据,而不是cpu cache/page cache仅缓存最近访问的数据块(临近32B/4KB),应用程序需要缓存的数据底层存储可能是分散的或访问频次不固定,故应用程序需要做自定义的业务缓存。


作为应用程序员,我们普遍说的Cache指的是应用程序Cache。

2. 缓存 vs 缓冲

缓存是对数据一致性要求不那么严格的一种存取技术,利用内存访问比外设访问速度快的特性, 最终目的是加快入站请求的处理速度。

缓冲是提供一块内存区域,用于入站请求频繁地写操作,之后一次性写入到底层的外设,最终目的是减轻对外设的频繁访问。

56dbb1fe57d9b8f08cb9427d0ca75489.png

3. 使用缓存的业务考量

亚马逊的缓存最佳实践[2]

  • • 使用缓存值是否安全。同一段数据在不同的上下文中可能具有不同的一致性要求。例如,在线结账期间,您需要物品的确切价格,因此不适合使用缓存,但在其他页面上,价格晚几分钟更新不会给用户带来负面影响。

  • • 对该数据而言,维持缓存是否高效?某些应用程序会生成不适合缓存的访问模式。例如,查询频繁变化的大型数据集的键空间,在这种情况下,保持缓存更新可能会抵消缓存带来的优势。

  • • 数据结构是否适合缓存?结构有无schema?or 聚合信息/独立信息?

缓存的产生的方式:

  • • 惰性缓存:仅在应用程序实际请求对象时才填充缓存

  • • 直写:缓存在数据库更新时实时更新,由特定应用程序或者后台程序更新,避免了缓存未命中,可帮助应用程序更好、更快捷地运行

对于第二个问题, 如何维护多个副本的缓存一致?
知乎经典回答:遇事先问“要不要”,而不是直接问”怎么做“,如果定位为缓存,那么本来就有可能是过期的数据; 使用直写来尽快保持一致, 要求更严格就不是缓存了,那就是分布式一致性f72eea724d9c9bbeb1f2d3c7e47a30c6.png(CAP理论,共识算法)。

4. 使用缓存的技术考量
4.1 缓存和数据库一致性
c60ad869c6b7cd77d42a799717760607.png
  1. 1. cache-aside[3] :(旁路缓存) 强调应用程序App与数据库交互, Cache组件作为旁路。

  • • 如果读取的数据没有命中缓存,则从数据库中读取数据,然后将数据写入到缓存,并且返回给用户。

  • • 更新:先更新数据库中的数据,再删除缓存中的数据。

  1. 2. read-through/write-through:(读穿/写穿) 强调App与Cache组件交互

  • • 先查询缓存中数据是否存在,如果存在则直接返回,如果不存在,则由缓存组件负责从数据库查询数据,并将结果写入到缓存组件,最后缓存组件将数据返回给应用。

  • • 更新:如果缓存中数据已经存在,则更新缓存中的数据,并且由缓存组件同步更新到数据库中,然后缓存组件告知应用程序更新完成。

旁路缓存与读/写穿缓存的差异在于 :谁来填充Database:App还是cache组件。1,2中的写缓存和写数据库的行为是贯序同步的。

  1. 3. write back:(写回)在更新数据时,只更新Cache,标记Cache是脏数据,然后立马返回;对于数据库的更新会通过批量异步更新的方式。

写回策略一般用在计算机系统中(上面的CPU Cache和文件系统的Pache Cahce)。


首先要知道缓存过期和缓存驱逐是不同的关注点, 我们以redis为例。

redis 作为内存键值对数据库, 所有的KV都是以全局字典来实现,带有过期时间的kv键值对也是维护在一个独立的字典中。

1514798c63ae9a349380d32bb1600afe.png
4.2 redis缓存过期

redis带有过期时间的KV项,并不是到期就被立即清除的, 考虑:

  • • 到期删除:每一个设置了过期时间的kv项附带一个计时器, 不消费内存,但是消耗cpu资源。

  • • 惰性删除:每次访问时,先去名单中判断该k是否需要清理,不占用cpu, 但是有可能kv项始终没人访问,造成过期的kv项内存堆积。

  • • 定期删除:每隔一段时间从带过期时间的kv字典中清理一部分。

redis以惰性删除+定期删除(默认100ms)来实现清理缓存过期KV项, 以实现cpu和mem的平衡使用。

(当然这2种策略还是会有一部分过期的kv值未能删除)

4.3 redis缓存驱逐(内存淘汰)

redis是内存键值对数据库,存储受限于内存。考虑

  • • 驱逐目的:避免无限制占用内存

  • • 驱逐时机: maxmemory : 接近或者达到这个值会触发缓存驱逐。

  • • 驱逐策略:maxmemory-policy,8种策略(4维度和2种范围的叉积的集合),默认是noeviction

https://cloud.tencent.com/developer/article/2045330

# volatile-lru -> Evict using approximated LRU among the keys with an expire set.
# allkeys-lru -> Evict any key using approximated LRU.
# volatile-lfu -> Evict using approximated LFU among the keys with an expire set.
# allkeys-lfu -> Evict any key using approximated LFU.
# volatile-random -> Remove a random key among the ones with an expire set.
# allkeys-random -> Remove a random key, any key.
# volatile-ttl -> Remove the key with the nearest expire time (minor TTL)
# noeviction -> Don't evict anything, just return an error on write operations.

分享一个与缓存有关的OOM案例:

应用定时(1min)滚动设置缓存KV项(1h),一开始使用golang bluele/gcache[4]

2.5k star 内存缓存库, 支持多种驱逐策略(LFU, LRU and ARC)。表现的像是一个固定长度的map。

func main() {
  gc := gcache.New(1000).   // 缓存项容量, 驱逐时机
    LRU().                  // 驱逐策略
    Build()
  gc.Set("key", "value")
}

注意看gcache的驱逐时机是基于缓存项容量,与内存无关
一开始缓存项容量设置的比较大,导致不容易触发gcache的KV项驱逐,实际上这个时候gcache占据的内存在滚动增长,最终应用OOM。

ac6c983a5fcbe72288e88d209acdd7db.png
  • • 案例可以通过设置较小的 缓存项容量来解决。

  • • 案例也可以切换到patrickmn/go-cache[5]缓存库来解决

    7.7k star go-cache表现就类似redis, 搭配合适的过期时间和定时清理过期项的周期(purges expired items every 10 minutes), 。
// Create a cache with a default expiration time of 5 minutes, and which
    // purges expired items every 10 minutes
    c := cache.New(5*time.Minute, 10*time.Minute)

    // Set the value of the key "foo" to "bar", with the default expiration time
    c.Set("foo", "bar", cache.DefaultExpiration)

    // Set the value of the key "baz" to 42, with no expiration time
    // (the item won't be removed until it is re-set, or removed using
    // c.Delete("baz")
    c.Set("baz", 42, cache.NoExpiration)

所以,除了SetCache(k,v)一把梭外,开发者应有更多前置心路历程:

缓存在计算机系统中的地位、缓存的适用性、缓存的使用方式、 缓存作为内存存储的过期、驱逐实践......

本文抛砖引玉,望构建更完整的缓存知识体系, 自勉。

引用链接

[1] 内存层次结构: https://course.ccs.neu.edu/cs5600/paging-caching.html
[2] 亚马逊的缓存最佳实践: https://aws.amazon.com/cn/caching/best-practices
[3] cache-aside: https://learn.microsoft.com/en-us/azure/architecture/patterns/cache-aside
[4] bluele/gcache: https://github.com/bluele/gcache
[5] patrickmn/go-cache: https://github.com/patrickmn/go-cache

全文原创,希望得到各位反馈,欢迎斧正交流, 若有更多进展,会实时更新到[左下角阅读原文]。

微信公众号又又又又又改版了

推送规则也改变了,置为星标不迷路!

9a3ff832d80659f052fb193ad5efe602.gif

  • 15
    点赞
  • 18
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

有态度的马甲

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值