关于强依赖决策问题的困难性
分布式、并行与集群计算
2019-01-08 v2
摘要
我们给出了在各种分布式系统中求解强依赖决策(SDD)问题的充分必要条件。我们的主要贡献是基于点集拓扑对 SDD 问题的一个新刻画。对于部分同步系统，我们证明了任何求解 SDD 问题的算法都诱导出一组相对于点集拓扑封闭的执行。我们还证明了在异步系统中，即使增强以任意任意强的故障检测器，SDD 问题也是不可解的。
引用
@article{arxiv.1809.11060,
title = {On the Hardness of the Strongly Dependent Decision Problem},
author = {Martin Biely and Peter Robinson},
journal= {arXiv preprint arXiv:1809.11060},
year = {2019}
}
备注
Appeared in ICDCN 2019