转载

NoSQL中的分布式、容错事务

5年前,术语NoSQL才 刚刚开始出现 ,那时 很多 NoSQL 数据库 的版本都还不到1.0,对于 CAP理论 来说,众多NoSQL数据库都选择了可用性要高于一致性的做法。 ACID 是一个沉重的负担,而 BASE 则被认为是未来的发展方向。时至今日,社区已经逐渐成熟起来,一些天花乱坠的宣传也都不见了踪迹,新一轮的NoSQL数据库开始寻求重新定义我们对NoSQL的期待,随之而来的是分布式、容错事务又开始出现在了人们的视野中。

向分布式、容错事务领域的进军起始于2012年秋季,那时Google发布了 Spanner 数据库。Spanner是个全局分布式、容错、事务型的NoSQL数据库;这一系列属性在之前则被认为是自相矛盾的。不过,Google击碎了人们的这种误解,宣称他们已经在生产环境下使用该数据库一年多时间了。

就在Google宣布Spanner数据库的几个月后, HyperDex 团队默默地发布了 Warp 扩展,它为HyperDex带来了分布式、容错的事务功能。这标志着对这种事务的首个开源实现的发布。趋势开始发生了转移,不过还有很长的路要走。

2013年5月, Kyle Kingsbury 在 RICON 上谈到了 Jepsen 。在演讲中,Kingsbury披露了各种NoSQL数据库在各种失败情况下的一系列缺陷。甚至诸如 MongoDB 和 Redis (一般情况下人们都认为他们可以保证一致性)这样的数据库都无法信守其承诺。Kingsbury的工作使得社区开始更多地关注于测试与形式化设计,在选择可用性优于一致性时能更好地理解这种折衷。

出于对一致性的密切关注, FoundationDB 发布了其键值存储的1.0版,这是第一个拥有分布式、容错事务支持的私有NoSQL数据库。FoundationDB团队深刻理解严格测试的必要性,同时对其测试框架 Lithium 给予了高度评价,这使得FoundationDB能够确保ACID特性。后来他们又可以通过 Jepsen 对FoundationDB进行 测试 。

去年又涌现出了两款将支持分布式、容错事务作为设计目标的开源NoSQL数据库。CockroachDB尝试模仿Spanner的地理位置复制事务,它于去年初启动; Treode 则在去年6月发布了最初的0.1版。这两个项目都认真地采取了形式化设计,并吸取了很多分布式系统的学术研究成果。

这些事务型数据库已经逐步对NoSQL世界产生了影响,我们看到一致性的NoSQL数据库正在不断改进自己的承诺。比如说,Redis就面临着 持续的压力 ,在构建器分布式功能时要求专注于形式化设计与测试。最近, Tokutek 为MonogoDB发布了其新的Ark一致性算法。Ark基于 Raft 协议,旨在修复MongoDB已知的一致性问题。

虽然现在还是Treode与CockroachDB的早期发展时段,但已经有 不少公司 在生产环境中使用了FoundationDB与HyperDex Warp。分布式、容错事务将会扎根于NoSQL,我们将会看到其产生的影响。

查看英文原文: Distributed, Fault Tolerant Transactions in NoSQL

正文到此结束
Loading...