原理
将多个命令送入FIFO队列，然后顺序执行redis命令
相关事务命令：multi exec watch
eg：
redis 事务示例
redis事务队列
每个redis都有自己的事务状态，状态保存在客户端的mstate属性里面
事务状态包含一个事务队列（FIFO顺序），以及一个已入队命令的计数器
执行事务
当一个处于事务状态的客户端向服务器发送EXEC命令时，该命令会立即被服务器执行。服务器会遍历这个客户端的事务队列，执行里面保存的所有命令。最后将所有结果全部全部返回给客户端
WATCH 命令的实现
WATCH命令是一个乐观锁，他可以在EXEC命令执行之前，监视任意数量的数据库键，并在命令执行之前，检查被检查的键是否至少有一个已经被修改过了，如果有的话，那么服务器拒绝执行事务，并向服务端返回返回代表事务执行失败的空回复。
原理：每个Redis数据库都保存着一个watched_keys字典
键值：某个被WATCH命令监控的数据库键，而字典的值则代表着一个链表（链表中记录了所有监视数据库键的客户端）
如String类型："keyName":" value"。与之对应的值为“keyName”:"cli1->cli2->......clin"
监视机制的触发，
所有对键值修改的操作，在执行之后都会调用touchWatchKey算法对watched_keys进行检查，看看是不是有客户端真在监听刚刚被命令修改过的数据库键，如果有的话，则会将倍修改键的客户端的CAS标识打开，表示改客户端的事务安全性已经被破坏
当服务器收到一个客户端发送来的EXEC命令时，服务端会根据这个客户端是否打开了CAS来标识是否执行事务（被打开，则拒绝执行，返回nil，反之，则提交执行）
其他事务相关
ACID
原子性（Atomicity）
原子性是指事务是一个不可分割的工作单位，事务中的操作要么都发生，要么都不发生。
一致性（Consistency）
事务前后数据的完整性必须保持一致。
隔离性（Isolation）
事务的隔离性是多个用户并发访问数据库时，数据库为每一个用户开启的事务，不能被其他事务的操作数据所干扰，多个并发事务之间要相互隔离。
持久性（Durability）
持久性是指一个事务一旦被提交，它对数据库中数据的改变就是永久性的，接下来即使数据库发生故障也不应该对其有任何影响
注意：WHATCH的实现实际上是一种乐观锁，基于CAS原理。
关于乐观锁的实现过程和原理可以参考以下代码（模拟秒杀场景）：
https://github.com/appleappleapple/DistributeLearning
部分实验结果
redis当中结果
网友评论