跳至主要內容

事务

Mr.Liu大约 5 分钟数据库NoSQLRedis

事务

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

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

命令

下表列出了 redis 事务的相关命令:

序号命令及描述
1DISCARD 取消事务,放弃执行事务块内的所有命令。
2EXEC 执行所有事务块内的命令。
3MULTI 标记一个事务块的开始。
4UNWATCH 取消 WATCH 命令对所有 key 的监视。
5WATCH key [key ...] 监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。

案例

正常执行事务

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 1
QUEUED
127.0.0.1:6379> set k2 2
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> set k3 3
QUEUED
127.0.0.1:6379> EXEC
1) OK
2) OK
3) "2"
4) OK

放弃事务

127.0.0.1:6379> get k1
"1"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 111
QUEUED
127.0.0.1:6379> DISCARD
OK
127.0.0.1:6379> get k1
"1"

全体连坐:属于在添加队列阶段就出错,因此整个事务直接失败

127.0.0.1:6379> FLUSHALL
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set k1 1
QUEUED
127.0.0.1:6379> set k2 2
QUEUED
127.0.0.1:6379> sets k3 3
(error) ERR unknown command 'sets'
127.0.0.1:6379> EXEC
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> keys *
(empty list or set)

冤头债主:属于任务队列添加成功,只是执行时有一个命令有问题,不影响其他命令执行

127.0.0.1:6379> FLUSHALL
OK
127.0.0.1:6379> set k1 a1
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCR k1
QUEUED
127.0.0.1:6379> set k2 2
QUEUED
127.0.0.1:6379> set k3 3
QUEUED
127.0.0.1:6379> EXEC
1) (error) ERR value is not an integer or out of range
2) OK
3) OK
127.0.0.1:6379> get k2
"2"

watch监控

悲观锁(Pessimistic Lock),顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁这样别人想拿这个数据就会block直到它拿到锁,传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁

乐观锁(Optimistic Lock),顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制,乐观锁适用于多读的应用类型,这样可以提高吞吐量。乐观锁策略:提交版本必领大于记录当前版本才能执行更新

1、商家账户0元,消费者账户100元,在消费者支付之前对账户进行监控,支付时,没有其他客户端操作,执行正常

127.0.0.1:6379> set business 0
OK
127.0.0.1:6379> set consumer 100
OK
127.0.0.1:6379> WATCH consumer
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCRBY business 20
QUEUED
127.0.0.1:6379> DECRBY consumer 20
QUEUED
127.0.0.1:6379> EXEC
1) (integer) 20
2) (integer) 80

2、商家账户20元,消费者账户80元,在消费者支付之前对账户进行监控,支付时,有其他客户端操作,执行错误

客户端1客户端2
127.0.0.1:6379> WATCH consumer
OK
127.0.0.1:6379> keys *
1) "consumer"
2) "business"
127.0.0.1:6379> INCRBY consumer 800
(integer) 880
127.0.0.1:6379> get consumer
"880"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCRBY business 20
QUEUED
127.0.0.1:6379> DECRBY consumer 20
QUEUED
127.0.0.1:6379> EXEC
(nil)
127.0.0.1:6379> get business
"20"
127.0.0.1:6379> get consumer
"880"

3、商家账户20元,消费者账户880元,在消费者支付之前对账户进行监控,支付时,有其他客户端操作,先取消监控,再重新监控

客户端1客户端2
127.0.0.1:6379> WATCH business consumer
OK
127.0.0.1:6379> INCRBY consumer 8
(integer) 888
127.0.0.1:6379> UNWATCH
OK
127.0.0.1:6379> WATCH business consumer
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCRBY business 20
QUEUED
127.0.0.1:6379> DECRBY consumer 20
QUEUED
127.0.0.1:6379> EXEC
1) (integer) 40
2) (integer) 868

Watch指令,类似乐观锁,事务提交时,如果Key的值已被别的客户端改变,比如某个list已被别的客户端push/pop过了,整个事务队列都不会被执行

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

小结

阶段

开启:以MULTI开始一个事务

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

执行:由EXEC命令触发事务

特性

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

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

不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚。