事务概述

事务定义

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

Redis事务的主要作用就是串联多个命令防止别的命令插队。

multi exec discard命令

从输入multi命令开始，输入的命令都会依次进入命令队列中，但不会执行，直到输入exec后，Redis会将之前的命令队列中的命令依次执行。

组队的过程中可以通过discard来放弃组队。

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> exec
1) OK
2) OK

事务的错误处理

组队过程中，某个命令出现错误，执行时整个的所有队列都会被取消

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2		# 组队时失败
(error) ERR wrong number of arguments for 'set' command
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.

执行过程中，某个命令出现错误，则只有报错的命令不会被执行，而其他的命令都会执行，不会回滚

127.0.0.1:6379> multi
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> incr k2		# 执行时会失败
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec
1) OK
2) OK
3) (error) ERR value is not an integer or out of range
4) OK

事务冲突的解决

悲伤锁

悲观锁，即每次拿数据时都认为其他人会修改数据，所以每次在拿数据的时候都会上锁，其他人想要读取这个数据必须等待，直到它拿到锁为止。

传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。

乐观锁

乐观锁，即每次拿数据时都认为其他人不会修改数据，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。

乐观锁适用于多读的应用类型，这样可以提高吞吐量。

Redis利用这种check-and-set(CAS)机制实现事务，在修改数据之前对数据库版本号和当前取到数据的版本号做出比较，若版本号不一致，则不能进行操作。

乐观锁的使用

在执行multi之前，先执行watch key1 [key2]，可以监视一个(或多个) key ，如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。

127.0.0.1:6379> watch balance	# balance=500
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> incrby balance 50	# 此时balance被其他事务修改为510
QUEUED
127.0.0.1:6379> exec
(nil)							# 500 != 510，执行失败
127.0.0.1:6379> get balance
"510"

unwatch取消watch命令对所有的key的监视。如果在执行watch之后，exec和discard命令先被执行了的话，那么就不需要再执行unwatch了

Redis事务三特性

单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
没有隔离级别的概念：队列中的命令没有提交之前都不会实际被执行
不保证原子性：事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚

Dawn's Blogs

Redis学习 (4) 事务