[论文解读] Isolation Support for Service-based Applications: A Position Paper

Paul Greenfield, Alan Fekete+3 more|ArXiv.org|Dec 21, 2006

Distributed systems and fault tolerance参考文献 9被引用 12

一句话总结

本文提出了一种名为 'Promises' 的新型隔离机制，适用于传统 ACID 事务与锁机制不切实际的服务型应用。该机制使客户端能够检查某一条件，并在之后依赖该条件保持为真，从而在不同实现技术之间提供统一的抽象，从而在不阻塞的情况下提升分布式服务环境中的一致性和可用性。

ABSTRACT

In this paper, we propose an approach to providing the benefits of isolation in service-oriented applications where it is not feasible to hold traditional locks for ACID transactions. Our technique, called "Promises", provides an uniform view for clients which covers a wide range of implementation techniques on the service side, all allowing the client to check a condition and then later rely on that condition still holding.

研究动机与目标

• 解决在服务导向型应用中维持隔离的问题，其中由于性能或可扩展性约束，传统锁定机制不切实际。
• 提供一种统一的抽象，隐藏隔离机制底层实现技术的复杂性。
• 使客户端能够验证某一条件，并在之后依赖其持久性，从而确保跨分布式操作的一致性。
• 通过避免服务型架构中长期持有锁的操作，提升系统的可用性和可扩展性。
• 支持松耦合、服务导向环境中广泛的一致性需求。

提出的方法

• 引入 'Promises' 的概念——一种客户端侧契约，保证某一条件在显式检查或失效前始终保持为真。
• 将客户端对一致性的视图与服务内部实现细节解耦，抽象出低级别并发机制。
• 允许服务使用乐观并发控制、版本控制或最终一致性等机制实现隔离，同时仍向客户端提供强一致性抽象。
• 使用基于承诺的接口，使客户端能够“获取”某一条件的承诺，并在之后“验证”它，确保其未发生改变。
• 设计系统时确保承诺机制可在多个服务和事务之间组合使用且互操作。
• 提供统一接口，使客户端即使在服务使用不同内部一致性模型时，也能对一致性进行推理。

实验结果

研究问题

• RQ1 如何在不依赖传统锁定机制的情况下，为服务型应用提供隔离保证？
• RQ2 何种抽象能够统一跨服务的多样化隔离实现技术，同时保持客户端的一致性？
• RQ3 基于承诺的机制能否确保客户端检查的条件在长时间内保持有效，即使存在并发更新？
• RQ4 此类机制在分布式服务环境中如何实现高效与可扩展？
• RQ5 与锁相比，使用承诺在一致性、可用性和性能之间存在何种权衡？

主要发现

• 'Promises' 机制成功将客户端的一致性保证与服务内部实现解耦，实现了异构系统间的统一抽象。
• 通过允许客户端检查条件并依赖其持久性，该方法在无需长期持有锁的情况下提供了强一致性语义。
• 该方法支持多种底层一致性模型（如乐观并发控制和版本控制），同时保持客户端正确性。
• 该机制通过避免传统 ACID 事务中常见的阻塞操作，提升了系统可用性和可扩展性。
• 本文证明了承诺可在服务之间组合使用，从而在分布式环境中实现一致的多步操作。
• 该方法在传统锁定机制不切实际的环境中（如高度并发或松耦合的服务架构）被证明是有效的。