{"ID":2859788,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2510.04644","arxiv_id":"2510.04644","title":"The R(1)W(1) Communication Model for Self-Stabilizing Distributed Algorithms","abstract":"Self-stabilization is a versatile methodology in the design of fault-tolerant distributed algorithms for transient faults. A self-stabilizing system automatically recovers from any kind and any finite number of transient faults. This property is specifically useful in modern distributed systems with a large number of components. In this paper, we propose a new communication and execution model named the R(1)W(1) model in which each process can read and write its own and neighbors' local variables in a single step. We propose self-stabilizing distributed algorithms in the R(1)W(1) model for the problems of maximal matching, minimal k-dominating set and maximal k-dependent set. Finally, we propose an example transformer, based on randomized distance-two local mutual exclusion, to simulate algorithms designed for the R(1)W(1) model in the synchronous message passing model with synchronized clocks.","short_abstract":"Self-stabilization is a versatile methodology in the design of fault-tolerant distributed algorithms for transient faults. A self-stabilizing system automatically recovers from any kind and any finite number of transient faults. This property is specifically useful in modern distributed systems with a large number of c...","url_abs":"https://arxiv.org/abs/2510.04644","url_pdf":"https://arxiv.org/pdf/2510.04644v1","authors":"[\"Hirotsugu Kakugawa\",\"Sayaka Kamei\",\"Masahiro Shibata\",\"Fukuhito Ooshita\"]","published":"2025-10-06T09:45:59Z","proceeding":"cs.DC","tasks":"[\"cs.DC\"]","methods":"[\"Transformer\"]","has_code":false}