目錄

• 1. 修改 Insert Undo 段狀態(tài)
• 2. 生成事務(wù)提交號(hào)
• 3. 回滾段加入 purge 隊(duì)列
• 4. 處理 Update Undo 段

4.1 Undo 段狀態(tài)

4.2 Undo 日志頁(yè)數(shù)量

4.3 Undo 日志組

4.4 Undo 段鏈表

• 5. 清理 Insert Undo 段
• 6. 總結(jié)

1. 修改 Insert Undo 段狀態(tài)

事務(wù)提交過(guò)程中，首先要處理的 Undo 相關(guān)邏輯，就是修改 Insert Undo 段的狀態(tài)：

• 如果事務(wù)分配了用戶(hù)普通表 Insert Undo 段，修改該 Undo 段的狀態(tài)。
• 如果事務(wù)分配了用戶(hù)臨時(shí)表 Insert Undo 段，修改該 Undo 段的狀態(tài)。

根據(jù) Insert Undo 段是否能直接被復(fù)用，Insert Undo 段的狀態(tài)會(huì)被修改為 TRX_UNDO_CACHED 或者 TRX_UNDO_TO_FREE。

如果 Insert Undo 段只管理了一個(gè) Undo 頁(yè)，并且該 Undo 頁(yè)已使用空間小于四分之三，Undo 段的狀態(tài)被修改為 TRX_UNDO_CACHED，表示 Undo 段可以緩存起來(lái)直接復(fù)用。否則，Undo 段的狀態(tài)被修改為 TRX_UNDO_TO_FREE，表示 Undo 段以及它管理的 Undo 頁(yè)需要被釋放。

2. 生成事務(wù)提交號(hào)

如果事務(wù)分配了用戶(hù)普通表 Update Undo 段，或者用戶(hù)臨時(shí)表 Update Undo 段，事務(wù)提交過(guò)程中，需要生成事務(wù)提交號(hào)。事務(wù)提交完成之后，purge 線程會(huì)根據(jù)這個(gè)事務(wù)提交號(hào)，決定什么時(shí)候清理該 Update Undo 段管理的 Undo 頁(yè)中的 Undo 日志。

和事務(wù) ID 一樣，事務(wù)提交號(hào)也來(lái)源于事務(wù)子系統(tǒng)（trx_sys）的 next_trx_id_or_no 屬性。

事務(wù)啟動(dòng)時(shí)，直接獲取 trx_sys->next_trx_id_or_no 屬性的值，作為事務(wù) ID，然后該屬性值加 1。事務(wù)提交時(shí)，直接獲取 trx_sys->next_trx_id_or_no 屬性的值，作為事務(wù)提交號(hào)，然后該屬性值加 1。這意味著事務(wù) ID 和事務(wù)提交號(hào)由同一個(gè)流水線生產(chǎn)，同一個(gè)事務(wù)的提交號(hào)總是大于事務(wù) ID。

生成的事務(wù)提交號(hào)會(huì)保存到事務(wù)對(duì)象（trx）的 no 屬性中。

生成事務(wù)提交號(hào)之后，當(dāng)前正在提交的事務(wù)對(duì)象（trx）會(huì)加入事務(wù)子系統(tǒng)（trx_sys）的 serialisation_list 鏈表的末尾。這個(gè)鏈表中的所有事務(wù)，都是正在提交的事務(wù)。更嚴(yán)格的來(lái)說(shuō)，這些事務(wù)都是已經(jīng)生成了事務(wù)提交號(hào)，但是還沒(méi)有提交完成的事務(wù)。

3. 回滾段加入 purge 隊(duì)列

如果事務(wù)分配了 Update Undo 段，該 Undo 段所屬的回滾段需要加入到 purge 隊(duì)列中，表示該回滾段下有需要 purge 線程清理的 Undo 日志。

如前所述，回滾段會(huì)按需加入 purge 隊(duì)列：

• 如果用戶(hù)普通表回滾段下分配了 Update Undo 段，并且該回滾段目前不在 purge 隊(duì)列中，則加入 purge 隊(duì)列。
• 如果用戶(hù)臨時(shí)表回滾段下分配了 Update Undo 段，并且該回滾段目前不在 purge 隊(duì)列中，則加入 purge 隊(duì)列。

