面试题：Redis事务中如何部分保证ACID性质

执行方式保证原子性：Redis事务使用MULTI、EXEC命令。在MULTI之后，EXEC之前，所有命令会进入队列暂存。当执行EXEC时，队列中的命令会按顺序依次执行，期间不会被其他客户端的命令打断。例如：

MULTI
SET key1 value1
INCR counter
EXEC

这里SET key1 value1和INCR counter会作为一个整体执行，要么都成功，要么因为错误都不执行。如果在EXEC执行过程中出现错误（例如类型错误），已执行的命令不会回滚，但后续命令会停止执行。比如：

MULTI
SET key1 value1
INCR key1  # key1是字符串类型，此命令会执行失败
EXEC

SET key1 value1会成功执行，但INCR key1会失败，不过SET操作不会回滚。

错误处理维护一致性：在事务执行前，如果输入的命令有语法错误（例如SE key1 value1，命令拼写错误），整个事务会被取消，不会执行任何命令，从而保证数据状态的一致性。在事务执行过程中，类型错误等运行时错误会导致部分命令执行失败，但已执行的命令不会回滚，不过这也尽量维持了数据的一致性，因为Redis不会让数据处于部分更新成功的无效状态。例如：

MULTI
SET key1 value1
GET key1  # 假设这里本应是SET key2 value2，写错为GET key1，语法错误
EXEC

整个事务不会执行，保证了数据状态和事务执行前一致。

单线程执行实现隔离：Redis是单线程模型，事务中的命令按顺序执行，期间不会被其他客户端的命令插入执行。这就保证了事务的隔离性，避免了并发事务之间的相互干扰。例如，有两个客户端同时对counter进行操作： 客户端1：

MULTI
INCR counter
INCR counter
EXEC

客户端2：

MULTI
DECR counter
DECR counter
EXEC

无论哪个客户端先执行MULTI，它们的操作都是按顺序依次完成，不会出现INCR和DECR交叉执行的情况，从而保证了隔离性。

持久化策略相关：Redis本身有不同的持久化策略，如RDB（快照）和AOF（追加式日志）。
- RDB：定期将内存数据快照保存到磁盘。在事务执行成功后，如果还未到RDB快照时间点，此时系统崩溃，可能会丢失部分事务数据。例如，设置每60秒且至少有100个键发生变化时进行RDB快照，若在59秒时执行了一个事务并成功，但还未来得及进行快照就崩溃，该事务数据丢失。
- AOF：默认每一秒将写命令追加到AOF文件。在事务执行成功后，写命令会被追加到AOF文件，即使系统崩溃，通过重放AOF文件也能恢复到崩溃前的状态，保证事务的持久性。例如，在执行事务MULTI SET key1 value1 EXEC后，SET key1 value1命令会被追加到AOF文件，系统崩溃重启后，可通过重放该命令恢复数据。

购物车场景：在电商购物车场景中，用户可能会同时添加多个商品到购物车，修改商品数量，最后一起结算。可以使用Redis事务保证这些操作的原子性和一致性。例如：

MULTI
HSET cart:123 product1 1  # 添加商品product1，数量为1
HINCRBY cart:123 product2 2  # 修改商品product2的数量为2
EXEC

整个购物车操作作为一个事务执行，保证了购物车数据的一致性和完整性。 2. 转账场景：在简单的账户转账场景中，从一个账户扣钱，同时给另一个账户加钱，可以用Redis事务实现。例如：

MULTI
DECRBY account:user1 100  # user1账户扣100
INCRBY account:user2 100  # user2账户加100
EXEC

保证了转账操作的原子性，要么都成功，要么都失败，维持数据一致性。

星途面试题库