EXEC

执行自 MULTI 以来排队的全部命令。

EXEC

复杂度

O(排队命令各自代价之和)；若 WATCH 了 W 个 key，还要多一次 O(W) 的预检，扇出成 O(min(W,S)) 条消息。

复杂度与兼容性是从 kevy 的实现里读出来的，不是抄 Redis 的文档。有几条确实不一样 —— 它们看起来像笔误，但不是。

有差异

有差异：跨多个 shard 的 MULTI 批次只做到按 shard 原子，不是全局隔离（没有跨 shard 的快照）；排队阶段的错误会让整批以 EXECABORT 失败，但 EXEC 执行期间的运行时错误不会撤销其余已生效的命令 —— 这一点与 Redis 一致。