Redis事务的概念：
|
1 2 |
Redis 事务的本质是一组命令的集合。事务支持一次执行多个命令，一个事务中所有命令都会被序列化。在事务执行过程，会按照顺序串行化执行队列中的命令，其他客户端提交的命令请求不会插入到事务执行命令序列中。 redis事务就是一次性、顺序性、排他性的执行一个队列中的一系列命令。 |
Redis事务没有隔离级别的概念：
|
1 2 |
批量操作在发送 EXEC 命令前被放入队列缓存，并不会被实际执行，也就不存在事务内的查询要看到事务里的更新，事务外查询不能看到。 |
Redis不保证原子性：
|
1 2 |
Redis中，单条命令是原子性执行的，但事务不保证原子性，且没有回滚。事务中任意命令执行失败，其余的命令仍会被执行。 |
Redis事务的三个阶段：
开始事务
命令入队
执行事务
Redis事务相关命令：
|
1 2 3 4 5 6 |
watch key1 key2 ... : 监视一或多个key,如果在事务执行之前，被监视的key被其他命令改动，则事务被打断 （ 类似乐观锁 ） multi : 标记一个事务块的开始（ queued ） exec : 执行所有事务块的命令 （ 一旦执行exec后，之前加的监控锁都会被取消掉 ） discard : 取消事务，放弃事务块中的所有命令 unwatch : 取消watch对所有key的监控 |
Redis事务使用案例：
正常执行
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
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> get k2 QUEUED 127.0.0.1:6379> set k3 v3 QUEUED 127.0.0.1:6379> EXEC #执行事务 1) OK 2) OK 3) "v2" 4) OK |
放弃事务
|
1 2 3 4 5 6 7 8 9 10 11 |
127.0.0.1:6379> MULTI #开启事务 OK 127.0.0.1:6379> set k4 v4 QUEUED 127.0.0.1:6379> DISCARD #取消事务 OK 127.0.0.1:6379> keys * 1) "k3" 2) "k2" 3) "k1" |
若在事务队列中存在命令性错误，则执行EXEC命令时，所有命令都不会执行
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 |
127.0.0.1:6379> MULTI #开启事务 OK 127.0.0.1:6379> set k1 v100 QUEUED 127.0.0.1:6379> set k2 v200 QUEUED 127.0.0.1:6379> settt k3 #错误命令 (error) ERR unknown command `settt`, with args beginning with: `k3`, 127.0.0.1:6379> set k4 v400 QUEUED 127.0.0.1:6379> EXEC #执行事务，报错 (error) EXECABORT Transaction discarded because of previous errors. 127.0.0.1:6379> get k1 #验证，命令未执行 "v1" 127.0.0.1:6379> get k2 "v2" |
若在事务队列中存在语法性错误，则执行EXEC命令时，其他正确命令会被执行，错误命令抛出异常。
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 |
127.0.0.1:6379> MULTI #开启事务 OK 127.0.0.1:6379> INCR k1 #对k1(值为"v1")进行+1 QUEUED 127.0.0.1:6379> SET k2 22 QUEUED 127.0.0.1:6379> SET k3 33 QUEUED 127.0.0.1:6379> set k4 44 QUEUED 127.0.0.1:6379> get k4 QUEUED 127.0.0.1:6379> EXEC #执行事务 1) (error) ERR value is not an integer or out of range #第一条命令报错，其他正确执行 2) OK 3) OK 4) OK 5) "44" |
使用watch
使用watch检测balance，事务期间balance数据未变动，事务执行成功
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |
127.0.0.1:6379> set money 100 #设置money为100 OK 127.0.0.1:6379> set out 0 OK 127.0.0.1:6379> WATCH money #监控money OK 127.0.0.1:6379> MULTI #开启事务 OK 127.0.0.1:6379> DECRBY money 20 QUEUED 127.0.0.1:6379> INCRBY out 20 QUEUED 127.0.0.1:6379> EXEC #结束事务 1) (integer) 80 2) (integer) 20 |
使用watch检测balance，在（窗口1）开启事务后，在（窗口2）执行更改money的值的操作，模拟其他客户端在事务执行期间更改watch监控的数据，然后再执行(窗口1)后命令，执行EXEC后，事务未成功执行
|
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 |
#窗口1 127.0.0.1:6379> set money 100 #设置money OK 127.0.0.1:6379> WATCH money #监控money OK 127.0.0.1:6379> MULTI #开启事务 OK 127.0.0.1:6379> DECRBY money 10 QUEUED 127.0.0.1:6379> INCRBY out 10 QUEUED 127.0.0.1:6379> EXEC #结束事务 (nil) #窗口2 127.0.0.1:6379> set money 1000 OK #解锁 当事务执行失败后，需重新执行WATCH命令对变量进行监控，并开启新的事务进行操作。 127.0.0.1:6379> UNWATCH OK |
总结
|
1 2 3 4 |
1.watch指令类似于乐观锁，在事务提交时，如果watch监控的多个KEY中任何KEY的值已经被其他客户端更改，则使用EXEC执行事务时，事务队列将不会被执行，同时返回Nullmulti-bulk应答以通知调用者事务执行失败。 2.事务在不使用watch监控时，谁后提交谁为准 3.事务在使用watch监控时，谁先提交谁为准 4.watch只监控一次事务并且是当前连接的事务 |