SNOW定理和延遲最優化只讀事務

The SNOW Theorem and Latency-Optimal Read-Only Transactions

論文連接

SNOW定理，指在一個分佈式的存儲系統中，S(Strict serializability),N(Non blocking read),O(One round-trip read),W(Write transactions) 這四種性質沒有辦法同時被知足。延遲最優化須要N(Non blocking read),O(One round-trip read),知足存儲的功能性需求須要S(Strict serializability),W(Write transactions)。

證實的核心在於存在一個時間點，由於分佈式存儲系統採用的異步網絡機制，一個write transaction對兩個shard的數據修改的結果不一樣時可見。若是一個read操做在這個時候到達這兩個shard，那麼有可能會讀到事務的部分修改，違反了Strict serializability。要知足Strict serializability，須要捨棄Non blocking read或屢次重試。

• S-N-O組合，捨棄寫，做爲只讀數據shard。
• N-O-W組合，捨棄嚴格可串行化，可能讀到事務的部分修改。
• S-N-W組合，捨棄非阻塞讀，等待事務完成，保證嚴格可串行化。
• S-O-W組合，捨棄單趟讀取，經過屢次讀取數據保證了ACID。

S-N-O-W任意三個屬性能夠組合，這也就給了系統設計者們指明瞭優化的方向。