[论文解读] The Relative Power of Composite Loop Agreement Tasks

Maurice Herlihy, Vikram Saraph|arXiv (Cornell University)|Jun 10, 2015

Distributed systems and fault tolerance参考文献 13被引用 3

一句话总结

本文通过引入一种组合操作，将多个环形一致性任务组合为单一复合任务，扩展了环形一致性任务的代数表征。证明了此类复合任务的相对能力恰好对应于其代数签名的乘积——当且仅当从乘积群到目标群的群同态将组合后的特殊元素精确映射到目标时，复合任务才能实现目标。这为分布式计算中的任务组合建立了范畴论基础。

ABSTRACT

Loop agreement is a family of wait-free tasks that includes set agreement and simplex agreement, and was used to prove the undecidability of wait-free solvability of distributed tasks by read/write memory. Herlihy and Rajsbaum defined the algebraic signature of a loop agreement task, which consists of a group and a distinguished element. They used the algebraic signature to characterize the relative power of loop agreement tasks. In particular, they showed that one task implements another exactly when there is a homomorphism between their respective signatures sending one distinguished element to the other. In this paper, we extend the previous result by defining the composition of multiple loop agreement tasks to create a new one with the same combined power. We generalize the original algebraic characterization of relative power to compositions of tasks. In this way, we can think of loop agreement tasks in terms of their basic building blocks. We also investigate a category-theoretic perspective of loop agreement by defining a category of loops, showing that the algebraic signature is a functor, and proving that our definition of task composition is the "correct" one, in a categorical sense.

研究动机与目标

• 将多个环形一致性任务的形式化组合为一个具有等效相对能力的单一复合任务。
• 将任务可实现性的代数签名表征推广至复合任务。
• 确立任务组合在环形一致性任务范畴中对应于范畴积。
• 为理解分布式任务的并行组合提供范畴论基础。

提出的方法

• 将 n 个环形一致性任务的组合定义为所有任务的并行执行，形成一个新的环形一致性任务。
• 证明一个具有签名 (G₁,g₁), ..., (Gₙ,gₙ) 的复合任务能实现一个具有签名 (G,g) 的目标任务，当且仅当存在一个群同态 φ: G₁×⋯×Gₙ → G，使得 φ(g₁,…,gₙ) = g。
• 构建一个环形一致性任务的范畴，记为 Loop，其中对象为环形一致性任务，态射为可实现性关系。
• 证明将每个任务映射到其代数签名 (G,g) 的签名映射是从 Loop 到 pointed groups (pGrp) 范畴的函子。
• 证明任务的组合对应于 Loop 中的范畴积，验证其操作正确性。
• 使用代数拓扑工具，包括基本群和单纯复形，推导任务的签名。

实验结果

研究问题

• RQ1 如何在保持组合相对能力的前提下，将多个环形一致性任务组合为单一任务？
• RQ2 复合任务实现另一个环形一致性任务的代数条件是什么？
• RQ3 所提出的组合操作在范畴框架中是否具有操作意义且数学上一致？
• RQ4 代数签名函子是否保持范畴积，这对任务组合意味着什么？
• RQ5 范畴论为将任务组合推广至环形一致性之外提供了哪些见解？

主要发现

• n 个环形一致性任务的组合本身是一个环形一致性任务，其相对能力等价于各个任务签名的乘积。
• 具有签名 (G₁,g₁), ..., (Gₙ,gₙ) 的复合任务能实现具有签名 (G,g) 的目标任务，当且仅当存在一个群同态 φ: G₁×⋯×Gₙ → G，使得 φ(g₁,…,gₙ) = g。
• 从环形一致性任务范畴到 pointed groups 范畴的签名函子保持乘积，证实任务组合与范畴积结构一致。
• 该组合操作在操作上是合理的：复合任务可由各个任务实现，反之亦然，确保了相对能力的等价性。
• 具体应用表明，将 (3,2)-集合一致任务与任何其他环形一致性任务组合，会得到等价于 (3,2)-集合一致任务的结果，证实其普遍性。
• 将任意环形一致性任务与自身或单纯形一致任务组合，不会改变其相对能力，因为签名乘积产生同构的签名。