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任意三个属性能够组合，这也就给了系统设计者们指明了优化的方向。