Redis事务操作

事务

事务有以下特性：

⑴ 原子性（Atomicity）
　　原子性是指事务包含的所有操作要么全部成功，要么全部失败回滚，这和前面两篇博客介绍事务的功能是一样的概念，因此事务的操作如果成功就必须要完全应用到数据库，如果操作失败则不能对数据库有任何影响。

⑵ 一致性（Consistency）
　　一致性是指事务必须使数据库从一个一致性状态变换到另一个一致性状态，也就是说一个事务执行之前和执行之后都必须处于一致性状态。

拿转账来说，假设用户A和用户B两者的钱加起来一共是5000，那么不管A和B之间如何转账，转几次账，事务结束后两个用户的钱相加起来应该还得是5000，这就是事务的一致性。

⑶ 隔离性（Isolation）
　　隔离性是当多个用户并发访问数据库时，比如操作同一张表时，数据库为每一个用户开启的事务，不能被其他事务的操作所干扰，多个并发事务之间要相互隔离。

即要达到这么一种效果：对于任意两个并发的事务T1和T2，在事务T1看来，T2要么在T1开始之前就已经结束，要么在T1结束之后才开始，这样每个事务都感觉不到有其他事务在并发地执行。

关于事务的隔离性数据库提供了多种隔离级别，稍后会介绍到。

⑷ 持久性（Durability）
　　持久性是指一个事务一旦被提交了，那么对数据库中的数据的改变就是永久性的，即便是在数据库系统遇到故障的情况下也不会丢失提交事务的操作。

 

Redis事务命令

序号	命令以及描述
1	DISCARD 取消事务，放弃执行事务块内的所有命令。
2	EXEC 执行所有事务块内的命令。
3	MULTI 标记一个事务块的开始。
4	UNWATCH 取消WATCH命令对所有key的监视
5	WATCH key [key…] 监视一个（或多个）key，如果在事务执行之前这个（或这些）key被其他命令所改动，那么事务将被打断。

示例代码

127.0.0.1:6379> 
127.0.0.1:6379> multi
OK
127.0.0.1:6379> sadd works john
QUEUED
127.0.0.1:6379> sadd works rose
QUEUED
127.0.0.1:6379> exec
1) (integer) 1
2) (integer) 1
127.0.0.1:6379> SMEMBERS works
1) "rose"
2) "john"
127.0.0.1:6379> 

 

WATCH示例代码

//客户端1
127.0.0.1:6379> set login.count 10
OK
127.0.0.1:6379> WATCH login.count
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set login.count 11
QUEUED

//客户端2
127.0.0.1:6379> 
127.0.0.1:6379> set login.count 100
OK
127.0.0.1:6379> 

//客户端1
127.0.0.1:6379> EXEC
(nil)
127.0.0.1:6379> get login.count
"100"
127.0.0.1:6379>