谁说Redis不支持事务?

5,370 阅读3分钟

一、概述:

概念: 可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞。

Redis部分支持事务,不支持的是:强一致性

能干嘛: 一个队列中,一次性、顺序性、排他性的执行一系列命令

常用命令:

  • MULTI:开启一个事务,MULTI 执行之后,客户端可以继续向服务器发送任意多条命令,这些命令不会立即被执行,而是被放到一个队列中。
  • EXEC:执行队列中所有的命令
  • DISCARD:清空事务队列,并放弃执行事务
  • UNWATCH:取消 WATCH 命令对所有 key 的监视
  • WATCH key1 key2 ... :监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。

二、使用:

正常执行:

image

放弃事务:

image

全体连坐:

一个指令语法错误,注意:我说的是语法错误!,EXEC执行报错。

image

冤头债主(部分支持事务):

冤有头,债有主,对的放行,谁错找谁。这也就说明:Redis部分支持事务,对的放行,错的报错。

image

WATCH监控:先监控,后开启事务

缓存的数据,谁都可以拿,可以改,所以必须打标记来监控行为。这里涉及到锁的问题:悲观锁/乐观锁/CAS(Check And Set)

  • 悲观锁(Pessimistic Lock): 顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。
  • 乐观锁(Optimistic Lock): 顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下,在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量,
  • 乐观锁策略(常用):提交版本必须大于记录当前版本才能执行更新。这样既不影响并发性,有可以满足需求。

案例演示:信用卡和欠额

正常情况:无加塞篡改

image

有加塞篡改的情况:

image

在 WATCH 监控后,有人修改了balance,会导致事务会被打断,必须更新最新值,才能成功执行事务,类似于乐观锁的版本号机制。

事务三阶段:

1、开启:以MULTI开始一个事务

2、入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面

3、执行:由EXEC命令触发事务

事务三特性:

1、单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。

2、没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行,也就不存在”事务内的查询要看到事务里的更新,在事务外查询不能看到”这个让人万分头痛的问题

3、(重点)不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚,这也就是:Redis部分支持事务。

小结:

通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知调用者事务执行失败