1. 什么是Redis事务
提到事务,我们可能马上会想到传统的关系型数据库中的事务,客户端首先向服务器发送BEGIN开启事务,然后执行读写操作,最后用户发送 COMMIT 或者 ROLLBACK 来提交或者回滚之前的操作。
但是Redis中的事务与关系型数据库是不一样的,Redis 通过 MULTI 命令开始,之后输入一连串的操作,最终以 EXEC 结束,在这之间输入的所有的命令都会在 EXEC 之后一起发给Redis执行，所以在这之间用户无法通过读取到的结果做处理。
这与关系型数据库的事务是由很大的不同的。Redis会在执行完成之后返回一组执行结果。Redis中并没有回滚的操作,这一点会在后面说到。
Redis的这种延迟执行事务会有助于提升性能，客户端会在收到EXEC命令之后再将这一系列的命令一起发给Redis,然后等待Redis的回复，这种一次性发送多条指令，然后等待回复 的做法称为流水线（pipeline）模式，它可以通过减少客户端与服务端之间的网络通信次数来提高Redis执行命令的性能
Redis通过以下两点保证事务：
- 事务中的所有命令都序列化并按顺序执行，在执行事务的过程中，不会去执行其它客户端的命令，保证命令作为单个隔离操作进行。
- 要么处理所有命令，要么不处理，保证原子性，如果开启了AOF,Redis 会使用单个write命令将事务写入文件中，如果因为某些原因导致AOF写入被截断，在重启redis时会报错，使用
redis-check-aof工具可以修复这个错误（删除掉这个事务相关的命令），保证redis能够重新启动。
2. Redis 事务操作
2.1 事务相关命令说明
命令详情参见：https://www.redis.net.cn/order/
2.2 执行事务举例
1）正常执行
2）放弃事务
3）执行期间出现异常指令
若在事务队列中存在命令性错误（类似于java编译性错误），则执行EXEC命令时，所有命令都不会执行
4）语法异常
若在事务队列中存在语法性错误（类似于java的1/0的运行时异常），则执行EXEC命令时，其他正确命令会被执行，错误命令抛出异常。
2.3 使用watch监视key
严格的说Redis的命令是原子性的，而事务是非原子性的，我们要让Redis事务完全具有事务回滚的能力，需要借助于命令WATCH来实现。
Redis 使用watch命令来决定事务是继续执行还是回滚，那就需要在mulit 之前使用watch来监视某些键值对，然后使用mulit 命令来开启事务，执行对数据结构的各种命令，此时这些命令入队列。
当使用exec执行事务时，首先会比对watch所监视的键值对，
- 如果没有发生变化，它会执行事务队列中的命令，提交事务
- 如果发生变化，将不会执行事务中的任何命令，同时事务回滚
当然无论是否回滚，redis都会取消执行事务前的watch命令
2.4 监视key案例
1）案例一：使用watch检测balance，事务期间balance数据未变动，事务执行成功
2）使用watch检测balance，在开启事务后（标注1处），在新窗口执行标注2中的操作，更改balance的值，模拟其他客户端在事务执行期间更改watch监控的数据，然后再执行标注1后命令，执行EXEC后，事务未成功执行。
一但执行 EXEC 开启事务的执行后，无论事务使用是否执行成功， WARCH 对变量的监控都将被取消。
故当事务执行失败后，需重新执行WATCH命令对变量进行监控，并开启新的事务进行操作。
3. 常见面试题及解析
3.1 为什么Redis不支持事务回滚？
多数事务失败是由语法错误或者数据结构类型错误导致的。语法错误说明在命令入队前就进行检测的，而类型错误是在执行时检测的.
Redis为提升性能，而采用这种简单的事务，这是不同于关系型数据库的，特别需要注意。
- EXEC执行事务中的所有命令：必须与MULTI命令成对使用
- Redis并没有用典型的加锁功能来解决key的竞争问题,主要原因是出于性能的考虑。
回顾一下关系型数据库中的事务,在访问以写入为目的的数据时,数据库会对被访问的数据加锁,直到提交或回滚之后才释放锁,如果此时另一个客户端也这部分数据进行写入操作,客户端将会被阻塞,直到上一个事务结束。
这种加锁的方式称为悲观锁,它的缺点在于持有锁的客户端持有锁的时间越长,其它客户端被阻塞的时间就越长。
Redis为了减少客户端等待的时间,并不会在执行WATCH 命令后对数据进行加锁,而是如果有其他客户端抢先修改了数据的情况下通知执行了 WATCH 的客户端,这种做法叫做乐观锁。我们只需在客户端执行事务失败之后进行重试的逻辑即可。
4. 总结
watch指令类似于乐观锁，在事务提交时，如果watch监控的多个KEY中任何KEY的值已经被其他客户端更改，则使用EXEC执行事务时，事务队列将不会被执行，同时返回Nullmulti-bulk应答以通知调用者事务执行失败。
