Brief Announcement: Self-Stabilizing Recoverable Mutual Exclusion
Paper in 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
Author
Wojciech Golab
University of Waterloo
Elad Schiller
University of Gothenburg
Chalmers, Computer Science and Engineering (Chalmers), Computer and Network Systems
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,
Subject Categories (SSIF 2025)
Reliability and Maintenance
Computer Sciences
Computer Engineering
Embedded Systems
Computer Systems
DOI
10.1145/3732772.3733564