线性时间与空间复杂度下的群互斥
分布式、并行与集群计算
2015-05-29 v2
摘要
我们提出了两种用于解决群互斥（GME）问题的算法，它们满足互斥、无饥饿、有界退出、并发进入和先来先服务的性质。我们的两种算法仅使用简单的读写指令，在缓存一致性（CC）模型中具有 O(N) 共享空间复杂度和 O(N) 远程内存引用（RMR）复杂度。我们的第一种算法是通过推广著名的 Lamport 面包店算法（用于经典互斥问题）而开发的，同时保留了其简洁性和优雅性，但它使用了无界共享寄存器。我们的第二种算法仅使用有界寄存器，是通过推广 Taubenfeld 的黑白面包店算法来解决仅使用有界共享寄存器的经典互斥问题而开发的。我们表明，与普遍看法相反，我们的算法是首批以这些复杂度组合实现这些性质的算法。
引用
@article{arxiv.1403.5605,
title = {Group Mutual Exclusion in Linear Time and Space},
author = {Yuan He and Krishnan Gopalakrishnan and Eli Gafni},
journal= {arXiv preprint arXiv:1403.5605},
year = {2015}
}
备注
A total of 21 pages including 5 figures and 3 appendices. The bounded shared registers algorithm in the old version has a subtle error (that has no easy fix) necessitating replacement. A correct, but fundamentally different, bounded shared registers algorithm, which has the same properties claimed in the old version is presented in this new version. Also, this version has an additional author