Schlegel 图与可优化的即时快照协议

在分布式系统的拓扑学研究中，即时快照是无等待可解任务之拓扑刻画的基本计算块。然而在现实中，即时快照并非共享内存分布式系统原生内置的操作。Borowsky 与 Gafni 提出了一种无等待多轮协议，使用更原始的操作即原子读与写来实现即时快照。在本文中，通过对 Borowsky 与 Gafni 原协议进行适当重构，我们建立了该协议每一轮与使用 Schlegel 图的细分这一拓扑操作之间的紧密联系。鉴于 Kozlov 所证标准染色细分可由使用 Schlegel 图的迭代细分得到，重构版本被证明能以拓扑上更平滑的方式计算即时快照。我们还表明重构协议易于优化：由于每一轮将输出的可能候选限制于更细细分的 iteratively 更小区域，执行协议的每个进程可在更早的轮次决定，超过该轮次后无论剩余轮次如何执行均达到相同最终输出。这减少了协议整体执行中涉及的读写操作数量，缓解了共享内存访问的瓶颈。