一、事务
Redis事务的本质:一组命令的集合!一个事物中的所有命令都会被序列化,在事物执行过程中,会按照顺序执行!具有一次性,顺序性,排他性。所有的命令在事物中并没有被直接执行,只有发起执行命令的时候才会被执行!执行的命令是Exec!
Redis事物没有隔离级别的概念。
Redis单条命令式保存原子性的,但是事务不保证原子性!
Redis的事务有三个阶段:
- 开启事务(multi)
- 命令入队(…)
- 执行事务(Exec)
开启事务
127.0.0.1:6379> multi #开启事务
OK
#命令入队
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> set fu sheng
QUEUED
127.0.0.1:6379(TX)> get fu
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> exec #执行事务
1) OK
2) OK
3) "sheng"
4) OK
放弃事务,事务队列中的命令都不会执行
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> set k8 v8
QUEUED
127.0.0.1:6379(TX)> discard
OK
127.0.0.1:6379> get k8
(nil)
编译型异常(代码问题!命令有错!),事务中所有的命令都不会执行
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> getset k3 #错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379(TX)> set k4 v4
QUEUED
127.0.0.1:6379(TX)> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k4
(nil) #所有的命令都没有执行
语法型错误:运行时异常(例如:1/0),其他命令可以正常执行
127.0.0.1:6379> set k1 v1
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incr k1
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> set k3 3
QUEUED
127.0.0.1:6379(TX)> get k3
QUEUED
127.0.0.1:6379(TX)> exec
1) (error) ERR value is not an integer or out of range
2) OK
3) OK
4) "3"
127.0.0.1:6379>
二、Redis的监控(Watch)
watch可以作为客观锁使用,一次事务结束后watch就会失效。
例:
127.0.0.1:6379> watch money #监视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
127.0.0.1:6379(TX)> exec #执行期间数据没变动,执行正常
1) (integer) 80
2) (integer) 20
失败:
127.0.0.1:6379> watch money #监视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 #执行之前另一个线程修改了money的值
(nil)
127.0.0.1:6379>
解决办法:先解锁(unwatch
),再次监视事务,再执行事务操作!(和自旋锁一样)