Brief Announcement: Self-Stabilizing Recoverable Mutual Exclusion
Paper i proceeding, 2025
We formalize and solve a novel variation of the classic mutual exclusion problem that tolerates both process crashes and memory corruptions, and we propose the first solutions based on a novel failure detector.
persistent memory
mutual exclusion
self-stabilization
Författare
Wojciech Golab
University of Waterloo
Elad Schiller
Göteborgs universitet
Chalmers, Data- och informationsteknik, Dator- och nätverkssystem
Proceedings of the Annual ACM Symposium on Principles of Distributed Computing
Vol. Part of F216205 256-259
9798400718854 (ISBN)
44th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, PODC 2025
Huatulco, Mexico,
Huatulco, Mexico,
Ämneskategorier (SSIF 2025)
Tillförlitlighets- och kvalitetsteknik
Datavetenskap (datalogi)
Datorteknik
Inbäddad systemteknik
Datorsystem
DOI
10.1145/3732772.3733564