Schlegel Diagram and Optimizable Immediate Snapshot Protocol
Susumu Nishimura

TL;DR
This paper links the immediate snapshot protocol in distributed systems to topological subdivisions via Schlegel diagrams, enabling optimized, earlier decision-making to reduce shared memory operations.
Contribution
It reformulates the Borowsky-Gafni protocol using Schlegel diagrams, connecting topological subdivisions to practical protocol optimization in distributed computing.
Findings
The reformulated protocol computes immediate snapshots through topological subdivision.
It allows earlier decision points for processes, reducing communication overhead.
The approach simplifies the implementation of wait-free distributed tasks.
Abstract
In the topological study of distributed systems, the immediate snapshot is the fundamental computation block for the topological characterization of wait-free solvable tasks. However, in reality, the immediate snapshot is not available as a native built-in operation on shared memory distributed systems. Borowsky and Gafni have proposed a wait-free multi-round protocol that implements the immediate snapshot using more primitive operations, namely the atomic reads and writes. In this paper, up to an appropriate reformulation on the original protocol by Borowsky and Gafni, we establish a tight link between each round of the protocol and a topological operation of subdivision using Schlegel diagram. Due to the fact shown by Kozlov that the standard chromatic subdivision is obtained by iterated subdivision using Schlegel diagram, the reformulated version is proven to compute the immediate…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Advanced Data Storage Technologies · Parallel Computing and Optimization Techniques
