EXEC
MULTI 以降にキューされたコマンドをすべて実行する。
EXEC計算量
キュー済みコマンドのコストの総和。WATCH した key が W 個ある場合、事前チェックの O(W) が 1 回加わり、O(min(W,S)) 通のメッセージに束ねられる。
計算量と互換性は kevy の実装から読み取ったものであり、Redis のドキュメントを写したものではない。実際に異なるものがいくつかある。
Redis との互換性
差異あり
差異あり。複数の shard にまたがる MULTI バッチは shard 単位で原子的であって、全体として隔離されるわけではない(shard 横断のスナップショットは存在しない)。キュー時のエラーは EXECABORT でバッチ全体を中止するが、EXEC 中の実行時エラーは他のコマンドの適用結果を残す —— この点は Redis と同じ。