事务
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 k2 v2 QUEUED 127.0.0.1:6379(TX)> set k3 v3 QUEUED 127.0.0.1:6379(TX)> get k2 QUEUED 127.0.0.1:6379(TX)> exec 执行事务 1) OK 2) OK 3) OK 4) "v2"
放弃事务
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 k4 v4 QUEUED 127.0.0.1:6379(TX)> DISCARD 取消事务 OK 127.0.0.1:6379> get k4 事务队列中的命令都不会被执行 (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)> set k3 v3 QUEUED 127.0.0.1:6379(TX)> set k4 v4 QUEUED 127.0.0.1:6379(TX)> getset k4 错误的命令 (error) ERR wrong number of arguments for 'getset' command 127.0.0.1:6379(TX)> set k5 v5 QUEUED 127.0.0.1:6379(TX)> exec 执行事务时报错 (error) EXECABORT Transaction discarded because of previous errors. 127.0.0.1:6379> get k5 所有命令都不执行 (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 v3 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) "v3" 127.0.0.1:6379> get k2 "v2" 127.0.0.1:6379> get k3 "v3"
监控!
悲观锁:
- 很悲观,什么时候都会出问题,无论做什么都会加锁!
乐观锁:
- 很乐观,认为什么时候都不会出问题,所以不会上锁!更新数据的时候去判断一下,在此期间是否有人修改过这个数据。
- 获取:version
- 更新的时候比较version
redis测监控
127.0.0.1:6379> set 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(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
测试多线程修改值,使用watch可以当作redis的乐观锁操作
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)> DECRBY out 10 QUEUED 127.0.0.1:6379(TX)> exec 执行之前,两外一个线程,修改了money,这个时候,就会导致事务执行失败! (nil)
如果修改失败,获取最新的值就好
127.0.0.1:6379> unwatch 1.如果发现事务执行失败,就先解锁
127.0.0.1:6379> watch money 2.获取最新的值,再次监视, 和select version差不多 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 3.比对监视的值是否发生变化,如果没有变化,那么可以执行成功,如果变化,则执行失败。 1) (integer) 990 2) (integer) 20