關於InnoDB事務的乙個「詭異」現象

2021-08-25 12:36:42 字數 3452 閱讀 2803

在隔離機制中,innodb預設採用的repeatable read 和mvcc機制保證在事務內部盡量保證邏輯一致性。但如下的現象依然讓人覺得不太合理。

1、復現

a)      表結構

create table `t` (

`a` int(11) not null default 『0′,

`b` int(11) default null,

primary key (`a`)

) engine=innodb default charset=gbk

表中2條記錄

| 1 |  100 |

| 4 |  400 |

b)      操作過程:開兩個session,操作序列如下

session 1

session 2

1)begin

2)select * from t;| 1 |  100 |

| 4 |  400 |

2 rows in set (0.01 sec)

3)insert into t vlaues(2, 200);

4)select * from t;| 1 |  100 |

| 4 |  400 |

2 rows in set (0.01 sec)

5)update t set b = 200 where a = 2;query ok, 0 rows affected (0.01 sec)

rows matched: 1  changed: 0  warnings: 0

6)select * from t;| 1 |  100 |

| 2 |  200 |

| 4 |  400 |

3 rows in set (0.01 sec)

從session 1整個過程看來,它試圖更新乙個不存在的記錄(a=2),結果更新成功,並且之後這個記錄可以訪問

2、分析

從其他正常的表象看來,在事務內,只要不涉及更新,事務外的任何更新都是不可見的。上面試驗中session 1內update之前執行的select *得到的結果仍是2條記錄。

雖然更新衝突時的策略見仁見智,但例子中的這個現象應該提供一種可以選擇的方式(至少應該允許配置)。

接下來的篇幅主要分析出現這種現象的原因,以及通過簡單修改實現如下的方式:對於查詢不可見的記錄,update操作不應該成功。

3、原始碼相關

先來說明一下為什麼步驟4)中的查詢結果仍為2條記錄。

innodb內部每個事務開始時,都會有乙個事務id, 同時事務物件中還有乙個read_view變數,用於控制該事務可見的記錄範圍(mvcc)。對於每個訪問到的記錄行,會根據read_view的trx_id(事務id)與行記錄的trx_id比較,判斷記錄是否邏輯上可見。

session 2中插入的記錄不可見,原因即為session 1先於session 2,因此新插入的資料經過判斷,不在可見範圍內。對應的原始碼在row/row0sel.c [4040-4055].

發生的邏輯為

if(!lock_clust_rec_cons_read_sees(..)) //上乙個版本沒有這個記錄,放棄

注意到**中出現的rows matched: 1。 這裡是例子出現詭異的開始,也是根源。我們知道innodb內部更新資料實際上是「先查後改」,跟這個rows matched: 1結合起來,不難聯想到,在執行update操作是,在「查」的階段,事務能夠訪問到新插入的行。

猜測:問題出在,執行更新的時候,是否沒有判斷事務可見範圍?

事實上確實如此,源**上翻幾行可以看到,在行數[3897-4017-4071]這個if-else邏輯。

if (prebuilt->select_lock_type != lock_none)

執行查詢語句走的是else的邏輯,而控制版本可見範圍的**就在的位置中。

而當我們在session 1中執行update操作時,走的是if()的邏輯,這裡,沒有判斷版本可見範圍。

4、簡單修改

既然是因為update的「查」過程沒有檢查版本可見範圍造成,我們試著加上。

在row/row0sel.c[3907]行插入如下:

if(trx->read_view){ if (univ_likely(srv_force_recovery < 5) 

&& !lock_clust_rec_cons_read_sees(rec, clust_index, offsets, trx->read_view)) { 

rec_t*  old_vers;

err = row_sel_build_prev_vers_for_mysql(

trx->read_view, clust_index,

prebuilt, rec, &offsets, &heap,

&old_vers, &mtr);

if (err != db_success) {

goto lock_wait_or_error;

if (old_vers == null) {

goto next_rec;

新的執行結果為

session 1

session 2

1)begin

2)select * from t;| 1 |  100 |

| 4 |  400 |

2 rows in set (0.01 sec)

3)insert into t vlaues(2, 200);

4)select * from t;| 1 |  100 |

| 4 |  400 |

2 rows in set (0.01 sec)

5)update t set b = 200 where a = 2;query ok, 0 rows affected (0.01 sec)

rows matched: 0changed: 0  warnings: 0

6)select * from t;| 1 |  100 |

| 4 |  400 |

2 rows in set(0.01 sec)

關於InnoDB事務的乙個「詭異」現象

在隔離機制中,innodb預設採用的repeatable read 和mvcc機制保證在事務內部盡量保證邏輯一致性。但如下的現象依然讓人覺得不太合理。1 復現 a 表結構 create table t a int 11 not null default 0 b int 11 default null...

乙個看似詭異的錯誤

先上 客戶端 如下 include include include include include void str cli file stream,int fd int main int argc,char argv int socket fd 5 int i for i 0 i 5 i str ...

loadrunner 乙個詭異問題

最近使用loadrunner壓測乙個專案的時候,發現tps波動巨大 且平均值較低。使用jmeter壓測則沒有這個問題。經過多方排查發現乙個讓人極度費解的原因 原指令碼 指令碼其他 web submit data aaa action 此處為密文鏈結 事務判斷邏輯等 tps圖如下 修改後的 指令碼其他...