InnoDB 給同一個(gè)事務(wù)分配的的用戶(hù)普通表回滾段和用戶(hù)臨時(shí)表回滾段，如果都需要加入 purge 隊(duì)列，不能各自為戰(zhàn)，而是打包加入。

這個(gè)包怎么打？

InnoDB 會(huì)創(chuàng)建一個(gè) TrxUndoRsegs 對(duì)象，這個(gè)對(duì)象有個(gè) m_rsegs 屬性，是個(gè)數(shù)組。

如果用戶(hù)普通表回滾段需要加入 purge 隊(duì)列，先加入到 m_rsegs 數(shù)組中。

如果用戶(hù)臨時(shí)表回滾段需要加入 purge 隊(duì)列，也加入到 m_rsegs 數(shù)組中。

然后，事務(wù)對(duì)象（trx）的 no 屬性中保存的事務(wù)提交號(hào)，也保存一份到 TrxUndoRsegs 對(duì)象的 m_trx_no 屬性中。

打完包之后，TrxUndoRsegs 對(duì)象會(huì)被加入 purge 隊(duì)列。

為了邏輯統(tǒng)一，如果事務(wù)只分配了用戶(hù)普通表回滾段、用戶(hù)臨時(shí)表回滾段兩者之一，回滾段也會(huì)打包成 TrxUndoRsegs 再加入 purge 隊(duì)列。

4. 處理 Update Undo 段

用戶(hù)普通表 Update Undo 段和用戶(hù)臨時(shí)表 Update Undo 段的處理邏輯一樣。下面以用戶(hù)普通表 Update Undo 段為例，介紹事務(wù)提交過(guò)程中 Update Undo 段需要進(jìn)行的操作。

4.1 Undo 段狀態(tài)

如果事務(wù)分配了用戶(hù)普通表 Update Undo 段，現(xiàn)在需要修改它的狀態(tài)了。和 Insert Undo 段一樣，滿(mǎn)足條件的 Update Undo 段也可以被緩存起來(lái)直接復(fù)用。

如果 Update Undo 段只管理了一個(gè) Undo 頁(yè)，并且該 Undo 頁(yè)已使用空間小于四分之三，這個(gè) Update Undo 段可以被緩存起來(lái)直接復(fù)用，它的狀態(tài)會(huì)被修改為 TRX_UNDO_CACHED。否則該 Undo 段不能被復(fù)用，它的狀態(tài)會(huì)被修改為 TRX_UNDO_TO_PURGE，表示等待 purge 線程清理 Update Undo 段管理的 Undo 頁(yè)中的 Undo 日志。

4.2 Undo 日志頁(yè)數(shù)量

對(duì)于狀態(tài)為 TRX_UNDO_TO_PURGE 的 Update Undo 段，回滾段首頁(yè)中保存著該 Undo 段首頁(yè)的頁(yè)號(hào)的小格子（Undo Slot）的值會(huì)被修改為 4294967295（代碼里為 FIL_NULL），也就解除了回滾段和該 Undo 段的關(guān)系。

Update Undo 段管理的 Undo 頁(yè)的數(shù)量，會(huì)累加到回滾段頭信息的 TRX_RSEG_HISTORY_SIZE 屬性中，這個(gè)屬性表示回滾段的 history 鏈表中所有 Undo 日志組占用的不會(huì)再寫(xiě)入 Undo 日志的 Undo 頁(yè)的數(shù)量之和。

4.3 Undo 日志組

本小節(jié)介紹的內(nèi)容，狀態(tài)為 TRX_UNDO_CACHED 和 TRX_UNDO_TO_PURGE 的 Update Undo 段都需要操作。

當(dāng)前 Update Undo 段中，正在提交的事務(wù)產(chǎn)生的 Undo 日志所在的 Undo 日志組，會(huì)加入回滾段的 history 鏈表的頭部，等待 purge 線程清理其中的 Undo 日志。

給事務(wù)子系統(tǒng)（trx_sys）的 rseg_history_len 屬性值加 1，表示回滾段的 history 鏈表中等待 purge 線程清理 Undo 日志的 Undo 日志組又增加了一組。

代碼里實(shí)現(xiàn)的 rseg_history_len 加 1 的過(guò)程有一點(diǎn)點(diǎn)復(fù)雜，這里描述的是結(jié)果，也就是 Update Undo 段中一個(gè) Undo 日志組加入了 history 鏈表，rseg_history_len 就會(huì)加 1。

