广义异步可计算性定理
分布式、并行与集群计算
2014-05-21 v3 一般拓扑
摘要
我们考虑分布式计算模型，这些模型被定义为迭代即时快照模型运行的子集。给定一个任务T和一个模型M，我们给出了T在M中可解的拓扑条件。当应用于无等待模型时，我们的条件得到了Herlihy和Shavit著名的异步可计算性定理（ACT）。为了展示我们刻画的有用性，我们考虑了一个先前被证明只允许非常复杂的t-弹性解的任务。相比之下，我们的广义可计算性定理以直接的方式确认了其t-弹性可解性。
引用
@article{arxiv.1304.1220,
title = {A generalized asynchronous computability theorem},
author = {Eli Gafni and Petr Kuznetsov and Ciprian Manolescu},
journal= {arXiv preprint arXiv:1304.1220},
year = {2014}
}
备注
16 pages, 5 figures