[论文解读] Local Linearizability

Andreas Haas, Thomas A. Henzinger+7 more|arXiv (Cornell University)|Feb 25, 2015

Distributed systems and fault tolerance参考文献 34被引用 4

一句话总结

本文提出了局部线性化（local linearizability），一种针对队列、栈等容器型并发数据结构的弱一致性条件，确保每个线程都能观察到其自身操作以及移除其值的操作按线性化顺序执行。通过使用现有的线性化构建块并引入局部快速路径优化，作者在性能和可扩展性方面显著优于传统的线性化和弱一致性实现，在关键工作负载中甚至超越了 k-乱序变体。

ABSTRACT

The semantics of concurrent data structures is usually given by a sequential specification and a consistency condition. Linearizability is the most popular consistency condition due to its simplicity and general applicability. Nevertheless, for applications that do not require all guarantees offered by linearizability, recent research has focused on improving performance and scalability of concurrent data structures by relaxing their semantics. In this paper, we present local linearizability, a relaxed consistency condition that is applicable to container-type concurrent data structures like pools, queues, and stacks. While linearizability requires that the effect of each operation is observed by all threads at the same time, local linearizability only requires that for each thread T, the effects of its local insertion operations and the effects of those removal operations that remove values inserted by T are observed by all threads at the same time. We investigate theoretical and practical properties of local linearizability and its relationship to many existing consistency conditions. We present a generic implementation method for locally linearizable data structures that uses existing linearizable data structures as building blocks. Our implementations show performance and scalability improvements over the original building blocks and outperform the fastest existing container-type implementations.

研究动机与目标

• 为解决线性化在并发数据结构中性能与可扩展性受限的问题，提出一种弱一致性条件。
• 定义一种一致性模型，保留每线程正确性的同时减少全局同步开销。
• 提供一种通用的实现方法，利用现有线性化数据结构作为构建块。
• 通过实验评估局部线性化实现相对于现有方法的性能与可扩展性。
• 证明局部线性化能够支持实际、高性能的并发数据结构，适用于真实工作负载。

提出的方法

• 提出局部线性化作为线程本地的一致性条件，仅要求每个线程所引发的历史（其自身插入和移除其值的操作）是线性化的。
• 将线程引发的历史定义为全局执行在该线程插入操作及其移除其值的操作上的投影，无论这些移除操作发生在何处。
• 使用现有的线性化数据结构（如 MS 队列、Treiber 栈）作为构建块，并通过添加局部快速路径提升性能。
• 采用混合方法：结合本地操作与远程同步，其中本地操作在不立即进行全局一致性检查的情况下处理。
• 应用模块化验证技术：整体结构的正确性可由构建块的线性化性质以及引发历史的局部线性化性质推导得出。
• 在 40 核系统上使用微基准测试（生产者-消费者、顺序交替）评估不同线程数下的性能与可扩展性。

实验结果

研究问题

• RQ1 能否定义一种弱一致性条件，在保持每线程正确性的同时提升性能与可扩展性？
• RQ2 在实践中，局部线性化与 k-乱序或静默一致性等现有弱语义相比表现如何？
• RQ3 现有线性化数据结构能否以最小修改组合为局部线性化结构，并获得可测量的性能提升？
• RQ4 局部快速路径在高竞争工作负载中对可扩展性有何影响？
• RQ5 局部线性化能否支持常见容器类型（如队列和栈）的正确且高效实现？

主要发现

• LCRQ（局部一致环形队列）和 LLD（局部线性化双端队列）在高竞争工作负载中优于标准线性化和 k-乱序变体。
• LLD LCRQ 和 LL + D Treiber 栈在 80 个线程下表现出近乎线性扩展，超过 10 个线程后性能优于 MS 队列和 Treiber 栈。
• LLD 优化（优先处理本地操作）显著提升性能，尤其在接近空状态时，k-FIFO 表现较差。
• 在顺序交替工作负载中，LLD LCRQ 和 LLD k-Stack 优于其 k-乱序对应物，证明了局部快速路径的优势。
• 局部线性化支持正确且高度可扩展的实现，性能相比传统线性化实现最高可提升数倍。
• 局部线性化的验证是模块化且可组合的，依赖于构建块的线性化性质以及对入队和出队操作顺序的简单公理化条件。