Redis学习（十六）事务

redis单条命令是保存原子性的，但是事务不保证原子性。

redis事务没有隔离级别的概念。

Redis事务的本质：一组命令的集合，一个事务中的所有命令都会被序列化，在事务的执行过程中，会按照顺序执行！

特性：一次性、顺序性、排他性！执行一系列的命令！

Redis 事务可以一次执行多个命令， 并且带有以下三个重要的保证：

• 批量操作在发送 EXEC 命令前被放入队列缓存。
• 收到 EXEC 命令后进入事务执行，事务中任意命令执行失败，其余的命令依然被执行。
• 在事务执行过程，其他客户端提交的命令请求不会插入到事务执行命令序列中。

一个事务从开始到执行会经历以下三个阶段：

 

• 开始事务（MULTI）
• 命令入队。
• 执行事务(exec)/放弃事务（discard）。

---

 

实例

以下是一个事务的例子， 它先以 MULTI 开始一个事务， 然后将多个命令入队到事务中， 最后由 EXEC 命令触发事务， 一并执行事务中的所有命令：

redis 127.0.0.1:6379> MULTI
OK

redis 127.0.0.1:6379> SET book-name "Mastering C++ in 21 days"
QUEUED

redis 127.0.0.1:6379> GET book-name
QUEUED

redis 127.0.0.1:6379> SADD tag "C++" "Programming" "Mastering Series"
QUEUED

redis 127.0.0.1:6379> SMEMBERS tag
QUEUED

redis 127.0.0.1:6379> EXEC
1) OK
2) "Mastering C++ in 21 days"
3) (integer) 3
4) 1) "Mastering Series"
   2) "C++"
   3) "Programming"

单个 Redis 命令的执行是原子性的，但 Redis 没有在事务上增加任何维持原子性的机制，所以 Redis 事务的执行并不是原子性的。

事务可以理解为一个打包的批量执行脚本，但批量指令并非原子化的操作，中间某条指令的失败不会导致前面已做指令的回滚，也不会造成后续的指令不做。

这是官网上的说明 From redis docs on transactions:

It's important to note that even when a command fails, all the other commands in the queue are processed – Redis will not stop the processing of commands.

比如：

redis 127.0.0.1:7000> multi
OK
redis 127.0.0.1:7000> set a aaa
QUEUED
redis 127.0.0.1:7000> set b bbb
QUEUED
redis 127.0.0.1:7000> set c ccc
QUEUED
redis 127.0.0.1:7000> exec
1) OK
2) OK
3) OK

如果在 set b bbb 处失败，set a 已成功不会回滚，set c 还会继续执行。

---

Redis 事务命令

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

 

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

编译型错误（代码有问题，命令有错）事务中所有的命令都不会执行！

localhost:0>multi 
OK

localhost:0>set k1 v1
QUEUED

localhost:0>set k2 v2
QUEUED

localhost:0>set k3 v3
QUEUED

localhost:0>getset k3
ERR wrong number of arguments for 'getset' command

localhost:0>set k4 v4
QUEUED

localhost:0>set k5 v5
QUEUED

localhost:0>exec;
ERR unknown command `exec;`, with args beginning with: 

 

运行时异常（I/O），如果事务队列中存在语法型错误，那么执行命令的时候，其他命令是可以正常执行的，错误的命令抛出异常。

localhost:0>set k1 "v1"
OK
localhost:0>multi
OK

localhost:0>incr k1
QUEUED

localhost:0>set k2 v2
QUEUED

localhost:0>set v3 v3
QUEUED

localhost:0>exec
1) ERR value is not an integer or out of range
2) OK
3) OK
localhost:0>

 监控（watch）：

悲观锁：

很悲观，认为什么时候都会出问题，无论做什么都会加锁。

乐观锁：

很乐观，认为什么时候都不会出问题，所以不会上锁，更新数据的时候去判断一下，在此期间是否有人修改过这个数据，

1.获取version

2.更新的时候比较version

localhost:0>set money 100
OK

localhost:0>set out 0
OK

localhost:0>watch moey # 监视money对象
OK

localhost:0>multi。 # 事务正常结束，数据期间没有发生变动，这个时候就正常执行成功！
OK

localhost:0>decrby money 20
QUEUED

localhost:0>incrby out 20
QUEUED

localhost:0>exec
1) 60
2) 40

 使用多现场进行操作的时候：

1.先watch money，开启事务，执行命令

2.修改数据

3.提交事务，这时候会失败。