双写一致性
场景导入
如果现在有个数据要更新,是先删除缓存,还是先操作数据库呢?当多个线程同时进行访问数据的操作,又是什么情况呢?
以先删除缓存,再操作数据库为例
多个线程运行的正常的流程应该如下:
线程1先访问数据,它首先删除缓存,然后更新数据库。之后线程2来查询缓存,未命中后查询数据库,随后写入缓存。
也就是说,线程1负责删除缓存并更新数据库,线程2负责查询数据库并写入缓存。
但如果线程2在线程1还未更新数据库的时候,就查询数据库了,那么就会出问题。
以先操作数据库,再删除缓存为例。
正常流程应该如下:
线程2负责更新数据库并删除缓存。线程1负责查询数据库,并写入缓存。
其实也可以说
线程1负责更新数据库并删除缓存。线程2负责查询数据库,并写入缓存。
我把上面的“以先删除缓存,再操作数据库为例”搬过来了,可以对比一下。
也就是说,线程1负责删除缓存并更新数据库,线程2负责查询数据库并写入缓存。
发现就是前半部分顺序颠倒了而已。
同样的,
但如果线程1在线程2还更新数据库的时候,就查询数据库了,那么就会出问题。
我同样把上面的异常情况搬过来对比。
但如果线程2在线程1还未更新数据库的时候,就查询数据库了,那么就会出问题。
定义
当修改了数据库的数据也要同时更新缓存的数据,缓存和数据库的数据要保持一致
解决方案
能保障强一致性:延时双删、分布式锁
不能保障强一致性,只能保障最终的一致性:异步通知
延时双删(强一致性)
延时双删就是正常删除缓存、修改数据库后还要延时一会再次删除缓存。
因为从上面的场景导入,我们发现,无论是先删除缓存还是先修改数据库,都会有数据不一致,即脏数据的风险。
再次把先删除缓存,再修改数据库的异常流程图拿过来,我们发现整个流程走完后,线程1更新数据库,拿到的是正确的值。而线程2拿到的是错误的值,这时只要我们以数据库为主,删除缓存,再写入数据库的值,那么就能拿到正确的值。
此外,延时一会是因为一般数据库都是主从分离,读写分离的。延时是为了让主库有时间通知到从库,所有数据库的更新操作全部走完。
延时双删极大程度上避免了脏数据的风险,但因为有延时的存在,延时时间不好控制,所以也不能说百分百避免。
分布式锁(强一致性)
互斥锁
直接加互斥锁能保障数据的强一致性,但是性能较低。此时我们就需要优化一下互斥锁。因为存入缓存的数据,一般都是读多写少。为此我们引入两个单独的锁,分别叫共享锁和排他锁。
共享锁/读锁
共享锁,又叫读锁(readLock),加锁之后,其他线程可以共享读操作。
排他锁/独占锁
排他锁,又叫独占锁(writeLock),加锁之后,阻塞其他线程读和写操作。
混合使用的流程和代码
我们想要拿到共享锁或者排他锁,都需要先拿到读写锁。
通过固定代码可以拿到读写锁。
RReadWriteLock readWriteLock = redissonClient.getReadWriteLock("ITEM_READ_WRITE_LOCK");
随后分别拿到共享锁和排他锁。(注意两个锁需要是同一把读写锁)
RLock readLock = readWriteLock.readLock();
RLock writeLock = readWriteLock.writeLock();
读操作的代码
public void getById(Integer id){
RReadWriteLock readWriteLock = redissonClient.getReadWriteLock("ITEM_READ_WRITE_LOCK");
RLock readLock = readWriteLock.readLock();
try{
readLock.lock();
System.out.println("readLock...");
Item item = (Item) redisTemplate.opsForValue().get("item"+id);
if(item != null){
return item;
}
item = new Item(id, "华为手机", "华为手机", 5999.00);
redisTemplate.opsForValue().set("item"+id, item);
return item;
}finally{
readLock.unlock();
}
}
写操作的代码
public void updateById(Integer id){
RReadWriteLock readWriteLock = redissonClient.getReadWriteLock("ITEM_READ_WRITE_LOCK");
RLock writeLock = readWriteLock.writeLock();
try{
writeLock.lock();
System.out.println("writeLock...");
Item item = new Item(id, "华为手机", "华为手机", 5299.00);
try{
Thread.sleep(10000);
}catch(InterruptedException e){
e.printStackTrace();
}
redisTemplate.delete("item"+id);
}finally{
writeLock.unlock();
}
}
异步通知
异步通知的也有两个主流方案:MQ、Canal
canal的方案对于业务代码几乎是零侵入的。
面试回答模板
redis为缓存,mysql的数据如何与redis进行同步呢?
背熟以下回答,大概用时1min。
这个要看业务需求,如果要求数据的强一致性,那么一般使用读写锁来实现。读写锁是一种分布式锁机制,里面包括两种锁,一个叫共享锁,在读的时候添加共享锁,可以保证读读不互斥,读写互斥。一个叫排他锁,在写的时候添加排他锁,可以保证读写都互斥,避免脏数据的风险。
如果不要求数据的强一致性,那么就可以用基于MQ或者canal中间件的异步通知,来实现redis和mysql的双写一致性。
你的项目中用到了redis,那你mysql的数据如何与redis进行同步呢?
——————————————强一致性策略——————————————————
以我最近做的这个项目为例,里面有xxxx(根据自己的简历上写)的功能,需要让数据库与redis高度保持一致,因为要求时效性比较高,我们当时采用的读写锁保证的强一致性。
读写锁是一种分布式锁机制,里面包括两种锁,一个叫共享锁,在读的时候添加共享锁,可以保证读读不互斥,读写互斥。一个叫排他锁,在写的时候添加排他锁,可以保证读写都互斥,避免脏数据的风险。这里面需要注意的是读方法和写方法上需要使用同一把锁才行。
面试官:那这个排他锁是如何保证读写、读读互斥的呢?
候选人:其实排他锁底层使用也是setnx,保证了同时只能有一个线程操作锁住的方法
面试官:你听说过延时双删吗?为什么不用它呢?
候选人:延迟双删,如果是写操作,我们先把缓存中的数据删除,然后更新数据库,最后再延时删除缓存中的数据,其中这个延时多久不太好确定,在延时的过程中可能会出现脏数据,并不能保证强一致性,所以没有采用它。
——————————————非强一致性策略——————————————————
面试官:redis做为缓存,mysql的数据如何与redis进行同步呢?(双写一致性)
候选人:嗯!就说我最近做的这个项目,里面有xxxx(根据自己的简历上写)的功能,数据同步可以有一定的延时(符合大部分业务)
我们当时采用的阿里的canal组件实现数据同步:不需要更改业务代码,部署一个canal服务。canal服务把自己伪装成mysql的一个从节点,当mysql数据更新以后,canal会读取binlog数据,然后在通过canal的客户端获取到数据,更新缓存即可。