持续创作，加速成长！这是我参与「掘金日新计划 · 10 月更文挑战」的第3天，点击查看活动详情

Redis 事务、锁机制

Redis 事务定义

Redis 事务是一个单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。

Redis 事务的主要作用就是串联多个命令防止别的命令插队。

Multi、Exec、discard

Redis 事务中有 Multi、Exec 和 discard 三个指令，在 Redis 中，从输入 Multi 命令开始，输入的命令都会依次进入命令队列中，但不会执行，直到输入 Exec 后，Redis 会将之前的命令队列中的命令依次执行。而组队的过程中可以通过 discard 来放弃组队。

MULTI ：开启事务
EXEC：提交事务，执行命令队列中所有的操作命令。
DISCARD:放弃一个事务，清空命令队列，但是无法支持事务的回滚。
WATCH:检测一个或多个键的值在事务执行的期间是否发生变化，如果发生变化，那么当前事务放弃执行。

开启事务与提交事务

# 开启事务
127.0.0.1:6379> multi
OK 

127.0.0.1:6379> set t1 v1 
QUEUED 

# 提交事务
127.0.0.1:6379> exec 
1) OK

事务未提交前报错（原子性）

# 开启事务
127.0.0.1:6379> multi
OK 

127.0.0.1:6379> setget t3 
(error) ERR unknown command 'setget' 

127.0.0.1:6379> set t1 v1 
QUEUED 

# 提交事务
127.0.0.1:6379> exec 
(error) EXECABORT Transaction discarded because of previous errors.

提交事务报错（不保证原子性，未报错的会执行）

# 开启事务
127.0.0.1:6379> multi 
OK 

127.0.0.1:6379> incr s2 
QUEUED 

127.0.0.1:6379> set a1 v1 
QUEUED 

127.0.0.1:6379> set a2 v2 
QUEUED 

# 提交事务
127.0.0.1:6379> exec 
1) (error) ERR value is not an integer or out of range 
2) OK 
3) OK

事务的错误处理

组队中某个命令出现了报告错误，执行时整个的所有队列都会被取消。
如果执行阶段某个命令报出了错误，则只有报错的命令不会被执行，而其他的命令都会执行，不会回滚。

为什么要做成事务

转帐，要成功都成功，要失败都失败。

事务冲突的问题

例子

一个请求想给金额减 8000；
一个请求想给金额减 5000；
一个请求想给金额减 1000。

最终我们可以发现，总共金额是 10000，如果请求全部执行，那最后的金额变为 - 4000，很明显不合理。

悲观锁

悲观锁 (Pessimistic Lock)，顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会 block 直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。

乐观锁

乐观锁 (Optimistic Lock)，顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高吞吐量。Redis 就是利用这种 check-and-set 机制实现事务的。

unwatch

取消 WATCH 命令对所有 key 的监视。如果在执行 WATCH 命令之后，EXEC 命令或 DISCARD 命令先被执行了的话，那么就不需要再执行 UNWATCH 了。

Redis 事务三特性

单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
没有隔离级别的概念：队列中的命令没有提交之前都不会实际被执行，因为事务提交前任何指令都不会被实际执行。
不保证原子性：事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚。