Redis 事务问题

前言

参考文献

《Redis事务详解》

Redis事务是什么？

标准的事务是指执行时具备原子性/一致性/隔离性/持久性的一系列操作。

原子性：一系列操作要么一起成功，要么一起失败；
一致性：保证事务执行前后的数据状态一致；
隔离性：多事务并发执行时不会相互影响；
持久性：事务递交后数据会被永久保存。

Redis事务并不严格具备上述特性，因此将之单纯视为批处理其实更加合适，其唯一的作用就是确保一系列指令会被连续执行，即不会出现有其它指令间隔的情况。

Redis事务怎么使用？

通过依次使用{MULTI} --> 一系列读/写 --> {EXEC}指令执行事务，而在事务未正式执行前可以通过{DISCARD}指令取消事务。此外为了避免事务的目标数据在执行过程中被其它事务/指令修改，还可以在开启事务前先通过{WATCH}指令监控指定键集，在键集中任意键的值被改动的情况下事务都将无法被执行。

Redis事务有几个阶段？

事务有组队/执行两个阶段。组队阶段由{MULTI}指令开启，用于将后续输入的一系列读/写指令加入组队队列中；而执行阶段则由{EXEC}指令开启，负责执行组队队列中的所有指令。

Redis事务支持隔离性吗？

隔离性不是一个有无的概念，因为事务之间无论是完全影响还是完全不影响都属于隔离性的范畴，因此隔离性实际上是程度高低的问题。那Redis事务又具备什么级别的隔离性呢？以MySQL的四个隔离级别来说其大概对应了“读已递交”级别的隔离性。那为什么是“读已递交”级别呢？这是因为事务被分为组队/执行两个阶段，而在这两个阶段中执行阶段虽说会串行执行，但组队阶段却是允许和其它组队/执行阶段并行执行的。因此处于组队阶段的事务其目标数据完全可能被其它处于执行阶段的事务所修改，从而出现事务执行结果错误的问题。那为什么说对应的是“读已递交”级别呢？这是因为Redis事务没有全局递交的概念，事务中每条执行的执行都可以视为一次递交，因此不符合“读未递交”的情景。

Redis事务保证原子性吗？是否支持回滚？

Redis事务保证“伪”原子性。Redis事务有组队/执行两个阶段，在组队阶段中任意指令的语法错误都将导致整个事务拒绝被执行，因此事务在组队阶段是具备原子性的。但在执行阶段中指令的错误执行并不会对事务造成影响，事务依然会继续向后执行至彻底结束为止，因此事务在执行阶段时并不具备原子性，故而才说Redis事务只具备伪原子性，并且其也不支持回滚。