互联网大厂缓存与数据库的双写一致性解决方案

简介: 互联网大厂缓存与数据库的双写一致性解决方案

用缓存,就会涉及到缓存与数据库双存储的双写,双写就一定会有数据一致性问题。


若系统不是严格要求缓存/数据库必须一致性,缓存可以稍微和数据库偶尔不一致,最好不要做双写。

读请求和写请求串行化,串到一个内存队列里去,这样就可以保证一定不会出现不一致。

串行化后,就会导致系统吞吐量骤降,就需要比正常情况下多几倍的机器去支撑线上环境请求。

Cache Aside Pattern缓存+数据库读写模式

  1. 读时,先读缓存,缓存没有,就读DB,然后取出数据后放入缓存,同时返回响应
  2. 更新时,先删缓存,再更新DB

为什么是删缓存,而不是更新缓存?

很多时候,复杂缓存场景,因为缓存有的时候,不单是DB中直接取出来的值。

比如商品详情页系统,修改库存,只是修改某表的某些字段,但要真正把影响的最终库存计算出,可能还需从其他表查询一些数据,进行一些运算,才能计出。

现在最新的库存是多少,然后才能将库存更新到缓存。


更新缓存的代价很高。

是不是每次修改DB,都必须更新对应缓存?

简单场景可以这样,但较复杂缓存数据计算场景,就不是了。


若你频繁修改一个缓存涉及的多个表,那么这个缓存会被频繁的更新,频繁的更新缓存


但问题在于,这个缓存到底会不会被频繁访问到?

比如,一个缓存涉及的表字段,在1min内就修改20次或100次,那么缓存更新20/100次;但该缓存在1min内就被读取了1次,有大量冷数据。


20%的数据,占用了80%的访问量。


若你只是删除缓存,那1min内,该缓存不过重新计算一次,开销大幅度降低。


每次请求过来,就只是删除缓存,然后修改DB,若该缓存在1min内只被访问1次,那么只有那1次缓存要被重新计算,需要用到缓存才去计算缓存。


删除缓存,而非更新缓存,也是一种惰性延迟计算思想,不要每次都重做复杂计算,不管它会不会用到,而是让它到需要被使用时再重新计算。


查询一个部门,部门带了一个员工的list,没必要每次查询部门,都把里面的1000个员工的数据也同时查出来。

80%的情况,查这个部门,就只是要访问这个部门的信息就可以了

先查部门,同时要访问里面的员工,那么这个时候只有在你要访问里面的员工的时候,才会去数据库里面查询1000个员工。

高并发场景下的缓存+数据库双写不一致

实时性比较高的数据缓存,就是库存服务。


库存可能会修改,每次修改都要去更新这个缓存数据; 每次库存的数据,在缓存中一旦过期,或者是被清理掉了,前端的nginx服务都会发送请求给库存服务,去获取相应的数据。

库存这一块,写数据库的时候,直接更新redis缓存。

数据库与缓存双写,数据不一致的问题

简单场景

  • 先修改数据库,再删除缓存
    如果缓存删除失败,那么会导致数据库是新数据,缓存是旧数据,数据不一致
  • 先删除缓存,再修改数据库
    如果删除缓存成功,修改数据库失败,那么数据库中是旧数据,缓存空,数据不会不一致。
    因为读时缓存没有,则读数据库中旧数据,然后更新到缓存。

复杂场景

数据发生变更,先删了缓存,然后要去修改DB,此时还没修改

一个请求突然过来,去读缓存,发现缓存空,转而去查询DB,查到修改前的旧数据,放入缓存。

数据变更的程序完成了数据库的修改。

结果,数据库和缓存中的数据不一致!

为什么高并发场景下,缓存会出现这问题?

只有在对一个数据在并发读写时,才可能会出现这种问题。

若每天上亿的流量,每秒几万QPS,每秒只要有数据更新请求,就可能会出现数据库+缓存不一致。

数据库 & 缓存更新与读取 异步串行化

更新数据的时候,根据数据的唯一标识,将操作路由之后,发送到一个JVM内部的队列中。


读数据的时候,如果发现数据不在缓存中,那么将重读数据+更新缓存,根据唯一标识路由之后,也发送同一个JVM内部的队列中。


一个队列对应一个工作线程。


每个工作线程串行拿到对应的操作,然后一条一条的执行。这样的话,一个数据变更的操作,先执行删除缓存,然后再更新数据库,但是还没完成更新。

