标签：push 这一 bsp incr man 方式 小结 序列 特性
MULTI 、 EXEC 、 DISCARD 和 WATCH 是 Redis 事务相关的命令。事务可以一次执行多个命令， 并且带有以下两个重要的保证：
事务是一个单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
事务是一个原子操作：事务中的命令要么全部被执行，要么全部都不执行。
EXEC 命令负责触发并执行事务中的所有命令：
如果客户端在使用 MULTI 开启了一个事务之后，却因为断线而没有成功执行 EXEC ，那么事务中的所有命令都不会被执行。
另一方面，如果客户端成功在开启事务之后执行 EXEC ，那么事务中的所有命令都会被执行。
当使用 AOF 方式做持久化的时候， Redis 会使用单个 write(2) 命令将事务写入到磁盘中。
然而，如果 Redis 服务器因为某些原因被管理员杀死，或者遇上某种硬件故障，那么可能只有部分事务命令会被成功写入到磁盘中。
如果 Redis 在重新启动时发现 AOF 文件出了这样的问题，那么它会退出，并汇报一个错误。
使用redis-check-aof程序可以修复这一问题：它会移除 AOF 文件中不完整事务的信息，确保服务器可以顺利启动。
从 2.2 版本开始，Redis 还可以通过乐观锁（optimistic lock）实现 CAS （check-and-set）操作，具体信息请参考文档的后半部分
以上摘自官网
可以一次执行多个命令，本质是一组命令的集合。一个事务中的所有命令都会序列化，按顺序地串行化执行而不会被其它命令插入，不许加塞
一个队列中，一次性、顺序性、排他性的执行一系列命令
[root@izuf6hmkcpexishpa3id8xz ~]# cd redis-5.0.5 [root@izuf6hmkcpexishpa3id8xz redis-5.0.5]# src/redis-cli 127.0.0.1:6379> ping PONG 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> set id 12 QUEUED 127.0.0.1:6379> get id QUEUED 127.0.0.1:6379> incr t1 QUEUED 127.0.0.1:6379> incr t1 QUEUED 127.0.0.1:6379> get t1 QUEUED 127.0.0.1:6379> EXEC 1) OK 3) "12" 4) (integer) 1 5) (integer) 2 6) "2" 127.0.0.1:6379>
127.0.0.1:6379> MULTI OK 127.0.0.1:6379> set name z3 QUEUED 127.0.0.1:6379> set age 28 QUEUED 127.0.0.1:6379> incr t1 QUEUED 127.0.0.1:6379> discard OK 127.0.0.1:6379>
127.0.0.1:6379> MULTI OK 127.0.0.1:6379> set name z3 QUEUED 127.0.0.1:6379> get name QUEUED 127.0.0.1:6379> incr t1 QUEUED 127.0.0.1:6379> get t1 QUEUED 127.0.0.1:6379> set email (error) ERR wrong number of arguments for ‘set‘ command 127.0.0.1:6379> EXEC (error) EXECABORT Transaction discarded because of previous errors.#一个错误全体连坐，都不执行 127.0.0.1:6379>
127.0.0.1:6379> MULTI OK 127.0.0.1:6379> set age 11 QUEUED 127.0.0.1:6379> incr t1 QUEUED 127.0.0.1:6379> set email abc@163.com QUEUED 127.0.0.1:6379> incr email QUEUED 127.0.0.1:6379> get age QUEUED 127.0.0.1:6379> EXEC 1) OK 2) (integer) 3 3) OK 4) (error) ERR value is not an integer or out of range 5) "11" 127.0.0.1:6379>
悲观锁(Pessimistic Lock), 顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁
等，读锁，写锁等，都是在做操作之前先上锁
乐观锁(Optimistic Lock), 顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高
吞吐量
乐观锁策略:提交版本必须大于记录当前版本才能执行更新
2.初始化信用卡可用余额和欠额
127.0.0.1:6379> set balace 100 OK 127.0.0.1:6379> set debt 0 OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> DECRBY balace 30 QUEUED 127.0.0.1:6379> INCRBY debt 30 QUEUED 127.0.0.1:6379> EXEC 1) (integer) 70 2) (integer) 30 127.0.0.1:6379> get balace "70" 127.0.0.1:6379> get debt "30" 127.0.0.1:6379>
3.无加塞篡改，先监控再开启multi，保证两笔金额变动在同一个事务内
127.0.0.1:6379> WATCH balace OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> DECRBY balace 10 QUEUED 127.0.0.1:6379> INCRBY debt 10 QUEUED 127.0.0.1:6379> EXEC 1) (integer) 60 2) (integer) 40 127.0.0.1:6379>
4.有加塞篡改
监控了key，如果key被修改了，后面一个事务的执行失效
127.0.0.1:6379> WATCH balace OK 127.0.0.1:6379> set balace 300 #修改 OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> DECRBY balace 15 #操作 QUEUED 127.0.0.1:6379> INCRBY debt 15 QUEUED 127.0.0.1:6379> EXEC (nil) 127.0.0.1:6379> get balace #因为改了 所以操作失效 "300" 127.0.0.1:6379>
5.unwatch
127.0.0.1:6379> WATCH balace OK 127.0.0.1:6379> set balace 300 OK 127.0.0.1:6379> set balace 350 OK 127.0.0.1:6379> UNWATCH OK 127.0.0.1:6379> MULTI OK 127.0.0.1:6379> set balace 100 QUEUED 127.0.0.1:6379> set debt 0 QUEUED 127.0.0.1:6379> EXEC 1) OK 2) OK 127.0.0.1:6379> get balace "100"
6.一旦执行了exec之前加的监控锁都会被取消掉了
7.小结
Watch指令，类似乐观锁，事务提交时，如果Key的值已被别的客户端改变，
比如某个list已被别的客户端push/pop过了，整个事务队列都不会被执行
通过WATCH命令在事务执行之前监控了多个Keys，倘若在WATCH之后有任何Key的值发生了变化，
EXEC命令执行的事务都将被放弃，同时返回Nullmulti-bulk应答以通知调用者事务执行失
1.开启：以MULTI开始一个事务
2.入队：将多个命令入队到事务中，接到这些命令并不会立即执行，而是放到等待执行的事务队列里面
3.执行：由EXEC命令触发事务
1.单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
2.没有隔离级别的概念：队列中的命令没有提交之前都不会实际的被执行，因为事务提交前任何指令都不会被实际执行，也就不存在”事务内的查询要看到事务里的更新，在事务外查询不能看到”这个让人万分头痛的问题
3.不保证原子性：redis同一个事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚
标签：push 这一 bsp incr man 方式 小结 序列 特性
原文地址：https://www.cnblogs.com/chengmr/p/13297638.html
