TY - GEN
T1 - Brief Announcement
T2 - 44th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2025
AU - Bezerra, João Paulo
AU - Kuznetsov, Petr
AU - Freitas, Luciano
N1 - Publisher Copyright:
© 2025 Copyright held by the owner/author(s).
PY - 2025/6/13
Y1 - 2025/6/13
N2 - This paper introduces a novel, fast atomic-snapshot protocol for asynchronous message-passing systems. In the process of defining what "fast"means exactly, we spot a few interesting issues that arise when conventional time metrics are applied to long-lived asynchronous algorithms. We reveal some gaps in latency claims made in earlier work on snapshot algorithms, which hamper their comparative time-complexity analysis. We then come up with a new unifying time-complexity metric that captures the latency of an operation in an asynchronous, long-lived implementation. This allows us to formally grasp latency improvements of our atomic-snapshot algorithm with respect to the state-of-the-art protocols: optimal latency in fault-free runs without contention, short constant latency in fault-free runs with contention, the worst-case latency proportional to the number of active concurrent failures, and constant, close to optimal, amortized latency.
AB - This paper introduces a novel, fast atomic-snapshot protocol for asynchronous message-passing systems. In the process of defining what "fast"means exactly, we spot a few interesting issues that arise when conventional time metrics are applied to long-lived asynchronous algorithms. We reveal some gaps in latency claims made in earlier work on snapshot algorithms, which hamper their comparative time-complexity analysis. We then come up with a new unifying time-complexity metric that captures the latency of an operation in an asynchronous, long-lived implementation. This allows us to formally grasp latency improvements of our atomic-snapshot algorithm with respect to the state-of-the-art protocols: optimal latency in fault-free runs without contention, short constant latency in fault-free runs with contention, the worst-case latency proportional to the number of active concurrent failures, and constant, close to optimal, amortized latency.
KW - asynchronous systems
KW - atomic snapshot
KW - time complexity
UR - https://www.scopus.com/pages/publications/105026953362
U2 - 10.1145/3732772.3733540
DO - 10.1145/3732772.3733540
M3 - Conference contribution
AN - SCOPUS:105026953362
T3 - Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
SP - 260
EP - 263
BT - PODC 2025 - Proceedings of the 2025 ACM Symposium on Principles of Distributed Computing
PB - Association for Computing Machinery
Y2 - 16 June 2025 through 20 June 2025
ER -