此时如果一个读请求过来,读到了空缓存,则可以先将缓存更新的请求发送到队列中,此时会在队列中积压,然后同步等待缓存更新完成


一个队列中,其实多个更新缓存请求串在一起是没意义的,因此可以做过滤。如果发现队列中已经有一个更新缓存的请求了,那么就不用再放个更新请求操作进去了,直接等待前面的更新操作请求完成即可。


待那个队列对应的工作线程完成了上一个操作的数据库的修改之后,才会去执行下一个操作,也就是缓存更新的操作,此时会从数据库中读取最新的值,然后写入缓存中


  • 如果请求还在等待时间范围内,轮询发现可以取到值了,那么就直接返回
  • 如果请求等待的时间超过一定时长,那么这一次直接从数据库中读取当前的旧值

高并发场景下,该解决方案注意

读请求长时阻塞

由于读请求进行了轻度异步化,所以一定要注意读超时的问题,每个读请求必须在超时时间范围内返回


该解决方案,最大风险点在于,可能数据更新很频繁,导致队列中积压了大量更新操作,然后读请求会发生大量的超时,最后导致大量的请求直接走数据库


务必通过一些模拟真实的测试,看看更新数据的频繁是怎样的


另外一点,因为一个队列中,可能会积压针对多个数据项的更新操作,因此需要根据自己的业务情况进行测试,可能需要部署多个服务,每个服务分摊一些数据的更新操作


如果一个内存队列里居然会挤压100个商品的库存修改操作,每隔库存修改操作要耗费10ms区完成,那么最后一个商品的读请求,可能等待10 * 100 = 1000ms = 1s后,才能得到数据


这个时候就导致读请求的长时阻塞


一定要做根据实际业务系统的运行情况,去进行一些压力测试,和模拟线上环境,去看看最繁忙的时候,内存队列可能会挤压多少更新操作,可能会导致最后一个更新操作对应的读请求,会hang多少时间,如果读请求在200ms返回,如果你计算过后,哪怕是最繁忙的时候,积压10个更新操作,最多等待200ms,那还可以的


如果一个内存队列可能积压的更新操作特别多,那么你就要加机器,让每个机器上部署的服务实例处理更少的数据,那么每个内存队列中积压的更新操作就会越少


其实根据之前的项目经验,一般来说数据的写频率是很低的,因此实际上正常来说,在队列中积压的更新操作应该是很少的


针对读高并发,读缓存架构的项目,一般写请求相对读来说,是非常非常少的,每秒的QPS能到几百就不错了


一秒,500的写操作,5份,每200ms,就100个写操作


单机器,20个内存队列,每个内存队列,可能就积压5个写操作,每个写操作性能测试后,一般在20ms左右就完成


那么针对每个内存队列中的数据的读请求,也就最多hang一会儿,200ms以内肯定能返回了


写QPS扩大10倍,但是经过刚才的测算,就知道,单机支撑写QPS几百没问题,那么就扩容机器,扩容10倍的机器,10台机器,每个机器20个队列,200个队列


大部分的情况下,应该是这样的,大量的读请求过来,都是直接走缓存取到数据的


少量情况下,可能遇到读跟数据更新冲突的情况,如上所述,那么此时更新操作如果先入队列,之后可能会瞬间来了对这个数据大量的读请求,但是因为做了去重的优化,所以也就一个更新缓存的操作跟在它后面


等数据更新完了,读请求触发的缓存更新操作也完成,然后临时等待的读请求全部可以读到缓存中的数据


(2)读请求并发量过高

这里还必须做好压力测试,确保恰巧碰上上述情况的时候,还有一个风险,就是突然间大量读请求会在几十毫秒的延时hang在服务上,看服务能不能抗的住,需要多少机器才能抗住最大的极限情况的峰值


但是因为并不是所有的数据都在同一时间更新,缓存也不会同一时间失效,所以每次可能也就是少数数据的缓存失效了,然后那些数据对应的读请求过来,并发量应该也不会特别大


按1:99的比例计算读和写的请求,每秒5万的读QPS,可能只有500次更新操作


如果一秒有500的写QPS,那么要测算好,可能写操作影响的数据有500条,这500条数据在缓存中失效后,可能导致多少读请求,发送读请求到库存服务来,要求更新缓存


一般来说,1:1,1:2,1:3,每秒钟有1000个读请求,会hang在库存服务上,每个读请求最多hang多少时间,200ms就会返回


