无颜色匿名 $t$-弹性任务可计算性的一个刻画
分布式、并行与集群计算
2017-12-13 v1
摘要
任务是 个进程的一个分布式问题，其中每个进程以私有输入值开始，与其他进程通信，并最终决定一个输出值。若每个进程可采用另一进程的输入或输出值，则该任务为无颜色的。无颜色任务在非匿名共享内存模型中已被充分研究，其中每个进程有 distinct 标识符可用于访问单写多读共享寄存器。在匿名情形下，进程无标识符且通过多写多读寄存器通信，近期已有关于在任意数量异步进程可能崩溃时可解的无颜色任务的拓扑刻画。本文研究至多 个进程可能崩溃的情形，其中 。我们证明了：一个无颜色任务是非匿名 -弹性可解的，当且仅当它是匿名 -弹性可解的。这给出了无颜色匿名 -弹性异步任务可计算性的完整刻画。
引用
@article{arxiv.1712.04393,
title = {A characterization of colorless anonymous $t$-resilient task computability},
author = {Carole Delporte-Gallet and Hugues Fauconnier and Sergio Rajsbaum and Nayuta Yanagisawa},
journal= {arXiv preprint arXiv:1712.04393},
year = {2017}
}