回顾:关系型数据库的事务(ACID)
Redis加锁是使用watch这个命令
Redis事务的本质:一组命令的集合,一个事物中的所有命令都会被序列化,在事务执行过程中会按照顺序执行(一次性,顺序性,排他性)
注意:Redis单条命令是保证原子性的,但是事务不保证原子性,Redis事务没有隔离级别的概念(不会出现关系型数据库的脏读,幻读,重复度这种情况),所有的命令在事务中,并没有被直接执行,只有发起执行命令的时候才会执行!Exec(执行)
Redis事务和关系型数据库的事务区别
Redis事务没有隔离级别的概念(不会出现关系型数据库的脏读,幻读,重复读这种情况)
Redis事务分为三个阶段
1 开启事务(multi)
2 命令入队(...命令入队(进入队列)...)
3 执行事务(exec)每一次执行事务,执行完的时候这个事务就没了,需要重新开启事务
锁:redis可以实现乐观锁,通过watch(监视器)实现
Redis事务的几个常用场景
1 正常开启执行事务(multi ........ exec )
127.0.0.1:6379[2]> multi #开启事务 OK 127.0.0.1:6379[2]> set k1 v1 #设置键值 QUEUED # 127.0.0.1:6379[2]> set k2 v2 #设置键值 QUEUED #命令入队(进入队列) 127.0.0.1:6379[2]> get k1 #根据键获得值 QUEUED 127.0.0.1:6379[2]> exec #执行事务,输出队列结果 1) OK 2) OK 3) "v1"
2 放弃事务(multi ........ discard)事务中的队列都不会被执行
127.0.0.1:6379[2]> multi #开启事务 OK 127.0.0.1:6379[2]> set k1 v1 #设置键值 QUEUED #命令入队(进入队列) 127.0.0.1:6379[2]> set k2 v2 #设置键值 QUEUED #命令入队(进入队列) 127.0.0.1:6379[2]> set k3 v3 #设置键值 QUEUED #命令入队(进入队列) 127.0.0.1:6379[2]> discard #放弃事务 OK #获取不到,因为事务中的队列都不会被执行(事务被放弃了并没有被执行) 127.0.0.1:6379[2]> get k3 (nil) 127.0.0.1:6379[2]> get k2 (nil) 127.0.0.1:6379[2]> get k1 (nil)
3 事务异常(以Java举例)
1 编译型异常(Java:代码有问题!命令有错),Redis:事务中所有的命令都不会执行
127.0.0.1:6379[2]> multi #开启事务 OK 127.0.0.1:6379[2]> set k1 v1 #设置键值 QUEUED 127.0.0.1:6379[2]> set k2 v2 #设置键值 QUEUED 127.0.0.1:6379[2]> getset k2 #这里发生错误,使用错误的命令 (error) ERR wrong number of arguments for 'getset' command 127.0.0.1:6379[2]> set k3 v3 #设置键值 QUEUED 127.0.0.1:6379[2]> exec #执行事务 (error) EXECABORT Transaction discarded because of previous errors. #这个事务含有错误代码 #获取不到,因为事务中代码发生了错误,执行事务报错,所以的命令都不会执行 127.0.0.1:6379[2]> get k1 (nil) 127.0.0.1:6379[2]> get k3 (nil)
2 运行时异常(比如Java 1/0) Redis:如果事务队列中存在语法性,那么执行命令的时候,其他命令可以正常执行的,错误命令会抛异常,但是没有原子性这么一说
127.0.0.1:6379[2]> multi #开启事务 OK 127.0.0.1:6379[2]> set k1 v1 #设置键值 QUEUED 127.0.0.1:6379[2]> incr k1 #这里执行错误代码(给字符串自增1), incr 只能给整形元素用, QUEUED 127.0.0.1:6379[2]> set k2 v2 #设置键值 QUEUED 127.0.0.1:6379[2]> set k3 v3 #设置键值 QUEUED 127.0.0.1:6379[2]> exec #执行事务 1) OK 2) (error) ERR value is not an integer or out of range #虽然它报错了,但是后面的命令都会被执行成功 3) OK 4) OK 127.0.0.1:6379[2]> get k2 "v2" 127.0.0.1:6379[2]> get k3 "v3"