rseg_history_len 加 1 之后，還會(huì)判斷相加的結(jié)果是否大于閾值。如果大于，意味著回滾段的 history 鏈表中等待清理的 Undo 日志組有點(diǎn)多。此時(shí)，如果 purge 線程處于休眠狀態(tài)，會(huì)喚醒 purge 線程開(kāi)始清理 Undo 日志。

接著還要把事務(wù)對(duì)象（trx）的 no 屬性中保存的事務(wù)提交號(hào)，寫(xiě)入回滾段頭信息的 TRX_RSEG_MAX_TRX_NO 屬性中、Undo 日志組頭信息的 TRX_UNDO_TRX_NO 屬性中。

如果這個(gè) Undo 日志組中既不包含 Delete 或者 Update 操作標(biāo)記刪除記錄產(chǎn)生的 Undo 日志，也不包含修改溢出字段產(chǎn)生的 Undo 日志，還會(huì)把 Undo 日志組頭信息的 TRX_UNDO_DEL_MARKS 屬性值修改為 false，purge 線程清理 Undo 日志過(guò)程中讀取到這組 Undo 日志時(shí)，就知道不需要執(zhí)行物理刪除表中記錄的操作。

如果管理當(dāng)前 Update Undo 段的回滾段不在 purge 隊(duì)列中，會(huì)加入 purge 隊(duì)列。否則，不需要重復(fù)加入。purge 線程清理完回滾段的 history 鏈表中一個(gè) Undo 日志組的所有 Undo 日志之后，接下來(lái)就會(huì)清理下一組。

回滾段的 history 鏈表中，Undo 日志組按照自己頭信息的 TRX_UNDO_TRX_NO 屬性中保存的事務(wù)提交號(hào)，由小到大串連起來(lái)。事務(wù)提交號(hào)最小的 Undo 日志組在 history 鏈表末尾，事務(wù)提交號(hào)最大的 Undo 日志組在 history 鏈表頭部。

purge 線程清理時(shí)，先清理事務(wù)提交號(hào)小的 Undo 日志組中的 Undo 日志，再清理事務(wù)提交號(hào)大的 Undo 日志組中的 Undo 日志。

4.3 Undo 段鏈表

前面那些操作完成之后，就進(jìn)入收尾階段了。Update Undo 段會(huì)從回滾段的 update_undo_list 鏈表中移除。

如果 Update Undo 段的狀態(tài)為 TRX_UNDO_CACHED，還會(huì)加入回滾段的 update_undo_cached 鏈表頭部，等待復(fù)用。

如果 Update Undo 段的狀態(tài)為 TRX_UNDO_TO_PURGE，則釋放它的內(nèi)存對(duì)象。Undo 表空間中該 Undo 段及它管理的 Undo 頁(yè)都不會(huì)釋放，需要等到 purge 線程清理完 Undo 日志之后才能釋放。

5. 清理 Insert Undo 段

前面已經(jīng)確定了 Insert Undo 段的狀態(tài)，現(xiàn)在是時(shí)候根據(jù)狀態(tài)處理 Insert Undo 段了。

首先，從回滾段的 insert_undo_list 鏈表中刪除 Insert Undo 段。

然后，如果 Insert Undo 段的狀態(tài)為 TRX_UNDO_CACHED，把它加入到回滾段的 insert_undo_cached 鏈表頭部。

如果 Insert Undo 段的狀態(tài)為 TRX_UNDO_TO_FREE，先釋放 Undo 表空間中該 Insert Undo 段及它管理的 Undo 頁(yè)，再釋放 Undo 段的內(nèi)存對(duì)象。

6. 總結(jié)

事務(wù)提交過(guò)程中，Undo 相關(guān)的流程如下：

• 修改 Insert Undo 段的狀態(tài)為 TRX_UNDO_CACHED 或者 TRX_UNDO_TO_FREE。
• 生成事務(wù)提交號(hào)。
• 把管理 Update Undo 段的回滾段加入到 purge 隊(duì)列中。
• 從回滾段的 update_undo_list 鏈表中移除 Update Undo 段?？梢员痪彺娴?Update Undo 段，還需要加入 update_undo_cached 鏈表。
• 從回滾段 insert_undo_list 鏈表中移除 Insert Undo 段。可以被緩存的 Insert Undo 段，還需要加入 insert_undo_cached 鏈表。