Redis 作為內(nèi)存的存儲中間件，已經(jīng)是面試的面試題必問之一了，今天一起來看看 Redis 的事務吧。

事務提供了一種"將多個命令打包，一次性提交并按順序執(zhí)行"的機制，提交后在事務執(zhí)行中不會中斷。只有在執(zhí)行完所有命令后才會繼續(xù)執(zhí)行來自其他客戶的消息。

Redis 中的使用

Redis 通過 multi，exec，discard，watch 實現(xiàn)事務功能。

1. multi：開始事務
2. exec：提交事務并執(zhí)行
3. discard：取消事務
4. watch：事務開始之前監(jiān)視任意數(shù)量的鍵

> multi
OK
 > set bookName "Redis"
QUEUED
 > get bookName
QUEUED
 > sadd tag "Redis" "New Book"
QUEUED
 > smembers tag
QUEUED
 > exec
1) OK
2) "Redis"
3) (integer) 2
4) 1) "Redis"
   2) "New Book"

開始事務

> multi
OK

這個命令將 Redis_multi 選項打開，讓客戶端從非事務狀態(tài)變?yōu)槭聞諣顟B(tài)

命令入隊

> set bookName "Redis"
QUEUED
 > get bookName
QUEUED
 > sadd tag "Redis" "New Book"
QUEUED
 > smembers tag
QUEUED

在事務狀態(tài)中，Redis 命令并不是立即執(zhí)行的，而是進入一個先進先出的事務隊列。QUEUED 表示這個命令已經(jīng)入了事務隊列。

執(zhí)行事務

> exec
1) OK
2) "Redis"
3) (integer) 2
4) 1) "Redis"
   2) "New Book"

當執(zhí)行 exec 命令時，Redis 根據(jù)客戶端所保存的事務隊列， 以先進先出的方式執(zhí)行事務隊列中的命令：最先入隊的命令最先執(zhí)行， 而最后入隊的命令最后執(zhí)行。當 exec 命令執(zhí)行完畢時，Redis 會將結(jié)果保存到一個回復隊列，并將回復隊列返回給客戶端。客戶端從事務狀態(tài)退出，一個事務執(zhí)行完畢。

discard 命令

> multi
OK
 > set author "lisi"
QUEUED
 > discard
OK
 > get author
(nil)

discard 取消一個事務的命令，表示這個事務被取消。客戶端從事務狀態(tài)退出，回到非事務狀態(tài)，Redis_multi 選項關(guān)閉。

watch 命令

# Redis 客戶端1
 > watch letter
OK
 > multi
OK
 > set letter a
QUEUED
 > exec
(nil)


# Redis 客戶端2
 > set letter b
OK

# Redis 客戶端1
 > get letter
"b"

設置監(jiān)控 letter 鍵，客戶端1進入事務，設置 letter 的 value 為 a，未提交事務。客戶端2設置 letter 的 value 為 b。回到客戶端1提交事務返回的結(jié)果為 nil，調(diào)用 get 命令得到 letter 為 b。這說明當 letter 鍵在其他客戶端改變后，事務被取消了，不會被執(zhí)行，返回失敗。

watch 命令在事務開始之前監(jiān)視任意數(shù)量的鍵：當調(diào)用 exce 命令執(zhí)行事務時，如果任意一個被監(jiān)視的鍵已經(jīng)被其他客戶端修改了，那么整個事務不再執(zhí)行，直接返回失敗。

事務異常

命令錯誤

> set letter ac
QUEUED
> get letter ac
(error) ERR wrong number of arguments for 'get' command
> exec
(error) EXECABORT Transaction discarded because of previous errors.

事務中命令異常屬于語法錯誤，將導致事務無法執(zhí)行。

運行時異常

> multi
OK
 > lpush books "Redis"
QUEUED
 > incr books
QUEUED
 > lpush books "Python"
QUEUED
 > lrange books 0 -1
QUEUED
 > exec
1) (integer) 1
2) (error) WRONGTYPE Operation against a key holding the wrong kind of value
3) (integer) 2
4) 1) "Python"
   2) "Redis"

上面的例子是事務執(zhí)行到中間遇到失敗了，因為不能對一個字符串進行 incr 命令，事務在遇到命令執(zhí)行失敗后，后續(xù)的命令還繼續(xù)執(zhí)行，所以 books 的值能繼續(xù)得到設置。這種異常只有程序員在代碼中避免。

事務的 ACID

原子性

原子意味著要么一起成功執(zhí)行，要么一起失敗回滾。Redis 提供的所有 API 都是原子操作。那么 Redis 事務只要保證在一批操作中保證原子性，但是在運行時異常中，在一個事務中一個命令出現(xiàn)異常，其他命令還是會繼續(xù)執(zhí)行，事務沒有回滾機制，所以 Redis 事務是不保證原子性的。

一致性

事務異常

如果命令錯誤事務無法執(zhí)行，如果是運行時異常，Redis 會將錯誤包含在返回結(jié)果中，并不影響后續(xù)執(zhí)行，所以事務是一致性的。

Redis 進程被終結(jié)

在純內(nèi)存模式下，Redis 沒有做持久化，重啟之后數(shù)據(jù)庫是空白的，所以是事務一致性的。

在 RDB 模式下，事務并不會在中途執(zhí)行保存 RDB 文件的工作，只有在事務執(zhí)行完后，RDB 工作才可能會開始。所以在事務執(zhí)行過程中 Redis 進程被殺死，不管成功多少都不會保存到 RDB 文件中，所以是一致性的。

在 AOF 模式下，事務部分語句被寫入 AOF 文件并保存成功，不完整的事務被保存到了 AOF 文件，當重啟 Redis 時，檢查 AOF 文件不完整，Redis 退出并報錯。需要把這段不完整的事務刪除后才能重啟成功，所以是一致性的。

在 AOF 模式下，事務并未被寫入 AOF 文件，所以重啟后 Redis 數(shù)據(jù)庫是最近一次成功保存到 AOF 文件中的數(shù)據(jù)。并沒有這次事務的數(shù)據(jù)，所以是以一致性的。

隔離性

Redis 是單進程程序，并且它保證在執(zhí)行事務時，不會對事務進行中斷，事務可以運行直到執(zhí)行完所有事務隊列中的命令為止。所以事務是帶有隔離性的。

持久

在純內(nèi)存模式下，事務肯定不是持續(xù)性的。

在 RDB 模式下，服務器可能在事務執(zhí)行之后、RDB 文件更新之前的這段時間失敗，所以 RDB 模式下的事務也是不持久的。

在 AOF 模式下，將命令添加到 AOF 文件中，但是對文件進行寫入并不會馬上寫到磁盤上，而是先存儲到緩沖區(qū)。所以數(shù)據(jù)保存到磁盤上有一段非常小的時間間隔。這種模式下事務也不是持久的。

結(jié)語

本文介紹了 Redis 的事務的 multi，exec，discard，watch 命令用法和 它的 ACID。