转载

为什么大部分NoSQL不提供分布式事务?

像MongoDB, Cassandra, HBase, DynamoDB, 和 Riak这些 NoSQL 缺乏传统的原子事务机制,所谓原子事务机制是可以保证一系列写操作要么全部完成,要么全部不会完成,不会发生只完成一系列中一两个写操作;因为数据库不提供这种事务机制支持,开发者需要自己编写代码来确保一系列写操作的事务机制,比较复杂和测试。

这些 NoSQL 数据库不提供事务机制原因在于其 分布式 特点,一系列写操作中访问的数据可能位于不同的分区服务器,这样的事务就变成 分布式 事务,在 分布式 事务中实现原子性需要彼此协调,而协调是耗费时间的,每台机器在一个大事务过程中必须依次确认,这就需要一种协议确保一个事务中没有任何一台机器写操作失败。

这种协调是昂贵的,会增加延迟时间,关键问题是,当协调没有完成时,其他操作是不能读取事务中写操作结果的,这是因为事务的all-or-nothing原理导致,万一协调过程发现某个写操作不能完成,那么需要将其他写操作成功的进行回滚。针对 分布式 事务的 分布式 协调对整体数据库性能有严重影响,不只是吞吐量还包括延迟时间,这样大部分 NoSQL 数据库因为性能问题就选择不提供 分布式 事务。

MongoDB, Riak, HBase, 和 Cassandra提供基于单一键的事务,这是因为所有信息都和一个键key有关,这个键是存储在单个服务器上,这样基于单键的事务不会带来复杂的 分布式 协调。

那么看来扩展性性能和 分布式 事务是一对矛盾,总要有取舍?实际上是不完全是,现在完全有可能提供高扩展的性能同时提供 分布式 原子事务。

FIT 是这样一个在 分布式 系统提供原子事务的策略,在fairness公平性, isolation隔离性, 和throughput吞吐量(简称FIT)可以权衡。

一个支持 分布式 事务的可伸缩 分布式 系统能够完成这三个属性中两个,公平是事务之间不会相互影响造成延迟;隔离性提供一种幻觉好像整个数据库只有它自己一个事务,隔离性保证当任何同时发生的事务发生冲突时,能够保证彼此能看到彼此的写操作结果,因此减轻了程序员为避免事务读写冲突的强逻辑推理要求;吞吐量是指每单元时间数据库能够 并发 处理多少事务。

FIT是如下进行权衡:

1.保证公平性fairness 和隔离性isolation, 但是牺牲吞吐量

2.保证公平性fairness和吞吐量, 牺牲隔离性isolation

3.保证隔离性isolation和吞吐量throughput, 但是牺牲公平性fairness.

牺牲公平性:放弃公平性,数据库能有更多机会降低 分布式 事务的成本,主要成本是 分布式 协调带来的,也就是说,不需要在每个事务过程内对每个机器都依次确认事务完成,这样排队式的确认commit事务是很浪费时间的,放弃公平性,意味着可以在事务外面进行协调,这样就只是增加了协调时间,不会增加互相冲突事务因为彼此冲突而不能运行所耽搁的时间,当系统不需要公平性时,需要根据事务的优先级或延迟等标准进行指定先后执行顺序,这样就能够获得很好的吞吐量。

G-Store 是一种放弃公平性的 Isolation-Throughput 的 分布式 key-value存储,支持多键事务(multi-key transactions),MongoDB 和 HBase在键key在同样分区上也支持多键事务,但是不支持跨分区的事务。

总之:传统 分布式 事务性能不佳的原因是确保原子性(分布式协调)和隔离性同时重叠,创建一个高吞吐量 分布式 事务的关键是分离这两种关注,这种分离原子性和隔离性的视角将导致两种类型的系统,第一种选择是弱隔离性能让冲突事务并行执行和确认提交;第二个选择重新排序原子性和隔离性机制保证它们不会某个时间重叠,这是一种放弃公平的事务执行,所谓放弃公平就是不再同时照顾原子性和隔离性了,有所倾斜,放弃高标准道德要求就会带来高自由高效率。

原文: DBMS Musings: Why MongoDB, Cassandra, HBase, Dynam

ACID和CAP的详尽比较

[该贴被banq于2015-11-01 09:22修改过]

正文到此结束
Loading...