分布式系统事务原子性的非阻塞实现.docVIP

分布式系统事务原子性的非阻塞实现 分布式系统事务原子性 在现实的分布式系统中，多对象更新的操作很常见，但是实现起来却并不简单。同时更新两个或多个对象时，对于这些对象的其他读取者，原子性很重要：你的更新要么全部可见，要么全部不可见。 这里所说的原子性和线性一致并不是一个概念，数据一致性在Gilbert和Lynch证明CAP原理时被提到过，后来通常被称为原子一致性。而线性一致化关注实时的顺序操作，是一个单对象的问题。这里的“原子性”源于数据库环境（ACID中的“A”），涉及对多个对象的执行和查询操作。为了避免混淆，我们称这个原子性为“事务原子性”。 许多场景中都会遇到这种问题，从社交网络图（例如Facebook的TAO系统，双向的朋友关系被保存在两个单向的指针中）到类似计数器（例如Twitter的Rainbird分层聚合器）和二级索引的分布式数据结构。本文中，我将假设我们的工作都是高可用的事务，原子性的多对象更新，或事务的原子性，是其首要特性。 现有的技术 多对象更新的事务操作通常采用以下三种策略之一： 锁 使用锁来同时更新多个项目。执行更新操作时加写锁，执行读操作时加读锁，就可以保证事务的原子性。但是在分布式环境中，局部故障和网络延迟都意味着锁操作可能会导致Bad Time。 具体来讲，锁操作有可能会导致一些怪异的结果。如果客户端在持有锁时宕机，服务器本应该最终撤销这个锁。这需要某种