Page 101 - My FlipBook
P. 101
Brochure 2020
圖一：傳統和 crash-deterministic 固態硬碟的行為。
我們利用 SSD 異地更新 (out-of-place update) 的特性，設計演算法和資料結構，確保它最後一次刷新 ( ush)
動作結束時的系統狀態所用的硬碟空間，到下一次刷新前不會被系統回收。這樣的設計下，一但系統
當機，我們的演算法可以確保找到並回朔至最後一次刷新動作時的狀態。我們稱這樣的新設計為 crash-
deterministic 固態硬碟。直覺上來說，crash-deterministic 固態硬碟的刷新 ( ush) 動作，就相當於一次「儲
存進度」的動作。上層的系統可以利用這個性質簡化當機回復機制的設計，在關鍵的時間點，呼叫一個
刷新的動作來儲存進度。舉例來說，資料庫可以在每一筆交易之後呼叫一次刷新，確保每次當機後，不
會出現交易完全一半的狀況。Crash-deterministic 固態硬碟的設計，預計將會是 GraphStor 的當機回復機
制的基礎。
99
圖一：傳統和 crash-deterministic 固態硬碟的行為。
我們利用 SSD 異地更新 (out-of-place update) 的特性，設計演算法和資料結構，確保它最後一次刷新 ( ush)
動作結束時的系統狀態所用的硬碟空間，到下一次刷新前不會被系統回收。這樣的設計下，一但系統
當機，我們的演算法可以確保找到並回朔至最後一次刷新動作時的狀態。我們稱這樣的新設計為 crash-
deterministic 固態硬碟。直覺上來說，crash-deterministic 固態硬碟的刷新 ( ush) 動作，就相當於一次「儲
存進度」的動作。上層的系統可以利用這個性質簡化當機回復機制的設計，在關鍵的時間點，呼叫一個
刷新的動作來儲存進度。舉例來說，資料庫可以在每一筆交易之後呼叫一次刷新，確保每次當機後，不
會出現交易完全一半的狀況。Crash-deterministic 固態硬碟的設計，預計將會是 GraphStor 的當機回復機
制的基礎。
99
