Redis事务

1. 概述

事务提供了一种“将多个命令打包， 然后一次性、按顺序地执行”的机制。

redis> MULTI //开始一个事务
OK

redis> SET book-name "Mastering C++ in 21 days" // 事务中的指令返回的都是QUEUED
QUEUED

redis> GET book-name
QUEUED

redis> SET NAME 123
QUEUED

redis> EXEC //执行这个事务所QUEUED的所有指令，并返回所有指令结果
1) OK
2) "Mastering C++ in 21 days"
3) OK

当遇到exec指令时，会执行事务的所有指令，但如果某个指令失败，也不会停止，将会继续执行下面的命令。即可以保证原子性，但没有回滚的功能。

2. 机制

每个事务都有一个自己的事务指令队列。每个事务当遇到exec时，就会把队列中所有的指令拿出来执行。无论是否成功。

3. 特性

事务在执行的期间不会主动中断 —— 服务器在执行完事务中的所有命令之后， 才会继续处理其他客户端的其他命令。

这是官网上的一句话，但注意理解下含义。

• 一个事务开始后分为两个阶段：发送指令阶段---exec执行阶段。
• 上面说的事务执行期间不会被中段，不会处理其他客户端指令--这里是指exec执行阶段，并不是说发送指令阶段。
• 发送指令阶段，完全是可以处理其他客户端的指令的。

4. watch

watch命令用于在事务开始之前监视任意数量的键： 当调用 [EXEC]命令执行事务时， 如果任意一个被监视的键已经被其他客户端修改了， 那么整个事务不再执行， 直接返回失败。

image.png
在T5时，就会失败。即这个事务被废弃掉，这个事务的其他命令就不会再执行。

watch指令只在事务开始之前执行。但事务中间执行watch指令

5. discard

这个指令很简单了，就是放弃这个事务，结束这个事务，这个事务的指令不会被执行。

redis> SET foo 1
OK

redis> MULTI
OK

redis> INCR foo
QUEUED

redis> DISCARD
OK

redis> GET foo
"1"

6. 使用watch实现CAS

我们知道CAS一般都是硬件级别提供的原子性保证，那我们也可以使用redis的watch来实现CAS的效果：

bool CAS(mykey, originValue, destValue){
    WATCH mykey
    val = GET mykey
    if (val == originValue) {
        MULTI
        SET mykey $val //就是set指令执行时，如果mykey发生改变就放弃，CAS返回失败
        v = EXEC
        if (v != null){ //如果set成功，则就说明CAS成功
            return true
        } else {
            return false
        }
    }
}

7. ACID

Redis事务是满足了ACI特性，不满足D。
A：原子性。要么全部执行，要么全部不执行。满足的，注意：A和回滚功能是两个概念。
C：一致性。如果出现数据错误，在exec就可以发现，导致执行失败，可以满足数据的一致性
I：隔离性。因为在exec阶段，redis是单线程执行，保证了事务的序列化执行，自然保证了隔离性。