>[info] redis的事務其實并不滿足原子性,僅僅是滿足了隔離性。如果為了原子性需求,一般不使用redis的事務功能,而直接使用lua腳本結合。
[toc]
## 概述
Redis支持簡單的事務,所謂簡單是因為其不支持回滾(回滾是用隊列模仿的),與mysql有以下區別
| type | mysql | redis |
| --- | --- | --- |
| 開啟 | start transaction | muitl |
| 語句 | 普通sql | 普通命令 |
| 失敗 | rollback回滾 | discard 取消 |
| 成功 | commit | exec |
**rollback與discard的區別:**
如果已經成功執行了2條語句, 第3條語句出錯
Rollback后,前2條的語句影響消失。
discard只是取消隊列,并非回滾。要用在exec前面;
**在mutil后面的語句中, 語句出錯可能有2種情況:**
1: 語法就有問題,
這種,exec時,報錯, 所有語句得不到執行
2: 語法本身沒錯,但適用對象有問題. 比如 zadd 操作list對象
Exec之后,會執行正確的語句,并跳過有不適當的語句.(由此可見,redis的事務其實不滿足原子性)
(如果zadd操作list這種事怎么避免? 這一點,由程序員負責)
## Example
```
127.0.0.1:6379> multi #開啟事務
OK
127.0.0.1:6379> decrby zz 100
QUEUED
127.0.0.1:6379> incrby xx 100
QUEUED
127.0.0.1:6379> exec
1) (integer) 900
2) (integer) 900
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby zz 100
QUEUED
127.0.0.1:6379> sadd zz haha #語法本身沒有錯,那整個事務中的語句都會執行;
QUEUED
127.0.0.1:6379> exec
1) (integer) 800
2) (error) WRONGTYPE Operation against a key holding the wrong kind of value
```
## 悲觀鎖與樂觀鎖
**場景如下:**
我正在買票
Ticket -1 , money -100
而票只有1張, 如果在我multi之后,和exec之前, 票被別人買了---即ticket變成0了.
我該如何觀察這種情景,并不再提交
- 悲觀的想法: 世界充滿危險,肯定有人和我搶, 給 ticket上鎖, 只有我能操作. [悲觀鎖]
- 樂觀的想法: 沒有那么多人和我搶,因此,我只需要注意,在下單之前看看有沒有人更改ticket的值就可以了 [樂觀鎖]
Redis的事務中,啟用的是樂觀鎖,只負責監測key沒有被改動.具體的命令:**watch命令**
watch key1 key2 ... keyN
作用: 監聽key1 key2..keyN有沒有變化,如果有變, 則事務取消
unwatch
作用: 取消所有watch監聽
```
redis 127.0.0.1:6379> watch ticket
OK
redis 127.0.0.1:6379> multi
OK
redis 127.0.0.1:6379> decr ticket
QUEUED
redis 127.0.0.1:6379> decrby money 100
QUEUED
redis 127.0.0.1:6379> exec #在exec之前該數據在其他session有改動就取消事務,返回nil
(nil)
redis 127.0.0.1:6379> get ticket
"0"
redis 127.0.0.1:6379> get money
"200"
```