读写内存与 k-集合共识作为仿射任务
分布式、并行与集群计算
2016-10-06 v1
摘要
无等待读写内存模型已被刻画为一个迭代的“即时快照”（IS）任务。IS 任务是“仿射”的——它可以被定义为标准着色细分的一个（子）单纯形集合。已知“弱对称破缺”（WSB）任务不能被表示为一个仿射任务。本文中，我们强调了一种“自然”模型的现象，该模型可被一个迭代仿射任务捕获，从而可被迭代即时快照模型的一个运行子集捕获。我们证明，与 WSB 不同，额外可使用 -集合共识对象的读写内存模型是“自然”的，通过给出相应的、由 2 轮 IS 运行的一个子集捕获的简单仿射任务。我们的结果意味着对配备了读写内存以外抽象机制的模型的首个组合刻画，且该刻画适用于一般性任务。
引用
@article{arxiv.1610.01423,
title = {Read-Write Memory and k-Set Consensus as an Affine Task},
author = {Eli Gafni and Yuan He and Petr Kuznetsov and Thibault Rieutord},
journal= {arXiv preprint arXiv:1610.01423},
year = {2016}
}