第八章 事務管理(併發控制技術3)

時間戳排序協議
快照隔離
基於有效性檢查的協議

時間戳排序協議

時間戳
對於系統中的每一個事務Ti，把一個固定的時間戳和它聯絡起來，記為 TS（Ti）：

​ 系統時鐘，該事務進入系統的時間

​ 邏輯計數器，該事務進入系統的計數器值

​ 事務的時間戳決定了序列化的順序。

1)時間戳協議的規則?

一排程如下圖，時間戳分別為 1, 2, 3, 4, 5

2)時間戳排序協議有什麼特點？

為一有向圖：頂點代表事務，每條弧描述一個衝突
操作； Ti->Tj表示Ti和 Tj為衝突操作，且Ti先於Tj。

時間戳協議的排程可恢復嗎？

3)時間戳排序協議有什麼缺點？如何解決？

時間戳協議能防止級聯回滾嗎？

快照隔離

1. 快照隔離的基本思想是什麼？

快照隔離是在事務開始執行時給它資料庫的一份快照。
事務在該快照上操作，和其他併發事務完全隔離。
快照中的資料值僅包括已經提交的事務所寫的值。

對只讀事務來說是理想的，不需要等待。
更新事務，需要在更新寫入資料庫之前，處理與其他併發更新的事務之間存在的潛在衝突。

2.基於快照隔離，更新事務是如何操作的 ？

課堂小測試