保罗·斯皮拉基斯；巴兹尔·坦帕卡斯 使用阿基米德时间假设的高效分布式算法。 （英语） Zbl 0644.68062号 STACS 88，计算机科学的理论方面，Proc。第5年。交响乐团。，波尔多/法国1988年，Lect。票据计算。科学。294, 248-263 (1988). [关于整个系列，请参见Zbl 0635.00015号.]这项工作考察了有限异步对分布式计算的三个基本问题的影响：逻辑环中的对称性破坏问题、互斥问题以及读者和作者的问题。我们假设我们的分布式系统是阿基米德体系，即处理器知道消息延迟和处理器速度的上下限。我们利用这些界的知识来获得上述问题的算法，这很好地提高了先前研究中提出的算法的效率。对于对称破缺问题，我们得到了一个允许任意初始化的协议，并且平均只使用线性的消息比特数和线性时间。对于互斥问题，我们打破了在无限制异步情况下保持的消息数量的下限。我们还发现阿基米德网络和同步网络之间的一个重要区别。我们的算法是实用的，因为到目前为止，任何现有的分布式系统都遵循阿基米德时间假设。 引用于1审查引用于2文件 MSC公司： 65年第68季度 算法和问题复杂性分析 68纳米99 软件理论 68N25号 操作系统理论 关键词：阿基米德网络；同步网络；有限异步；分布式计算；逻辑环；相互排斥；读者和作家；对称破缺问题 引文：Zbl 0635.00015号 PDF格式BibTeX公司 XML格式