1. 程式人生 > >【58沈劍 架構師之路】InnoDB,快照讀,在RR和RC下有何差異?

【58沈劍 架構師之路】InnoDB,快照讀,在RR和RC下有何差異?

快照讀(Snapshot Read)

MySQL資料庫,InnoDB儲存引擎,為了提高併發,使用MVCC機制,在併發事務時,通過讀取資料行的歷史資料版本,不加鎖,來提高併發的一種不加鎖一致性讀(Consistent Nonlocking Read)。

 

讀提交(Read Committed)

  • 資料庫領域,事務隔離級別的一種,簡稱RC

  • 它解決“讀髒”問題,保證讀取到的資料行都是已提交事務寫入的

  • 它可能存在“讀幻影行”問題,同一個事務裡,連續相同的read可能讀到不同的結果集

 

可重複讀(Repeated Read)

  • 資料庫領域,事務隔離級別的一種,簡稱RR

  • 它不但解決“讀髒”問題,還解決了“讀幻影行”問題,同一個事務裡,連續相同的read讀到相同的結果集

 

讀提交(RC),可重複讀(RR)兩個不同的事務的隔離級別下,快照讀有什麼不同呢?

 

先說結論

  • 事務總能夠讀取到,自己寫入(update /insert /delete)的行記錄

  • RC下,快照讀總是能讀到最新的行資料快照,當然,必須是已提交事務寫入的

  • RR下,某個事務首次read記錄的時間為T,未來不會讀取到T時間之後已提交事務寫入的記錄,以保證連續相同的read讀到相同的結果集

畫外音:可以看到

(1)和併發事務的開始時間沒關係,和事務首次read的時間有關;

(2)由於不加鎖,和互斥關係也不大;

 

這些就能解答《InnoDB的快照讀,到底和什麼相關?》中的問題了,InnoDB表:

t(id PK, name);
 
表中有三條記錄:
1, shenjian
2, zhangsan
3, lisi

 

case 1,兩個併發事務A,B執行的時間序列如下(A先於B開始,B先於A結束):

A1: start transaction;
         B1: start transaction;
A2: select * from t;
         B2: insert into t values (4, wangwu);
A3: select * from t;
         B3: commit;
A4: select * from t;

 

提問1:假設事務的隔離級別是可重複讀RR,事務A中的三次查詢,A2, A3, A4分別讀到什麼結果集?

 

回答:RR下

(1)A2讀到的結果集肯定是{1, 2, 3},這是事務A的第一個read,假設為時間T;

(2)A3讀到的結果集也是{1, 2, 3},因為B還沒有提交;

(3)A4讀到的結果集還是{1, 2, 3},因為事務B是在時間T之後提交的,A4得讀到和A2一樣的記錄;


提問2:假設事務的隔離級別是讀提交RC,A2, A3, A4又分別讀到什麼結果集呢?

 

回答:RC下

(1)A2讀到的結果集是{1, 2, 3};

(2)A3讀到的結果集也是{1, 2, 3},因為B還沒有提交;

(3)A4讀到的結果集還是{1, 2, 3, 4},因為事務B已經提交;

 

case 2,仍然是上面的兩個事務,只是A和B開始時間稍有不同(B先於A開始,B先於A結束):

         B1: start transaction;

A1: start transaction;

A2: select * from t;
         B2: insert into t values (4, wangwu);
A3: select * from t;
         B3: commit;
A4: select * from t;

 

提問3:假設事務的隔離級別是可重複讀RR,事務A中的三次查詢,A2, A3, A4分別讀到什麼結果集?

提問4:假設事務的隔離級別是讀提交RC,A2, A3, A4的結果集又是什麼呢?
 

回答:事務的開始時間不一樣,不會影響“快照讀”的結果,所以結果集和case 1一樣。

 

case 3,仍然是併發的事務A與B(A先於B開始,B先於A結束):

A1: start transaction;
         B1: start transaction;
         B2: insert into t values (4, wangwu);
         B3: commit;
A2: select * from t;

 

提問5:假設事務的隔離級別是可重複讀RR,事務A中的A2查詢,結果集是什麼?

提問6:假設事務的隔離級別是讀提交RC,A2的結果集又是什麼呢?

 

回答:在RR下,

A2是事務A的第一個read,假設為時間T,它能讀取到T之前提交事務寫入的資料行,故結果集為{1, 2, 3, 4}。在RC下,沒有疑問,一定是{1, 2, 3, 4}。

 

case 4,事務開始的時間再換一下(B先於A開始,B先於A結束):

         B1: start transaction;

A1: start transaction;

         B2: insert into t values (4, wangwu);

         B3: commit;
A2: select * from t;

 

提問7:假設事務的隔離級別是可重複讀RR,事務A中的A2查詢,結果集是什麼?

提問8:假設事務的隔離級別是讀提交RC,A2的結果集又是什麼呢?

 

回答:事務的開始時間不一樣,不會影響“快照讀”的結果,所以結果集和case 3一樣。