一组命令的集合，一个事务中的所有命令都会被序列化，在事务执行过程的中，会按照顺序执行。一次性、顺序性、排他性。执行一些列的命令。

Redis单条命令是保持原子性的，但是事务不保证原子性！

redis的事务总共三步

  • 开启事务（multi）
  • 命令入队（……）
  • 执行事务（exec）

事务执行

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set name xiaohehe
QUEUED
127.0.0.1:6379(TX)> mset age 18 house 123 gender 0
QUEUED
127.0.0.1:6379(TX)> get name
QUEUED
127.0.0.1:6379(TX)> get age
QUEUED
127.0.0.1:6379(TX)> mget name age gender
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) OK
3) "xiaohehe"
4) "18"
5) 1) "xiaohehe"
   2) "18"
   3) "0"

取消事务

discard 用于取消事务，事务一旦取消，事务命令中的命令都不会执行了。

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set name xiaohehe
QUEUED
127.0.0.1:6379(TX)> mset age 18 house 123 gender 0
QUEUED
127.0.0.1:6379(TX)> get name
QUEUED
127.0.0.1:6379(TX)> get age
QUEUED
127.0.0.1:6379(TX)> mget name age gender
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) OK
3) "xiaohehe"
4) "18"
5) 1) "xiaohehe"
   2) "18"
   3) "0"

事务异常

编译型异常

代码有问题，命令有错! ，事务中所有的命令都不会被执行！

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incr age
QUEUED
127.0.0.1:6379(TX)> get age
QUEUED
127.0.0.1:6379(TX)> lpush like dancing singing running basketball
QUEUED
127.0.0.1:6379(TX)> lrange like # 语法错误
(error) ERR wrong number of arguments for 'lrange' command
127.0.0.1:6379(TX)> lrange like 0 -1
QUEUED
127.0.0.1:6379(TX)> exec
(error) EXECABORT Transaction discarded because of previous errors.

运行时异常

如果事务队列中存在语法性，那么执行命令的时候，其他命令式可以正常执行的

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> lrange like 0 -1
QUEUED
127.0.0.1:6379(TX)> linsert like after dance car
QUEUED
127.0.0.1:6379(TX)> lindex like 10
QUEUED
127.0.0.1:6379(TX)> incr name
QUEUED
127.0.0.1:6379(TX)> exec
1) (empty array)
2) (integer) 0
3) (nil)
4) (error) ERR value is not an integer or out of rang

监视

使用 watch 指令监视某一个变量。主要场景是利用 watch 实现一个乐观锁。

悲观锁︰

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

乐观锁∶

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

  • 获取 version

  • 更新的时候比较 version，如果 version 发生变化，则更新失败，否则更新成功。

正常过程

这个例子模拟了付款的过程。

127.0.0.1:6379> set money 1000
OK
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> watch money
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379(TX)> decrby money 10
QUEUED
127.0.0.1:6379(TX)> incrby out 10
QUEUED
127.0.0.1:6379(TX)> exec
1) (integer) 990
2) (integer) 10

事务执行完成，执行正常。

修改失败过程

第一个终端的操作

127.0.0.1:6379> watch money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> decrby money 20
QUEUED
127.0.0.1:6379(TX)> incrby out 20
QUEUED

此时又启动一个终端，直接修改了 money 的值。

127.0.0.1:6379> get money
"990"
127.0.0.1:6379> incrby money 30
(integer) 1020

最后回到第一个终端，执行事务，输出的结果为 nil，输出为 nil。由于 money 发生了改变，导致了这个 money 的 version 发生改变，所以该事务的操作都是无效的。

127.0.0.1:6379(TX)> exec
(nil)

由于事务执行完成，导致当前的监视已经失效，需要重新监视，重新监视的目的就是获取新的 version。

127.0.0.1:6379> UNWATCH
OK
127.0.0.1:6379> WATCH money
OK