Redis事務定義

Redis 事務是一個單獨的隔離操作：事務中的所有命令都會序列化、按順序地執行。事務在執行的過程中，不會被其他使用者端傳送來的命令請求所打斷。

Redis 事務的主要作用就是串聯多個命令防止別的命令插隊。

Multi、Exec、discard

Redis 事務中有 Multi、Exec 和 discard 三個指令，在 Redis 中，從輸入 Multi 命令開始，輸入的命令都會依次進入命令佇列中，但不會執行，直到輸入 Exec 後，Redis 會將之前的命令佇列中的命令依次執行。而組隊的過程中可以通過 discard 來放棄組隊

案列說明

組隊成功：我們輸入multi進行組隊，將set k1 v1和set k2 v2兩條命令插入到佇列中，然後輸入exec執行命令，最後執行成功。

組隊階段報錯：我們輸入multi進行組隊，將set k1 v1和set k2兩條命令插入到佇列中，由於set k2這條命令報錯了，所以在組隊階段就已經失敗了，所以執行exec也就全部失敗了，注意：set k1 v1這條命令不會被執行

組隊成功，提交有成功有失敗情況：我們輸入multi進行組隊，將set k1 v1和incr k1以及set k2 v2三條命令插入到佇列中，這三條命令本身語法是沒有問題的，但是在輸入exec執行後，第二條命令報錯了，其他命令成功執行，報錯原因是鍵k1的值是一個字串型別，不是整型，所以不能增量。

事務的錯誤處理

組隊階段中某個命令出現了報告錯誤，執行時整個的所有佇列都會被取消。

執行階段某個命令報出了錯誤，則只有報錯的命令不會被執行，而其他的命令都會執行，不會回滾。

事務衝突的問題

一個請求想給金額減 8000；
一個請求想給金額減 5000；
一個請求想給金額減 1000。

最終我們可以發現，總共金額是 10000，如果請求全部執行，那最後的金額變為 - 4000，很明顯不合理。

方案一：悲觀鎖

悲觀鎖 (Pessimistic Lock)，顧名思義，就是很悲觀，每次去拿資料的時候都認為別人會修改，所以每次在拿資料的時候都會上鎖，這樣別人想拿這個資料就會 block 直到它拿到鎖。傳統的關係型資料庫裡邊就用到了很多這種鎖機制，比如行鎖，表鎖等，讀鎖，寫鎖等，都是在做操作之前先上鎖。

方案二：樂觀鎖

樂觀鎖 (Optimistic Lock)，顧名思義，就是很樂觀，每次去拿資料的時候都認為別人不會修改，所以不會上鎖，但是在更新的時候會判斷一下在此期間別人有沒有去更新這個資料，可以使用版本號等機制。樂觀鎖適用於多讀的應用型別，這樣可以提高吞吐量。Redis 就是利用這種 check-and-set 機制實現事務的。