分布式事务性读取：强一致、低延迟、新鲜度与不可能性
分布式、并行与集群计算
2018-10-04 v1 数据库
摘要
本文研究在分布式存储系统中提供事务一致读取的代价与权衡。我们识别出以下维度：读取一致性、读取延迟（时延）与数据新鲜度。我们表明它们之间存在三方权衡，可概括如下：(i) 不可能同时保证保序（例如因果一致）或原子读取、最小延迟与最大新鲜度；因此，无延迟地读取最新鲜的数据仅能在弱隔离模式下实现；(ii) 要在最小延迟下保证原子或保序读取，则必须读取过去的数据（不新鲜）；(iii) 然而，保序最小延迟读取可比原子读取更新鲜；(iv) 在最大新鲜度下读取原子或保序数据可能无限期阻塞读取或写入。我们的不可能性结果独立于数据库的其他特性，例如更新语义（全序或非全序）或数据模型（结构化或非结构化）。受这些结果指导，我们修改了已有协议，以在原子可见性与因果一致语义下保证最小延迟读取（以新鲜度为代价）。我们的实验评估支持了理论结果。
引用
@article{arxiv.1810.01698,
title = {Distributed transactional reads: the strong, the quick, the fresh \& the impossible},
author = {Alejandro Z. Tomsic and Manuel Bravo and Marc Shapiro},
journal= {arXiv preprint arXiv:1810.01698},
year = {2018}
}