在分布式链表访问的竞争分析中调度器极具影响力

本研究是界定并理解分布式共享内存环境下算法竞争分析工作的延续，该环境与经典在线环境有惊人差异。事实上，在分布式共享内存环境中，我们找到了关于经典随机在线算法定理的反例，该定理表明：若存在对抗自适应离线对手的c-竞争随机算法，则存在c-竞争确定性算法[Ben-David, Borodin, Karp, Tardos, Wigderson, 1994]。在分布式环境中，关于其他进程已执行操作存在额外的知识缺失。对手也拥有额外能力，可控制调度器决定各进程何时被允许执行步骤。我们考虑链表访问问题，它是顺序在线算法的基准问题。在该问题的分布式版本中，每个进程对共享链表有自己的有限请求序列。调度器在其竞争分析中成为主要问题。我们引入两种不同对手，其区别在于允许调度进程的方式，并用它们对分布式链表访问进行竞争分析。我们证明了请求序列合并的组合性质的紧上界与下界，并在分析中使用。分析表明，对抗性调度器的影响可能十分显著，主导了因缺乏未来信息导致的通常质量损失。