在同一时间最多hang住的可能也就是单机200个读请求,同时hang住


单机hang200个读请求,还是ok的

1:20,每秒更新500条数据,这500秒数据对应的读请求,会有20 * 500 = 1万

1万个读请求全部hang在库存服务上,就死定了

(3)多服务实例部署的请求路由

可能这个服务部署了多个实例,那么必须保证说,执行数据更新操作,以及执行缓存更新操作的请求,都通过nginx服务器路由到相同的服务实例上

(4)热点商品的路由问题,导致请求的倾斜

万一某个商品的读写请求特别高,全部打到相同的机器的相同的队列里面去了,可能造成某台机器的压力过大

就是说,因为只有在商品数据更新的时候才会清空缓存,然后才会导致读写并发,所以更新频率不是太高的话,这个问题的影响并不是特别大,但是的确可能某些机器的负载会高一些。

目录
相关文章
|
15天前
|
消息中间件 缓存 数据库
如何保证缓存与数据库的数据一致性?
如何保证缓存与数据库的数据一致性?
30 5
|
4天前
|
缓存 监控 数据库
分布式系统中缓存穿透问题与解决方案
在分布式系统中,缓存技术被广泛应用以提高系统性能和响应速度。然而,缓存穿透是一个常见而严重的问题,特别是在面对大规模请求时。本文将深入探讨缓存穿透的原因、影响以及一些有效的解决方案,以确保系统在面对这一问题时能够保持稳定和高效。
30 13
|
7天前
|
存储 运维 Kubernetes
多态关联在数据库设计中的应用和解决方案
多态关联在数据库设计中的应用和解决方案
16 0
|
9天前
|
缓存 NoSQL 搜索推荐
Redis缓存雪崩穿透等解决方案
本文讨论了缓存使用中的三个问题:缓存穿透、缓存击穿和缓存雪崩。为解决这些问题,提出了相应策略。对于缓存穿透,建议数据校验和缓存空值;缓存击穿可采用监控扩容、服务限流或加锁机制;缓存雪崩则需避免大量缓存同时过期,可设置随机过期时间。此外,文章还介绍了Spring Boot中Redis缓存配置,包括全局设置及自定义缓存过期时间的方法。
|
9天前
|
消息中间件 缓存 关系型数据库
数据库和缓存如何保证一致性?
数据库和缓存如何保证一致性?
|
10天前
|
缓存 NoSQL PHP
【PHP 开发专栏】Redis 作为 PHP 缓存的解决方案
【4月更文挑战第30天】本文探讨了Redis作为PHP缓存的优势,如高性能、丰富数据结构、数据持久化和分布式支持。通过安装配置Redis、选择PHP客户端、执行读写操作及制定缓存策略实现缓存。应用场景包括页面、数据和会话缓存。但需注意数据一致性、过期时间、容量和安全问题,以确保应用稳定和安全。Redis能有效提升PHP应用响应速度和处理能力。
|
14天前
|
缓存 NoSQL Redis
深度解析Redis的缓存双写一致性
【4月更文挑战第20天】
37 1
|
14天前
|
存储 缓存 NoSQL
Redis入门到通关之解决Redis缓存一致性问题
Redis入门到通关之解决Redis缓存一致性问题
28 0
|
15天前
|
缓存 NoSQL 关系型数据库
在Python Web开发过程中:数据库与缓存,MySQL和NoSQL数据库的主要差异是什么?
MySQL与NoSQL的主要区别在于数据结构、查询语言和可扩展性。MySQL是关系型数据库,依赖预定义的数据表结构,使用SQL进行复杂查询,适合垂直扩展。而NoSQL提供灵活的存储方式(如JSON、哈希表),无统一查询语言,支持横向扩展,适用于处理大规模、非结构化数据和高并发场景。选择哪种取决于应用需求、数据模型及扩展策略。
26 0
|
15天前
|
SQL 缓存 数据库
在Python Web开发过程中:数据库与缓存,如何使用ORM(例如Django ORM)执行查询并优化查询性能?
在Python Web开发中,使用ORM如Django ORM能简化数据库操作。为了优化查询性能,可以:选择合适索引,避免N+1查询(利用`select_related`和`prefetch_related`),批量读取数据(`iterator()`),使用缓存,分页查询,适时使用原生SQL,优化数据库配置,定期优化数据库并监控性能。这些策略能提升响应速度和用户体验。
17 0